基于TAIO变异的CTCS-3列控系统测试案例生成方法

来源 :西南交通大学学报 | 被引量 : 0次 | 上传用户：crazy915

【摘要】

：

为了研究高覆盖已知故障集的中国列车运行控制系统三级(CTCS-3)测试案例生成方法,提出了一种基于输入输出时间自动机(TAIO)变异分析的测试案例生成方法.结合列控系统模式转换

【作者】

：

魏柏全吕继东陈柯行唐涛王唯

【机构】

：

北京交通大学轨道交通运行控制系统国家工程研究中心,北京交通大学轨道交通控制与安全国家重点实验室

【出处】

：

西南交通大学学报

【发表日期】

：

2020年5期

【关键词】

：

CTCS-3级列控系统输入输出时间自动机(TAIO) 变异分析模式转换测试案例 CTCS-3 train control systemtimed auto

【基金项目】

：

国家重点研发计划(2018YFB1201500),中国铁路总公司科技研究开发计划课题(N2018G064),中国工程院咨询研究项目(18-HN-ZD-03)

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

为了研究高覆盖已知故障集的中国列车运行控制系统三级(CTCS-3)测试案例生成方法,提出了一种基于输入输出时间自动机(TAIO)变异分析的测试案例生成方法.结合列控系统模式转换的故障特点,设计了包含模式转换已知故障的8种变异算子(改变行为、改变目标位置、改变源位置等),形成了15106个变异体;利用输入输出一致性关系(tioco)和k-Bounded模型检验方法生成了10843个测试案例;应用一致性关系分数(CRS)、平均一致性关系分数(ACRS)和加权一致性关系分数(WCRS)进行了故障覆盖度的分析.研

其他文献

农业机械安全监理工作思考及对策

目前,我国的农业机械在农业生产工作中有着十分重要的作用,对于农业生产和农民的增收情况都有着很大的影响.它能有效改善农业生产的条件,提高农业机械生产的效率,还能减轻劳

期刊

农业机械生产安全监理工作增收情况农业机械安全有效对策安全监督管理生命财产安全思考及对策

现代思想政治教育之享受价值初探

思想政治教育的享受价值属于其个体价值的一个重要部分,指思想政治教育在满足人的各种需要、提高人的素质时所带来的愉悦快乐和幸福的感受以及进行思想政治教育之后达到自然

期刊

思想政治教育教育内容审美意识人生价值观

食育的艺术

<正>幼儿园食育应该讲究美感,注重情趣。幼儿园餐厅环境的色彩、布置,餐具的精致讲究,各种食材食物的艺术造型、视觉效果,进餐时的优美音乐,餐巾纸的叠放艺术,选餐时的营养搭

期刊

幼儿园餐桌礼仪饮食文化

自治区林业厅200多机关干部职工义务植树

4月12日，自治区林业厅200多名机关干部职工与七坡林场130多名职工一起义务植树，共种植名贵树种降香黄檀4000多株、楠术40株。

期刊

义务植树机关干部林业厅自治区职工降香黄檀名贵树种

关于个人所得税最优纳税方案的制定

我国个人所得税方案进行改革的关键在于基本制度。本文通过综合与分类相结合的计征方式将个人工资、薪金所得税纳税额度进行结合,在保证税收平稳的同时,利用matlab软件进行了

期刊

个人所得税工资薪金最优纳税

维生素D临床应用研究新进展

维生素D(VitD)是人体必需的营养素,是钙平衡的最重要生物调节因子之一。流行病学调查表明:人体VitD水平的不足已成为全球问题。VitD不仅可以调节钙、磷的代谢,还参与细胞增殖

期刊

维生素D慢性疾病临床研究

新技术依托下电视媒体创新发展路径探析

当下,包括移动互联网、大数据、人工智能在内的新技术正在以前所未有的力量重构媒介生态和传播格局,电视媒体的生存空间不断被新媒体挤压。本文试图从技术赋权的思路出发,探

期刊

技术赋权场景智能技术内容生产社交媒体

基于TAIO变异的CTCS-3列控系统测试案例生成方法

其他学术论文