本文主要研究内容
作者宋爽,陈跃东（2019）在《基于时间自动机模型的区域控制器测试序列自动生成方法（英文）》一文中研究指出：针对目前区域控制器测试序列人工生成,测试效率低的问题,提出了一种基于模型的测试序列自动生成方法。首先,对区域控制器的功能进行分析,基于时间自动机理论建立区域控制器的时间自动机模型,并利用UPPAAL对模型的正确性进行验证分析;然后,解析时间自动机模型文件,提取状态信息和变迁条件,生成测试案例集;最后,根据测试案例的串接条件,利用改进的深度优先搜索算法将测试案例串接成测试序列。对比区域控制器控制列车在其管辖范围内正常运行功能人工生成的测试序列和自动生成的测试序列,结果证明,该测试序列生成方法可行,且能够有效提高测试序列生成效率。
Abstract
zhen dui mu qian ou yu kong zhi qi ce shi xu lie ren gong sheng cheng ,ce shi xiao lv di de wen ti ,di chu le yi chong ji yu mo xing de ce shi xu lie zi dong sheng cheng fang fa 。shou xian ,dui ou yu kong zhi qi de gong neng jin hang fen xi ,ji yu shi jian zi dong ji li lun jian li ou yu kong zhi qi de shi jian zi dong ji mo xing ,bing li yong UPPAALdui mo xing de zheng que xing jin hang yan zheng fen xi ;ran hou ,jie xi shi jian zi dong ji mo xing wen jian ,di qu zhuang tai xin xi he bian qian tiao jian ,sheng cheng ce shi an li ji ;zui hou ,gen ju ce shi an li de chuan jie tiao jian ,li yong gai jin de shen du you xian sou suo suan fa jiang ce shi an li chuan jie cheng ce shi xu lie 。dui bi ou yu kong zhi qi kong zhi lie che zai ji guan he fan wei nei zheng chang yun hang gong neng ren gong sheng cheng de ce shi xu lie he zi dong sheng cheng de ce shi xu lie ,jie guo zheng ming ,gai ce shi xu lie sheng cheng fang fa ke hang ,ju neng gou you xiao di gao ce shi xu lie sheng cheng xiao lv 。
论文参考文献
论文详细介绍
论文作者分别是来自Journal of Measurement Science and Instrumentation的宋爽,陈跃东，发表于刊物Journal of Measurement Science and Instrumentation2019年03期论文，是一篇关于测试序列论文,区域控制器论文,时间自动机模型论文,文件解析论文,案例串接论文,Journal of Measurement Science and Instrumentation2019年03期论文的文章。本文可供学术参考使用，各位学者可以免费参考阅读下载，文章观点不代表本站观点，资料来自Journal of Measurement Science and Instrumentation2019年03期论文网站，若本站收录的文献无意侵犯了您的著作版权，请联系我们删除。
标签：测试序列论文; 区域控制器论文; 时间自动机模型论文; 文件解析论文; 案例串接论文; Journal of Measurement Science and Instrumentation2019年03期论文;