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

Research of Statecharts-based Test Case Design in Spacecraft Test

作　　者：吕笑慰 王华茂[1] 闫金栋[1] 

机构地区：[1]北京空间飞行器总体设计部,北京100094

出　　处：《航天器工程》2014年第6期135-140,共6页Spacecraft Engineering

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

摘　　要：为进一步提高航天器测试效率和测试覆盖性,提出了一种基于状态图的航天器测试用例设计方法,以状态图模型作为测试用例设计的依据,通过模型覆盖准则,由算法生成测试用例,并以自主热控功能的测试为例,对新方法进行了可行性验证,给出了原始用例和新用例的比较结果。该方法有利于准确衡量测试用例覆盖率,缩短用例设计时间,可为工程应用提供参考。In order to improve the test efficiency and test coverage of spacecraft,this paper proposes a novel test case design approach based on statecharts theory.This method uses statecharts model as test case designing reference and derives test cases from generation algorithm which satisfies certain coverage criteria.To validate the feasibility,we apply the new approach in thermal control software testing and then provide the contrast results between the new test cases and the original ones.This technique not only realizes the accurate coverage measurement of test cases,but also reduces test time,providing engineering application reference.

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

分 类 号：V416[航空宇航科学与技术—航空宇航推进理论与工程]