您的位置： 专家智库 > >

王华茂

作品数：1 被引量：3H指数：1
供职机构：中国空间技术研究院更多>>
发文基金：国家自然科学基金中央级公益性科研院所基本科研业务费专项更多>>
相关领域：航空宇航科学技术自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...
  • 1篇航空宇航科学...

主题

  • 1篇虚拟测试
  • 1篇树模型
  • 1篇状态转移图
  • 1篇系统级测试
  • 1篇航天
  • 1篇航天器
  • 1篇测试用例
  • 1篇测试用例生成

机构

  • 1篇北京航空航天...
  • 1篇中国空间技术...

作者

  • 1篇马世龙
  • 1篇杨帆
  • 1篇李小平
  • 1篇王华茂

传媒

  • 1篇航空学报

年份

  • 1篇2017
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
面向航天器系统级测试的虚拟测试方法及应用被引量：3
2017年
航天器总体设计正确性和接口实现正确性的及时验证,是提高航天器这类复杂系统可靠性的重要手段。本文提出一种基于模型检测的虚拟测试方法。方法采用窗口树模型(WTM)对复杂系统进行建模,采用状态转移图(STG)作为系统规约刻画系统行为的正确性。方法通过提出基于自动机的模型检测机制,实现了一种面向航天器系统级测试的虚拟测试平台(VTP)原型系统。该平台支持虚拟测试准备、虚拟测试执行和虚拟测试评估等功能,模拟并实现复杂系统总体设计正确性的验证和接口实现正确性的验证。
乌尼日其其格李小平杨帆马世龙王华茂
关键词：状态转移图测试用例生成
全选 清除 导出
共1页<1>
聚类工具0