文档名：基于约束求解的城市轨道交通CBTC系统事件序列测试用例生成方法
摘要：城市轨道交通CBTC系统采用无线通信技术实现车?地连续双向、大容量信息传输.当前,我国正在大力发展自主化CBTC系统,为保障系统软件安全性,对系统进行信息交互测试是极为必要的.针对现有研究对CBTC系统的信息交互顺序测试不充分而引发的系统软件安全性问题,提出一种基于约束求解的事件序列测试用例生成方法.首先,根据系统蕴含的信息交互事件及其约束关系,提出一种基于事件索引的约束处理方法,实现顺序约束条件的1阶逻辑表示,继而采用约束求解器实现测试用例生成过程中的合法性校验及可扩展性校验.然后,基于贪心算法框架,提出事件序列测试用例的初始化、扩展与校验策略,实现事件序列测试用例集的高效精简生成.最后,以列车进站场景下的CBTC系统移动授权生成功能为研究对象,辨识各子系统间的信息交互事件、交互顺序及其约束,采用所提方法构建CBTC系统事件序列测试用例集.结果表明,所提方法可高效精简生成满足约束条件与覆盖准则的事件序列测试用例集,提高了测试的有效性与完备性.与穷举法相比,所提方法的测试用例集规模精简幅度可达到72.5％.与随机法相比,在生成相同规模的测试用例集时,所提方法的t-维事件序列覆盖率显著高于随机法,可在保证事件序列检错效力的前提下提高测试效率,从而为高效开展CBTC系统的信息交互顺序测试提供了理论依据.
作者：覃瑶 张亚东 饶畅 段峰 郭进 Author：QINYao ZHANGYadong RAOChang DUANFeng GUOJin
作者单位：西南交通大学信息科学与技术学院,四川成都611756重庆交通大学交通运输学院,重庆400074江西财经大学软件与物联网工程学院,江西南昌330013
刊名：铁道科学与工程学报 ISTICPKU
Journal：JournalofRailwayScienceandEngineering
年，卷(期)：2023, 20(9)
分类号：U284.48
关键词：CBTC系统 事件序列测试 测试用例生成 SMT求解器
Keywords：CBTCsystem eventsequencetesting testgeneration SMTsolver
机标分类号：TP311.52TN915.04TM734
在线出版日期：2023年10月27日
基金项目：四川省科技计划资助项目，中央高校基本科研业务费专项资金资助项目，中国铁路总公司科技研究开发计划课题，中国铁路总公司科技研究开发计划课题，重庆交通大学科技研究计划，重庆市教委科技项目基于约束求解的城市轨道交通CBTC系统事件序列测试用例生成方法[
期刊论文] 铁道科学与工程学报--2023, 20(9)覃瑶 张亚东 饶畅 段峰 郭进城市轨道交通CBTC系统采用无线通信技术实现车?地连续双向、大容量信息传输.当前,我国正在大力发展自主化CBTC系统,为保障系统软件安全性,对系统进行信息交互测试是极为必要的.针对现有研究对CBTC系统的信息交互顺序测试...参考文献和引证文献
参考文献
引证文献
本文读者也读过
相似文献
相关博文
基于约束求解的城市轨道交通CBTC系统事件序列测试用例生成方法 An event sequence test generation approach for urban rail transit CBTC system based on constraint solving
基于约束求解的城市轨道交通CBTC系统事件序列测试用例生成方法.pdf
- 文件大小:
- 4.77 MB
- 下载次数:
- 60
-
高速下载
|
|
