【摘 要】
：
为了研究高覆盖已知故障集的中国列车运行控制系统三级(CTCS-3)测试案例生成方法,提出了一种基于输入输出时间自动机(TAIO)变异分析的测试案例生成方法.结合列控系统模式转换
【机 构】
：
北京交通大学轨道交通运行控制系统国家工程研究中心,北京交通大学轨道交通控制与安全国家重点实验室
【基金项目】
：
国家重点研发计划(2018YFB1201500),中国铁路总公司科技研究开发计划课题(N2018G064),中国工程院咨询研究项目(18-HN-ZD-03)
论文部分内容阅读
为了研究高覆盖已知故障集的中国列车运行控制系统三级(CTCS-3)测试案例生成方法,提出了一种基于输入输出时间自动机(TAIO)变异分析的测试案例生成方法.结合列控系统模式转换的故障特点,设计了包含模式转换已知故障的8种变异算子(改变行为、改变目标位置、改变源位置等),形成了15106个变异体;利用输入输出一致性关系(tioco)和k-Bounded模型检验方法生成了10843个测试案例;应用一致性关系分数(CRS)、平均一致性关系分数(ACRS)和加权一致性关系分数(WCRS)进行了故障覆盖度的分析.研
其他文献
目前,我国的农业机械在农业生产工作中有着十分重要的作用,对于农业生产和农民的增收情况都有着很大的影响.它能有效改善农业生产的条件,提高农业机械生产的效率,还能减轻劳
思想政治教育的享受价值属于其个体价值的一个重要部分,指思想政治教育在满足人的各种需要、提高人的素质时所带来的愉悦快乐和幸福的感受以及进行思想政治教育之后达到自然
<正>幼儿园食育应该讲究美感,注重情趣。幼儿园餐厅环境的色彩、布置,餐具的精致讲究,各种食材食物的艺术造型、视觉效果,进餐时的优美音乐,餐巾纸的叠放艺术,选餐时的营养搭
目的研究呼和浩特地区婴幼儿呼吸道感染病原体的地域发病情况。方法收集患者病例,应用9项呼吸道病原体IgM检测试剂联合检测,并根据患者年龄、季节分组对病例资料进行分析。结
4月12日，自治区林业厅200多名机关干部职工与七坡林场130多名职工一起义务植树，共种植名贵树种降香黄檀4000多株、楠术40株。
我国个人所得税方案进行改革的关键在于基本制度。本文通过综合与分类相结合的计征方式将个人工资、薪金所得税纳税额度进行结合,在保证税收平稳的同时,利用matlab软件进行了
目的分析在急性重症胰腺炎患者的治疗中应用气压治疗的临床效果。方法选取2016年10月至2019年2月进入本院接受治疗的急性重症胰腺炎患者共78例作为研究对象,实验组患者接受气
1月17日，南宁良凤江国家森林公园召开第十三届职工代表大会第三次会议。自治区林业厅顾问廖培来到会讲话，并对良凤江国家森林公园发展提出四点新要求。
维生素D(VitD)是人体必需的营养素,是钙平衡的最重要生物调节因子之一。流行病学调查表明:人体VitD水平的不足已成为全球问题。VitD不仅可以调节钙、磷的代谢,还参与细胞增殖
当下,包括移动互联网、大数据、人工智能在内的新技术正在以前所未有的力量重构媒介生态和传播格局,电视媒体的生存空间不断被新媒体挤压。本文试图从技术赋权的思路出发,探