基于形式化的计算机联锁数据自动化测试过程研究

作者：李卫娟; 王燕芩^*; 张程; 张铭瑶

来源：铁路技术创新, 2021, S1: 30-51.

DOI：10.19550/j.issn.1672-061x.2021.S.030

• 联锁逻辑软件
• 联锁数据
• 自动测试
• 形式化
• 测试用例

以新视角提出联锁数据高效率、全覆盖的自动化测试方法。采用形式化建模技术构建通用联锁站场拓扑结构模型和通用测试用例，通过从通用应用到特定应用的数据配置过程，对通用联锁站场拓扑结构进行实例化，自动生成面向特定应用的联锁数据测试用例。依据测试用例中测试场景描述，自动遍历信号设备对象。通过实践验证该测试方法能覆盖联锁数据的所有控制逻辑，提升了联锁数据测试的充分性、完整性和正确性。

• 单位
  卡斯柯信号有限公司