一种针对全自动运行系统的测试用例生成方法

Test Case Generation Method for Fully Automatic Operation System

针对全自动运行系统测试指定路径覆盖的测试需求,基于时间自动机建模理论提出满足指定路径覆盖和边覆盖的全自动运行系统测试用例自动生成算法。研究时间自动机建模理论,建立全自动运行系统的时间自动机模型;为表征全自动运行系统指定路径覆盖的测试需求,提出基于时间自动机模型的标记变量建模方法;结合Yggdrasil的测试用例生成机制,提出全自动运行系统测试用例生成方法,同时满足全自动运行系统测试的指定路径覆盖和边覆盖准则;以全自动运行系统的模式转换功能为例,建立时间自动机模型并生成测试用例。结果表明,测试用例100%覆盖测试人员指定的测试需求和时间自动机模型所有的边,能够满足全自动运行系统指定路径覆盖的测试要求。

Aiming at the test requirements of specifi ed path coverage of fully automatic operation(FAO)system test,this paper proposes an algorithm for automatic generation of test cases for FAO based on the modeling theory of timed automata to meet the specifi ed path coverage and edge coverage.Firstly,the modeling theory of timed automata is studied,and the FAO timed automata model is established.Then,a modeling method to add marker variables to the d automata model is proposed to characterize the FAO test requirements of specifi ed path coverage.Thirdly,combined with the test case generation mechanism of Yggdrasil,a test case generation method of FAO is proposed,which satisfi es both the specifi ed path coverage and edge coverage criteria of FAO.Finally,taking the mode conversion function of FAO as an example,the timed automata model is established and test cases are generated.The results show that the test cases cover 100%of the test requirements specifi ed by the tester and all the edges of the timed automata model,which can meet the test requirements of the specifi ed path coverage of FAO.