一种基于形式化方法的ST语言编译器测试工具

摘要

本发明公开了一种基于形式化方法的ST语言编译器测试工具，该工具通过形式化方法为ST语言的执行制定了基准，不仅可以指导ST编译器的测试和实现，还可以为ST程序本身的分析提供支持。该测试工具包括四个部分：ST语言的形式化定义模块、程序模糊测试模块、程序变异模块以及编译器测试模块。该工具基于IEC 61131‑6标准以及多家厂商对ST语言的具体实现梳理ST语言的关键组成，形式化地制定相应的语法和语义关系作为语言的基准，模拟ST语言的具体执行过程，然后对ST程序及其输入进行有效变异，并进一步调用编译器测试模块实现对编译器的有效测试。