基于状态图的航天器测试用例设计

摘要：

为进一步提高航天器测试效率和测试覆盖性,提出了一种基于状态图的航天器测试用例设计方法,以状态图模型作为测试用例设计的依据,通过模型覆盖准则,由算法生成测试用例,并以自主热控功能的测试为例,对新方法进行了可行性验证,给出了原始用例和新用例的比较结果.该方法有利于准确衡量测试用例覆盖率,缩短用例设计时间,可为工程应用提供参考.

关键词：航天器测试、状态流、状态图模型、测试生成算法

所属期刊栏目：23

分类号：V416.6(基础理论及试验)

资助基金：国家重大科技专项工程

在线出版日期：2015-01-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：135-140