【摘 要】
：
轨道交通区域控制器对行车安全至关重要,设备投入使用前需进行严格的测试,针对目前区域控制器测试序列人工生成,测试效率低的问题,提出一种基于时间自动机模型的测试序列自动
【机 构】
：
兰州交通大学自动化与电气工程学院,深圳熙斯特新能源技术有限公司
论文部分内容阅读
轨道交通区域控制器对行车安全至关重要,设备投入使用前需进行严格的测试,针对目前区域控制器测试序列人工生成,测试效率低的问题,提出一种基于时间自动机模型的测试序列自动生成方法。首先分析区域控制器的功能建立时间自动机模型,用UPPAAL对模型的正确性进行验证;编写MFC应用程序,利用Tiny XML解析库解析模型文件,提取状态信息和变迁条件,生成测试案例集;由测试功能划分测试序列的初始状态和结束状态,并根据测试案例的串接条件,利用深度优先搜索设计最小重复度算法将测试案例串接成测试序列;最后,利用该方法生成了区域控制器切换功能的测试序列,通过分析可知生成的测试序列符合区域控制器的工作流程和测试环境,结果证明该方法能有效提高测试序列的生成效率。
其他文献
目的分析Caprini模型预测肺癌患者伴发静脉血栓栓塞症(venous thromboem-bolism,VTE)的诊断效能,并探讨影响肺癌患者伴发VTE的相关危险因素。方法回顾性分析成都市第二人民医
分析隈研吾的建筑“莲屋”的基本操作手法,并提取出其所体现出的日本传统的延续。据此可对日本传统的建筑观、日本当代建筑的自然观等做出剖析,有助于总结日本建筑师在传统与
目的建立抗炎灵口服液的质量控制方法。方法采用薄层色谱法鉴别抗炎灵口服液中的连翘；采用簿层扫描法测定抗炎灵口服液中连翘苷的含量，以环己烷-三氯甲烷-苯-甲醇（5：3：5：3）为展开剂，
新《环境保护法》修订之后,明确了环保类的社会组织可以作为环境公益诉讼的主体。这为环保组织的能力建设带来了新的机遇。但是,由于我国环保组织发展的短板正是能力建设不足
采用Euler数值计算方法,对60多种中等后掠角及展弦比的切尖菱形机翼、双三角机翼纵向气动力特性进行了计算、分析和比较,从中筛选出16种切尖菱形机翼、14种双三角机翼进行了
构建和谐社会和新农村建设的关键问题在于统筹城乡发展，推动农村城镇化和城乡一体化进程。本文结合漯河实际，探讨了该市坚持以工业理念经营农业，切实做到“依工哺农、以工促农”
近20年来都市艺术存在着相互关联的三种景观,但它满足的多是人的虚假需要,其目的不在培养"有欣赏能力的大众",而在大众"能够接受".都市文化和艺术的价值特征使都市审美文化在
2013年5月28日，由中国食品土畜进出口商会、北京服装学院联合主办，主题为“时尚改变生活，品牌创造价值”的“京交会·时尚生活馆开馆发布会暨中国时尚文化经济高峰论坛”在
乡村旅游从总体上来说对乡村地区经济发展起到了巨大的作用，但不可避免的也会带来一定的负面影响。乡村旅游应该在平衡各方利益的前提下进行合理开发，遵循经济规律，扬长避短，争取
合成了１，１０－邻菲罗啉及２，２′－联吡啶与稀土镧的配合物，并通过元素分析，红外光谱及热重分析对配合物进行了表征，该配合物的抗菌试验表明具有较强的广谱抗菌作用。