您的位置： 专家智库 > >

王庚

作品数：3 被引量：6H指数：1
供职机构：西北工业大学更多>>
发文基金：国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术理学更多>>

合作作者

文献类型

  • 2篇专利
  • 1篇期刊文章

领域

  • 2篇自动化与计算...
  • 1篇理学

主题

  • 2篇代码
  • 2篇遗产代码
  • 2篇源代码
  • 2篇软件架构
  • 2篇软件系统
  • 2篇软件源代码
  • 2篇数据定义
  • 2篇嵌入式
  • 2篇嵌入式软件
  • 2篇嵌入式软件系...
  • 2篇架构
  • 2篇架构模型
  • 1篇马尔可夫
  • 1篇马尔可夫链
  • 1篇AAD
  • 1篇L模型

机构

  • 3篇西北工业大学

作者

  • 3篇周兴社
  • 3篇张凡
  • 3篇董云卫
  • 3篇王庚
  • 2篇覃杨森

传媒

  • 1篇计算机科学

年份

  • 1篇2012
  • 1篇2010
  • 1篇2009
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种从嵌入式软件代码中自动抽象软件架构的方法
一种从嵌入式软件代码中自动抽象软件架构的方法，技术特征在于：自动查检嵌入式软件系统的源代码，将源代码中的字分为数据定义类、运算符号类、控制语句类和函数创建类。查检结束后，该方法根据数据定义类和函数创建类的特征定义相应的D...
董云卫覃杨森张凡周兴社王庚
文献传递
AADL模型的测试方法研究被引量：6
2009年
近几年来,MDA开发方式的应用使得如何保证模型质量成为研究的热点。以基于模型的测试为研究对象,研究了对AADL模型进行模型测试的方法,并提出了结合马尔可夫链对AADL模型进行测试的框架以及实施方法。最后,通过示例进一步说明了该方法。
王庚周兴社张凡董云卫
关键词：马尔可夫链
一种从嵌入式软件代码中自动抽象软件架构的方法
一种从嵌入式软件代码中自动抽象软件架构的方法，技术特征在于：自动查检嵌入式软件系统的源代码，将源代码中的字分为数据定义类、运算符号类、控制语句类和函数创建类。查检结束后，该方法根据数据定义类和函数创建类的特征定义相应的D...
董云卫覃杨森张凡周兴社王庚
全选 清除 导出
共1页<1>
聚类工具0