【摘 要】
：
列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术
【机 构】
：
计算机软件新技术国家重点实验室（南京大学）,南京大学计算机科学与技术系
论文部分内容阅读
列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性.
其他文献
介绍了大型变压器在现场用变频电源进行局部放电试验的测量方法， 局部放电的某些特征及对变压器故障的判断和寻找的方法
目的观察黄连煎剂对果糖诱导的代谢综合征大鼠代谢指标和肾脏的保护作用。方法雄性Wistar大鼠56只,随机选取6只大鼠作为正常对照组,正常饮水。其余50只大鼠每日饮用10%果糖水
印象 他是电视圈的“巴顿将军”$$在《史记·穰侯列传》中，关于芈月（芈八子）的记述只有短短的四十余字：“秦武王卒，无子，立其弟为昭王。昭王母故号为芈八子，及昭王即位，芈八子号为宣
冲击地压预测的精准度可以利用微震监测技术手段、钻屑量监测手段、围岩变形监测技术措施等来有效提高。经过研究可知,微震事件发生的轨迹大致是沿着断层分布,工作面的来压周
处理好农民与土地关系事关农村乃至国家的发展稳定,是中国共产党走向胜利的重要保障,也是现实的必然要求。现分析了处理好农民与土地关系的重大意义,并对新形势下正确处理好
对大型锅炉汽包安装进行了详细的校核计算,介绍了汽包的吊装的方法.
精神与价值观是有区别的,但又紧密相关、相互作用。中国共产党革命精神与社会主义核心价值观之间具有承前启后的内在逻辑。中国共产党不变的性质和宗旨决定了各时期革命精神
随着社会的不断发展,矿建巷道工程的建设越来越受到重视,在矿建巷道工程想到建设中锚杆支护是非常重要的部分,其具有自身的特点,包括具有很强的稳定性、机械化程度高等。和传
汉武帝是中国历史上具有雄才大略的一位皇帝,然而他又是一个非常迷信的人,他对方士的学说、巫蛊之术和神仙怪谈等都十分迷信,并耗费了大量的人力物力去寻求神仙和进行封禅活