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

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

作　　者：汪冬瑾[1,2] 张舒 Wang Dongjin;Zhang Shu(State Key Laboratory of Aerospace Intelligent Control Technology,Beijing 100854,China;Beijing Aerospace Automatic Control Institute,Beijing 100854,China)

机构地区：[1]宇航智能控制技术国家级重点实验室,北京100854 [2]北京航天自动控制研究所,北京100854

出　　处：《计算机测量与控制》2020年第8期32-35,共4页Computer Measurement &Control

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

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

分 类 号：TP934[自动化与计算机技术]