基于约束求解的城市轨道交通CBTC系统事件序列测试用例生成方法

摘要：

城市轨道交通CBTC系统采用无线通信技术实现车?地连续双向、大容量信息传输.当前,我国正在大力发展自主化CBTC系统,为保障系统软件安全性,对系统进行信息交互测试是极为必要的.针对现有研究对CBTC系统的信息交互顺序测试不充分而引发的系统软件安全性问题,提出一种基于约束求解的事件序列测试用例生成方法.首先,根据系统蕴含的信息交互事件及其约束关系,提出一种基于事件索引的约束处理方法,实现顺序约束条件的1阶逻辑表示,继而采用约束求解器实现测试用例生成过程中的合法性校验及可扩展性校验.然后,基于贪心算法框架,提出事件序列测试用例的初始化、扩展与校验策略,实现事件序列测试用例集的高效精简生成.最后,以列车进站场景下的CBTC系统移动授权生成功能为研究对象,辨识各子系统间的信息交互事件、交互顺序及其约束,采用所提方法构建CBTC系统事件序列测试用例集.结果表明,所提方法可高效精简生成满足约束条件与覆盖准则的事件序列测试用例集,提高了测试的有效性与完备性.与穷举法相比,所提方法的测试用例集规模精简幅度可达到72.5％.与随机法相比,在生成相同规模的测试用例集时,所提方法的t-维事件序列覆盖率显著高于随机法,可在保证事件序列检错效力的前提下提高测试效率,从而为高效开展CBTC系统的信息交互顺序测试提供了理论依据.

关键词：CBTC系统、事件序列测试、测试用例生成、SMT求解器

所属期刊栏目：20

分类号：U284.48(铁路通信、信号)

资助基金：四川省科技计划资助项目;中央高校基本科研业务费专项资金资助项目;中国铁路总公司科技研究开发计划课题;中国铁路总公司科技研究开发计划课题;重庆交通大学科技研究计划;重庆市教委科技项目

在线出版日期：2023-10-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：3525-3535