[发明专利]用于自动测试用于面向安全的自动化系统的程序的系统和方法

权利要求书

1.用于在是否遵守用于设计用于所述面向安全的可编程逻辑控制器的程序的编程准则方面自动测试用于至少部分地面向安全的、带有至少一个面向安全的可编程逻辑控制器的自动化系统(1)的程序的方法，其中，

-在第一步骤中，至少部分地面向安全的程序的副本或面向安全的程序的部分的副本作为待测试的程序副本从用于自动化系统的开发系统(21)中输出，所述副本存放在用于在所述开发系统(21)中设计出面向安全的程序的编程环境中，

-在第二步骤中，待测试的程序副本被加载到用于测试至少部分地面向安全的程序的测试装置(22)中，其中所述测试装置(22)具有对用于设计用于至少部分地面向安全的可编程逻辑控制器的程序的准则的访问权，以及

-在第三步骤中，在那里自动实施在是否遵守用于设计用于至少部分地面向安全的可编程逻辑控制器的程序的编程准则方面的程序测试并且输出测试结果。

2.根据权利要求1所述的方法，其特征在于，在第四步骤中修订在所述测试中测定为有错误的程序副本并且重新测试所述程序副本直到实现无错误或余下的与编程准则的偏差被识别为无危险的并且结束所述测试。

3.根据前述权利要求之一项所述的方法，其特征在于，所述编程准则以机器可读形式存在并且在所述测试程序运行期间被解释。

4.根据前述权利要求之一项所述的方法，通过如下方式修改，即代替所述程序副本的按照所述第一步骤的特别输出，而借助所述测试装置(22)直接在所述开发系统中定位并且自动加载所述待测试的安全程序。

5.根据权利要求1至3之一项所述的方法，通过如下方式修改，即代替所述程序副本的按照所述第一步骤的特别输出，借助所述测试装置(22)直接在所述开发系统中访问所述待测试的安全程序并且在此基础上在所述开发系统内实施所述安全程序的所述测试。

6.用于实施按照权利要求1所述的方法的系统，其中

-至少部分地面向安全的自动化系统(1)与开发计算机(2)联合作用，

-所述开发计算机(2)包括开发系统(21)和测试装置(22)，所述开发系统(21)具有用于设计出至少部分地面向安全的程序的编程环境，所述测试装置(22)用于测试所述至少部分地面向安全的程序的之前加载的副本，以及

-所述测试装置(22)在是否遵守用于设计用于至少部分地面向安全的可编程逻辑控制器的程序的编程准则方面自动实施所述至少部分地面向安全的程序的所述测试并且给出测试结果。

7.根据权利要求6所述的系统，其特征在于，所述测试装置(22)修订在所述编程准则基础上的测试中测定为有错误的程序副本并且重新测试所述程序副本，直到实现无错误或余下的与编程准则的偏差视为无危险的并且结束所述测试。

8.根据权利要求6至7的系统，其特征在于，所述编程准则以机器可读形式存在并且在所述测试程序运行期间是可解释的。

9.根据权利要求7至8所述的系统，其特征在于，所述测试装置(22)直接在所述开发系统中定位所述待测试的面向安全的程序并且自动地加载所述待测试的面向安全的程序。

10.根据权利要求7至8所述的系统，其特征在于，所述测试装置直接在所述开发系统中访问所述待测试的面向安全的程序并且实施所述安全程序的所述测试。

11.根据权利要求7至10所述的系统，其特征在于，所述编程准则是准则、规则和规定，尤其是用于设计用于可编程逻辑控制器、尤其是面向安全的可编程逻辑控制器的程序的编程准则。

12.根据权利要求7至11所述的系统，其特征在于，所述开发系统(21)是已预先认证的组件。