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

• 作者: 吕笑慰 王华茂 闫金栋
• 来源期刊: 航天器工程
• 关键词: 航天器测试 状态流 状态图模型 测试生成算法
• 年，卷（期）: 2014,（6）
• 所属期刊栏目: 测试与试验
• 页码范围: 135-140
• 页数: 6页
• 分类号: V416.6
• 语种: 中文
• DOI: 10.3969/j.issn.1673-8748.2014.06.022

摘要

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