来源：期刊VIP网 时间：
作者：郁文斌;邱兆阳;
单位：北京全路通信信号研究设计院集团有限公司;
摘要：针对铁路信号系统列控设备的安全软件提出一种基于扩展有限状态机的测试验证方法，此形式化方法可有效地应用于铁路信号控制软件的自动化测试技术中。通过对信号安全软件与外部设备的信息交互流程与其应用功能需求间映射关系的特征分析，构建出一个基于应用协议的铁路信号事件扩展有限状态机。此扩展状态机能够识别出根据需求定义的预期测试判定序列是否符合软件的实现，从而发现软件的潜在错误。另外，还给出扩展状态机的核心算法以及原理实现，开发出对应的测试验证系统。最后，选取临时限速服务器设备，通过实验验证应用此方法后与未使用此方法前的判定效果，并进行对比分析，结果表明提出的铁路信号扩展有限状态机模型能够正确有效地对设备安全软件进行符合性测试，具有准确率高、可靠性高、性能稳定等优点。
关键词：铁路;;信号;;软件;;形式化;;状态机;;符合性测试;;自动化
基金资助：国家自然科学基金(62033006)
