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

A Method for Generating Timeline Control Test Cases Based on State Transfer Graph

摘要:

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

Abstract:

In order to improve the efficiency and quality of the embedded software test, this paper proposes a design method for automatic generation of test cases based on state transition graph to test arrow software timing control. The timing control characteristics are analyzed firstly. Then the state transition diagram is selected to represent, the required primitive attributes ,the primitive relationship, the trigger condition comprehensiveness and consistency constraints are customized to ensure the rationality of the model. Finally, automatic generation of test cases are realized by combining the three coverage criteria of base path coverage, transfer coverage and conditional element coverage. Taking the software"s full flight cycle timing control as an example, the results show that the software test cases generated by this method can completely cover the timing control function and performance requirements. The results also verify the validity and stability of the method, which can provide some reference for the engineering practice of the automated test of the arrow.