用于自动测试用于面向安全的自动化系统的程序的系统和方法

摘要

本发明涉及一种用于在是否遵守用于设计用于自动化系统的程序的编程准则方面自动测试用于自动化系统(1)、尤其是可编程逻辑控制器的程序的方法，其中，在第一步骤中，程序或程序部分的副本作为待测试的程序副本从用于自动化系统的开发系统(21)中输出，在第二步骤中，待测试的程序副本被加载到用于测试程序的测试装置(22)中，其中所述测试装置(22)访问用于程序测试的编程准则，以及在第三步骤中，在那里自动实施在是否遵守编程准则方面的程序测试并且给出测试结果。