[发明专利]存储验证程序的存储介质、验证装置及验证方法

权利要求书

1.一种存储有验证程序的存储介质，所述验证程序被计算机执行，使所述计算机发挥如下功能：

测试信息取得部，取得表示设在工厂的现场设备发生的测试信号的测试信息；

结果信息取得部，与所述现场设备发生所述测试信号的情况对应地，取得表示设在所述工厂的监视器设备输出的测试结果信号的结果信息；

验证部，基于所述测试信息及所述结果信息，验证在所述测试信号及所述测试结果信号之间，与对所述现场设备发生的信号直至从所述监视器设备输出为止所施加的变化对应的关系是否成立，

所述验证部对所述测试结果信号施加与所述变化逆方向的逆变化，基于施加了所述逆变化的所述测试结果信号和所述测试信号，验证与所述变化对应的关系是否成立，

所述验证部对所述测试信号施加与所述变化同方向的同变化，基于施加了所述同变化的所述测试信号和所述测试结果信号，验证与所述变化对应的关系是否成立。

2.根据权利要求1所述的存储有验证程序的存储介质，其中，当对所述现场设备发生的信号直至从所述监视器设备输出为止实施预定运算时，所述验证部基于所述测试信号、所述测试结果信号、及所述运算的信息，验证与所述变化对应的关系是否成立。

3.根据权利要求1所述的存储有验证程序的存储介质，其中，当对所述现场设备发生的信号直至从所述监视器设备输出为止基于其他信号实施运算时，所述验证部基于所述测试信号、所述测试结果信号、及所述其他信号，验证与所述变化对应的关系是否成立。

4.根据权利要求1所述的存储有验证程序的存储介质，其中，当基于所述现场设备发生的信号直至从所述监视器设备输出为止从多个备选中实施选择时，所述验证部基于所述测试信号、所述测试结果信号、及所述选择的信息，验证与所述变化对应的关系是否成立。

5.根据权利要求2～4中任一项所述的存储有验证程序的存储介质，其中，所述测试信息包括对发生了所述测试信号的所述现场设备进行识别的设备信息；

所述验证部验证在所述测试信号与所述测试结果信号之间，与所述设备信息对应的所述变化所对应的关系是否成立。

6.根据权利要求1所述的存储有验证程序的存储介质，其中，所述测试信息及所述结果信息的至少任一方包括时刻信息。

7.一种验证装置，包括：

测试信息取得部，取得表示设在工厂的现场设备发生的测试信号的测试信息；

结果信息取得部，与所述现场设备发生所述测试信号的情况对应地，取得表示设在所述工厂的监视器设备输出的测试结果信号的结果信息；以及

验证部，基于所述测试信息及所述结果信息，验证在所述测试信号及所述测试结果信号之间，与对所述现场设备发生的信号直至从所述监视器设备输出为止所施加的变化对应的关系是否成立，

所述验证部对所述测试结果信号施加与所述变化逆方向的逆变化，基于施加了所述逆变化的所述测试结果信号和所述测试信号，验证与所述变化对应的关系是否成立，

所述验证部对所述测试信号施加与所述变化同方向的同变化，基于施加了所述同变化的所述测试信号和所述测试结果信号，验证与所述变化对应的关系是否成立。

8.一种由验证装置对工厂进行验证的验证方法，包括：

所述验证装置取得表示设在工厂的现场设备发生的测试信号的测试信息；

所述验证装置与所述现场设备发生所述测试信号的情况对应地，取得表示设在所述工厂的监视器设备输出的测试结果信号的结果信息；

所述验证装置基于所述测试信息及所述结果信息，验证在所述测试信号及所述测试结果信号之间，与对所述现场设备发生的信号直至从所述监视器设备输出为止所施加的变化对应的关系是否成立，

在所述验证中，对所述测试结果信号施加与所述变化逆方向的逆变化，基于施加了所述逆变化的所述测试结果信号和所述测试信号，验证与所述变化对应的关系是否成立，

在所述验证中，对所述测试信号施加与所述变化同方向的同变化，基于施加了所述同变化的所述测试信号和所述测试结果信号，验证与所述变化对应的关系是否成立。