基于状态转移图的箭载软件时序控制测试用例生成方法

来源：计算机测量与控制杂志2020年第8期北京时间：

作者：汪冬瑾,张舒

单位：宇航智能控制技术国家级重点实验室

摘要：为提升箭载嵌入式软件测试的效率和质量,本文专门针对箭载软件时序控制这一测试需求,提出了一种基于状态转移图的测试用例自动生成算法设计方法。具体分析步骤为首先分析时序控制特性,其次选取状态转移图来表征,自定义所需图元属性以及图元关系、触发条件全面性与一致性的约束条件从而保证模型合理性；再次采用基路径覆盖、转移对覆盖、条件元覆盖三种覆盖准则相结合方式实现测试用例的自动生成；最后以某箭上软件全飞行周期时序控制为基础,多次结果表明该方法生成的软件测试用例可完全覆盖时序控制功能和性能需求,验证了方法的有效性和稳定性,可为箭载软件自动化测试工程化实践提供一定的借鉴。

关键词：状态转移图;时序控制;测试用例;覆盖准则