基于车车通信的TACS(Train Autonomous Control System)列车运行系统通过深度融合车载控制系统和信号系统来实现线路资源管理、列车定位及追踪运行等各项关键功能,对可靠性和安全性的要求严格。针对TACS系统在复杂场景下的车载设备测试...基于车车通信的TACS(Train Autonomous Control System)列车运行系统通过深度融合车载控制系统和信号系统来实现线路资源管理、列车定位及追踪运行等各项关键功能,对可靠性和安全性的要求严格。针对TACS系统在复杂场景下的车载设备测试存在输入空间组合爆炸、测试用例冗余甚至无效等问题,提出一种车载设备分阶段组合测试方法。首先,以TACS车载设备自动折返场景为研究对象,依据相关规范文件分析其功能需求,提出测试阶段的划分原则与方法,辨识各个阶段下的测试参数、取值及约束,建立各阶段测试模型。其次,提出一种基于测试需求分阶段优化覆盖的组合测试用例生成算法,通过计算各阶段下的测试需求,采用基于贪婪覆盖策略的算法,结合Z3约束求解器,动态生成组合测试用例,实现约束异构影响下的测试需求全覆盖。最后,得到满足约束条件和覆盖强度的车载设备测试用例集。研究结果表明:该方法能够生成满足约束及覆盖率的测试用例集,有效减少了同一场景下模型间67.75%的冗余覆盖;与主流测试工具进行对比,该方法在覆盖强度为2时减少约50%的冗余测试用例,在覆盖强度为3时减少约36%的冗余测试用例。研究成果通过提高测试用例集的精简性,有效地降低了测试成本,为TACS车载设备测试用例的生成提供了参考。展开更多
文摘基于车车通信的TACS(Train Autonomous Control System)列车运行系统通过深度融合车载控制系统和信号系统来实现线路资源管理、列车定位及追踪运行等各项关键功能,对可靠性和安全性的要求严格。针对TACS系统在复杂场景下的车载设备测试存在输入空间组合爆炸、测试用例冗余甚至无效等问题,提出一种车载设备分阶段组合测试方法。首先,以TACS车载设备自动折返场景为研究对象,依据相关规范文件分析其功能需求,提出测试阶段的划分原则与方法,辨识各个阶段下的测试参数、取值及约束,建立各阶段测试模型。其次,提出一种基于测试需求分阶段优化覆盖的组合测试用例生成算法,通过计算各阶段下的测试需求,采用基于贪婪覆盖策略的算法,结合Z3约束求解器,动态生成组合测试用例,实现约束异构影响下的测试需求全覆盖。最后,得到满足约束条件和覆盖强度的车载设备测试用例集。研究结果表明:该方法能够生成满足约束及覆盖率的测试用例集,有效减少了同一场景下模型间67.75%的冗余覆盖;与主流测试工具进行对比,该方法在覆盖强度为2时减少约50%的冗余测试用例,在覆盖强度为3时减少约36%的冗余测试用例。研究成果通过提高测试用例集的精简性,有效地降低了测试成本,为TACS车载设备测试用例的生成提供了参考。
基金国家高技术研究发展计划(863)(the National High- Tech Research and Development Plan of China under Grant No.863-317-01- 4-992006AA01Z186)国家科技公关计划项目(the Key Technologies R&D Program of China under Grant No.2005BA112A02)