铁道科学与工程学报2023，Vol.20Issue(9)：P.3525-3535,11.DOI:10.19713/j.cnki.43-1423/u.T20221841
基于约束求解的城市轨道交通CBTC系统事件序列测试用例生成方法
摘要
关键词
CBTC系统/事件序列测试/测试用例生成/SMT求解器分类
交通工程引用本文复制引用
覃瑶,张亚东,饶畅,段峰,郭进..基于约束求解的城市轨道交通CBTC系统事件序列测试用例生成方法[J].铁道科学与工程学报,2023,20(9):P.3525-3535,11.基金项目
四川省科技计划资助项目(2021YJ0070) （2021YJ0070）
中央高校基本科研业务费专项资金资助项目(2682022ZTPY084) （2682022ZTPY084）
中国铁路总公司科技研究开发计划课题(N2018G062,K2018G011) （N2018G062,K2018G011）
重庆交通大学科技研究计划(XJ2021003201) （XJ2021003201）
重庆市教委科技项目(KJQN202300750)。 （KJQN202300750）
