铁路通信信号工程技术2024，Vol.21Issue(1)：76-82,7.DOI:10.3969/j.issn.1673-4440.2024.01.014
一种针对全自动运行系统的测试用例生成方法
Test Case Generation Method for Fully Automatic Operation System
摘要
Abstract
Aiming at the test requirements of specified 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 specified 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 specified path coverage.Thirdly,combined with the test case generation mechanism of Yggdrasil,a test case generation method of FAO is proposed,which satisfies both the specified 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 specified by the tester and all the edges of the timed automata model,which can meet the test requirements of the specified path coverage of FAO.关键词
全自动运行系统/指定路径覆盖/时间自动机/Yggdrasil/测试用例Key words
fully automatic operation system/specify path coverage/timed automata/yggdrasil/test case分类
交通工程引用本文复制引用
梁君海,李春峰,万里,杨毅峰,薛一鸣..一种针对全自动运行系统的测试用例生成方法[J].铁路通信信号工程技术,2024,21(1):76-82,7.基金项目
中国铁路总公司科技研究开发计划课题项目(N2018G062,K2018G011) （N2018G062,K2018G011）
四川省科技计划资助项目(2021YJ0070) （2021YJ0070）
