【摘 要】
：
针对目前区域控制器测试序列人工生成,测试效率低的问题,提出了一种基于模型的测试序列自动生成方法。首先,对区域控制器的功能进行分析,基于时间自动机理论建立区域控制器的
【机 构】
：
惠州工程职业学院,深圳熙斯特新能源技术有限公司
论文部分内容阅读
针对目前区域控制器测试序列人工生成,测试效率低的问题,提出了一种基于模型的测试序列自动生成方法。首先,对区域控制器的功能进行分析,基于时间自动机理论建立区域控制器的时间自动机模型,并利用UPPAAL对模型的正确性进行验证分析;然后,解析时间自动机模型文件,提取状态信息和变迁条件,生成测试案例集;最后,根据测试案例的串接条件,利用改进的深度优先搜索算法将测试案例串接成测试序列。对比区域控制器控制列车在其管辖范围内正常运行功能人工生成的测试序列和自动生成的测试序列,结果证明,该测试序列生成方法可行,且能够有效
其他文献
目的分析酚妥拉明治疗小儿支气管肺炎合并心力衰竭患者的临床效果。方法随机选取100例小儿支气管肺炎合并心力衰竭患者，随机均分为对照组与观察组，各50例。对照组实施常规治疗，
镁合金拥有许多独特优点,被认为是最具有应用前景的材料之一.然而,力学性能相对较低限制 了镁合金的应用.二十面体准晶相作为-种相对优良的镁合金增强相,对 Mg-Zn-Y-（Zr）合金性
从分析庭院空间与环境心理学密不可分的关系入手，从入口设计、空间区域划分、庭院绿化造型、小品形态塑造多方面介绍了满足环境心理学的庭院空间设计方法，表明了环境心理学在设
目的分析门诊注射室输液患者发生昏厥的原因，并探讨综合护理干预对门诊注射室输液患者发生昏厥的临床效果。方法选取2015年7月至2015年12月在信阳市中心医院门诊注射室输液时
随着我国加入WTO和对外经贸关系的日益广泛,大型商贸企业跨国经营的人才选拔、培养、管理等问题变得越来越重要,特别是海外子公司管理人员素质的高低是成败的关键因素,所以正
面对日益恶化的全球环境,水质量控制刻不容缓。基于基本的新型无线电物理学方法的发展,高精度、低成本的传感器可以解决这一问题, 它利用了光波、微波和毫米波对低浓度污染物
基于独立非同分布α-μ衰落信道研究认知两跳放大转发(amplify-and forward,AF)中继网络的性能,分别在两种认知用户发射功率控制策略下分析二级用户网络性能。首先,综合考虑
目的：观察分析闭合性气胸患者采用深静脉留置针行闭式引流术与胸穿抽气治疗效果。方法：选取唐河县人民医院2010年5月至2012年4月收治的72例闭合性气胸患者的临床资料进行研究分
目的：探讨 Graves 病合并血液系统异常患者的整体护理干预效果。方法将356例 Graves 病合并血液系统异常的患者随机分为观察组与对照组，各178例。对照组按照 Graves 病护理常规