【摘 要】
：
为使测试案例能覆盖所有的功能需求,本文对双机热备结构计算机测试序列的生成方法进行研究。考虑热备管理单元功能和应用处理机"主"和"备"的转换关系,采用CPN作为形式化语言,
【机 构】
：
中车青岛四方机车车辆股份有限公司,青岛大学机电工程学院
论文部分内容阅读
为使测试案例能覆盖所有的功能需求,本文对双机热备结构计算机测试序列的生成方法进行研究。考虑热备管理单元功能和应用处理机"主"和"备"的转换关系,采用CPN作为形式化语言,以铁道信号安全计算机的形式化测试为背景,建立了有色Petri网(colored petri nets,CPN)模型,得到状态空间可达图,生成了XML文件,验证了模型的正确性,并通过基于属性的算法对状态空间进行搜索,得到属性子路径及完全路径,实现了基于属性的状态空间路径搜索算法自动生成测试序列。该算法很好地避免了状态空间爆炸问题,提升了测试的针对性,为铁道信号安全计算机平台测试提供了有力的支持,具有一定的实用价值。
其他文献
F区是天津市中心城区规划建设中的“一主两副”发展战略的城市副中心之一，当前和今后一个时期处于加快转变经济发展方式，全面提升城区载体功能，加速实现新崛起的爬坡较劲期。县
甲午战后的海军建设和海防思想黄乘矩史学界对于中国近代海军史的研究，大多集中于１９世纪洋务运动发端至中日甲午战争北洋海军覆灭这一时期，而对于甲午战后海军的建设和发展，则鲜有
<正>2016年以来,交通运输部先后下发了《关于打造公路水运品质工程的指导意见》《公路水运品质工程评价标准(试行)》等相关文件,明确提出,到2020年逐步形成品质工程标准体系
本文主要研究了厌氧折流板反应器(ABR)的基本特性，探讨了基质降解的规律，COD负荷、进水浓度、HRT对ABR反应器基质降解的影响；同时探讨了ABR反应器的生物污泥自固定化技术，初步探
目的:探讨人生意义感对戒毒人员复吸风险的影响,以及自尊、抑郁感在两者关系中的中介作用。方法:采用人生意义感量表(MLQ)、自尊量表(SES)、简版流调中心抑郁量表(CES-D-10)
满族作为清王朝的统治者,在与汉族人民长期和睦相处、共同发展的历史进程中,在政治、经济、文化方面必然会受汉族人民的影响。尤其是先进强大的汉族文化必定潜移默化地影响到
本文介绍了《中国药典》2010年版各部所收载药品的命名规则及格式,以及各类药物命名的有关基础知识,并对这些规则进行了剖析,对掌握各类药物的规范化名称和命名规则、格式及
本实践报告从功能对等理论角度,考察如何将近年来中国层出不穷的新语·网络流行语翻译成日语,也就是考察中国的新语·网络流行语的日译口译策略。本报告以在北京出版的,对于
为探讨大学生生命意义的结构,采用项目分析、探索性因素分析和验证性因素分析等方法,先后2次分别对273名和180名大学生进行问卷调查以及数据统计分析,编制了由31个条目构成的
在Bachman的交际语言测试理论的基础上,本论文将进一步确认以下论点：第一,口译测试的目标是测试受试者的交际能力；第二,国内主流口译证书资格测试各有利弊；第三,口译测试评估有