基于时间自动机模型的区域控制器测试序列自动生成方法

• 作者: 宋爽 陈跃东
• 来源期刊: 测试科学与仪器
• 学科: 工学
• 关键词: 测试序列 区域控制器 时间自动机模型 文件解析 案例串接
• 年，卷（期）: 2019,（3）
• 页码范围: 266-276
• 页数: 11页
• 分类号: TP273
• 字数: 673字
• 语种: 英文
• DOI: 10.3969/j.issn.1674-8042.2019.03.010

摘要

针对目前区域控制器测试序列人工生成,测试效率低的问题,提出了一种基于模型的测试序列自动生成方法.首先,对区域控制器的功能进行分析,基于时间自动机理论建立区域控制器的时间自动机模型,并利用UPPAAL对模型的正确性进行验证分析;然后,解析时间自动机模型文件,提取状态信息和变迁条件,生成测试案例集;最后,根据测试案例的串接条件,利用改进的深度优先搜索算法将测试案例串接成测试序列.对比区域控制器控制列车在其管辖范围内正常运行功能人工生成的测试序列和自动生成的测试序列,结果证明,该测试序列生成方法可行,且能够有效提高测试序列生成效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	宋爽		1	0	0.0	0.0
2	陈跃东		2	1	1.0	1.0