列控中心自动化测试测试用例生成方法
王硕1
张亚东1
郭进1
李耀2
兰浩1
1.西南交通大学信息科学与技术学院,成都6117562.电子科技大学光电科学与工程学院,成都611731
摘要：为了提高列控中心自动化测试的效率和质量,研究带有通信时机测试用例的生成方法.首先,通过扩展确定性有限状态机的输入输出动作,构建带有输入输出时间的确定性有限状态机模型,并利用改进的广度优先搜索生成测试路径,形成抽象测试集.然后,利用边界值分析将测试路径中的时间约束离散化,并利用提出的控制条件覆盖测试生成算法生成测试用例.最后,以列控中心改变运行方向场景为例,生成测试用例.结果 表明:采用所提出方法生成的测试用例可以有效表达接口通信的内容和时机.为列控中心自动化测试用例的自动生成提供重要的方法支撑.
关键词：列控中心自动化测试测试路径测试用例基于模型的测试
分类号：U284.48(铁路通信、信号)
资助基金：国家自然科学基金(61703349)中央高校基本科研业务费专项(2682017CX101)中国铁路总公司科技研究开发计划(N2018G062)
论文发表日期：2020-10-28
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：6( 49-54 )
英文信息