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

Research of Statecharts-based Test Case Design in Spacecraft Test

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

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.