|
|||||
|
|
| 基于TAIO变异的CTCS-3列控系统测试案例生成方法 | |
| 作者姓名： | 魏柏全 吕继东 陈柯行 唐涛 王唯 |
| 基金项目： | 中央高校基本科研业务费专项资金资助（2019JBM009） |
| 摘 要： | 为了研究高覆盖已知故障集的中国列车运行控制系统三级（CTCS-3）测试案例生成方法,提出了一种基于输入输出时间自动机（TAIO）变异分析的测试案例生成方法. 结合列控系统模式转换的故障特点,设计了包含模式转换已知故障的8种变异算子（改变行为、改变目标位置、改变源位置等）,形成了15 106个变异体;利用输入输出一致性关系（tioco）和k-Bounded模型检验方法生成了10 843个测试案例;应用一致性关系分数（CRS）、平均一致性关系分数（ACRS）和加权一致性关系分数（WCRS）进行了故障覆盖度的分析. 研究结果表明:该方法设计和生成的测试案例能够有效覆盖改变行为、改变不变量和增加sink位置3种故障模式,而对于约束取反和复位取反的故障模式覆盖度不高,需通过额外的观测信息来检测故障. |
| 关 键 词： | CTCS-3级列控系统 输入输出时间自动机（TAIO） 变异分析 模式转换 测试案例 |
| 收稿时间： | 2018-02-03 |
| 点击此处可从《西南交通大学学报》浏览原始摘要信息 | |
| 点击此处可从《西南交通大学学报》下载免费的PDF全文 | |