【摘 要】
：
列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,
【机 构】
：
北京交通大学轨道交通控制与安全国家重点实验室,北京交通大学轨道交通运行控制系统国家工程研究中心
论文部分内容阅读
列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,对车载系统模式转换的规范建立DRB-TE自动机网络模型,并指出车载系统模型的非确定性会导致模式转换测试用例不能达到全覆盖。针对该问题设计一种能够满足全状态、全变迁覆盖准则测试用例的生成算法,利用实时系统测试用例自动生成工具CoVer生成模式转换测试用例套,从而实现自动生成覆盖全部车载模式转换规范的测试用例,同时提高了测试用例的生成效率和重用性。
其他文献
研究了大型温室栽培条件下,黄瓜生长发育的规律,包括叶片光合作用,器官发育,干物质累积与分配,以及产量形成等。试验结果表明:现代化温室为黄瓜的生长发育提供了良好的环境条
目的:观察肺结核空洞正规抗痨前后X线、CT的表现。方法:回顾性分析106例肺结核空洞患者正规抗痨治疗前后的X线、CT影像表现。结果:肺结核空洞X线、CT多数表现为薄壁空洞和厚
为了推进海洋强国建设,中国工程院于2011年启动了"中国海洋工程与科技发展战略研究"重大咨询项目研究。本文从海洋探测、海洋运载、海洋能源、海洋生物资源、海洋环境和海陆
以盆栽野皂荚2年生实生苗为材料,设置土壤NaCl含量分别为0.053%(CK)、0.15%、0.3%、0.45%和0.6%的盐胁迫处理,研究不同浓度盐处理对苗木生长、细胞膜透性、细胞保护酶活性以
音乐欣赏课是艺术欣赏课程之一。聆听音乐经典,唤起音乐欣赏是小学音乐欣赏课创新设计之魂。这样的课堂能使师生间的情感徜徉在音乐欣赏艺术的海洋里,陶醉在音乐欣赏艺术魅力
<正>斯道拉恩索近期推出了专为供应链、零售和电子商务等领域的智能包装功能开发的可持续性RFID吊牌技术。该公司表示,Eco RFID吊牌可以使用100%纤维材料的纸质标签,而不像传
目的观察[牙合]垫治疗是否影响颞下颌关节疾病患者关节滑液的TNF-α水平。方法治疗组患者24名,戴稳定[牙合]垫3个月;对照组患者20名,3个月内未做治疗。通过关节冲洗方法,获得
目的:总结微柱凝胶法在O型血孕妇产前IgG抗体效价检测中的临床应用。方法:从太原市第八人民医院接诊的O型血孕妇中选取139例作为本次调查研究对象,使用微柱凝胶法检测IgG抗体
目的:了解太原市杏花岭区医疗卫生行政处罚案件的发生规律和存在的问题。方法:对太原市杏花岭区2011~2014年的128起医疗卫生行政处罚案件进行回顾性调查分析。结果:128起案件
目的:探讨叙事医学在临终患者中的应用策略。方法:选取14例临终患者进行叙事医学模式管理,在做好临终关怀护理的前提下,加强与患者及家属的沟通,通过讲解亲历的临终事件,以《