基于TAIO变异分析的新型列控系统安全功能测试评价研究

来源 :北京交通大学 | 被引量 : 8次 | 上传用户:frankcody
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
列车运行控制系统是确保列车安全运行的核心设备。随着轨道交通的快速发展和人们日益增长的需求,列控系统向着高效、智能、低成本等方向发展。目前,国内外已有许多针对新型列控系统(NewTrain Control System,NTCS)的研究,其中研究热门最高的是基于车车通信的列控系统,即通过车-车无线通信方式实现列车之间的间隔控制。新型列控系统是典型的安全苛求系统,一旦系统发生错误,将会导致严重的人身伤亡和巨大的经济损失。因此,保证系统功能的安全和正确及其重要。测试是检验系统安全功能正确性的有效手段,需要对列控系统进行安全功能测试研究以确保列车安全运行,而产生故障覆盖度较高和查错能力较强的测试案例是研究的关键。变异测试是有目的地向系统注入错误,创造出系统故障集,从而模拟系统错误行为。论文引入了输入输出时间自动机(Timed Automata with Input and Output,TAIO)理论和变异测试技术,提出了一种基于TAIO变异分析的新型列控系统安全功能测试框架,针对该框架研发了具体的软件工具,并以新型列控系统车载作为被测对象进行了应用实例研究。论文的主要工作内容如下:(1)分析了新型列控系统和列控系统安全功能测试的国内外研究现状,介绍了新型列控系统下的结构和运营场景。基于故障树原理,分析并产出了新型列控系统下的一系列安全功能特征。(2)提出了一种基于TAIO变异分析的新型列控系统安全功能测试框架。首先,基于TAIO理论建立了新型列控系统模型(TAIO A)。然后,设计了 8种变异算子对TAIO A进行变异,形成变异体模型(TAIO M);将TAIO A与TAIO M之间的输入输出时间一致性关系转换为k-Bounded模型检验方程,以判定测试案例生成的条件。最后,根据测试案例生成算法实现测试案例的生成,一致性关系分数(Conformance Relation Score,CRS)、平均一致性关系分数(Average Conformance Relation Score,ACRS)和加权一致性关系分数(Weighted Conformance Relation Score,WCRS)来评价系统安全功能。(3)研发了新型列控系统测试案例生成软件。首先阐述了软件的需求和实现方案,然后设计变异体模型生成控制器和测试案例生成控制器以实现变异执行和测试案例生成的全局观测和控制。(4)实现了基于测试框架的新型列控系统车载应用实例研究。针对新型列控系统车载参考模型,论文总共得到14778个变异体模型和10515个测试案例。通过对测试案例CRS的分析,测试案例能够有效覆盖“改变行为”、“改变不变量”和“增加Sink位置”三种故障模式,而不能有效覆盖“约束取反”和“复位取反”两种故障模式。此外,测试案例的ACRS和WCRS达到了 0.72和0.8,表明论文生成测试案例的整体故障覆盖度较高和查错能力较强,具有很强的应用价值。
其他文献
<正>随着社会的发展,创伤已成为35岁以下青壮年死亡的首位原因,而心脏创伤仅次于颅脑创伤,其绝大多数(60%~80%)死于院前,故在心脏创伤的救治中特别强调院前急救和医院急诊室的
会议
近年来,随着《一钱太守》、《李慧娘》、新编《狸猫换太子》、《屈原》、《鉴水吟》等一部部精品力作的问世,吴凤花、吴素英、陈飞“三朵梅花”的竞相开放,新生代演员的不断
基于密度泛函理论研究了单个钛原子分别位于本征石墨烯(GR)、点缺陷石墨烯(包括空位石墨烯(DGR)和氮掺杂石墨烯(N-GR))薄片表面的吸附机理.通过计算钛原子在本征石墨烯表面不
随着全球经济一体化的步伐,中国医药行业的竞争不再只是国内医药企业间的竞争,而是被推入到国际医药行业的大潮中参与更为激烈的竞争。目前重大疾病的治疗药物其专利权绝大多数掌握在欧美公司手中,创新药的高利润让跨国制药企业发展得顺风顺水。国内医药企业能否在医药市场取得一席之地,在严峻的行业生态下求得生存和发展,关键在于是否拥有自主知识产权的创新药物。但众所周知,创新药的研发是新药研发中难度系数最高的一个药品
随着我国现代化的建设和发展,需处理的污水量日益增多,所以城市污水的处理和回用已成为一个亟待解决的问题。同时,随着城市污水中氮磷含量的不断上升,国家和地区都对氮磷排放
近几年来,随着我国的电子工业、国防工业、汽车工业、航空航天工业、船舶工业等的迅猛发展,在以上领域中均涉及到一个能够实现传感功能的器件——光纤耦合器。正是由于光纤耦
十八大提出2020年全面建成小康社会,这一目标能否实现,与包括甘肃省在内的西部欠发达地区息息相关。因此,研究甘肃省全面建成小康社会进程具有重要的现实意义。本文首先选用
鄂尔多斯盆地上古生界是我国致密砂岩气勘探开发的代表层位,盆地东南部相比于盆地北部勘探程度较低,但也显示出良好的油气勘探前景。本溪组、山2段、山1段和盒8段为研究区上
本报讯 (记者杨召奎)近日,微博网友“廖师傅”爆料称,他经常通过某旅行服务网站预订特定酒店的房间,价格一直保持在380元~400元。偶然一次,他通过酒店前台了解到,该房间淡季的价格仅
报纸
<正>一《大明玄天上帝瑞应图录》的内涵及图像呈现《道藏》中收录有撰于明时、作者不详的《大明玄天上帝瑞应图录》一卷~①,画有诸多伴有真武显现的种种祥瑞图,并画有山水及
会议