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

说明书

本发明提供一种存储有验证程序的存储介质，将现场设备发生的测试信号与从设在工厂的监视器设备输出的测试结果信号进行比较从而易于判断测试的成败。提供一种存储有验证程序的存储介质，该验证程序被计算机执行，使计算机发挥如下功能：测试信息取得部，取得表示设在工厂的现场设备发生的测试信号的测试信息；结果信息取得部，与现场设备发生测试信号的情况对应地，取得表示设在工厂的监视器设备输出的测试结果信号的结果信息；验证部，基于测试信息及结果信息，验证在测试信号及测试结果信号之间，与对现场设备发生的信号直至从监视器设备输出为止所施加的变化对应的关系是否成立。

技术领域

本发明涉及存储验证程序的存储介质、验证装置及验证方法。

背景技术

以前，在工厂的循环测试中，由操作员等使设在工厂的现场设备发生测试信号，对由现场设备发生的测试信号与由设在工厂的操作/监视装置等监视器设备输出的测试结果信号进行比较，从而确认测试的成败。

发明内容

发明要解决的问题:

在从现场设备到监视器设备之间设置各种设备并进行各种控制。因此，由于各种设备和各种控制的影响，有时无法单纯地通过对由现场设备发生的测试信号与由设在工厂的监视器设备输出的测试结果信号进行比较来判定测试的成败。

解决问题的方案:

为了解决上述问题，在本发明的第一形态中提供一种存储有验证程序的存储介质。存储介质可以存储有由计算机执行的验证程序。验证程序可以由计算机执行。验证程序可以使计算机发挥测试信息取得部的功能，取得表示设在工厂的现场设备发生的测试信号的测试信息。验证程序可以使计算机发挥结果信息取得部的功能，与现场设备发生的测试信号的情况对应地，取得表示设在工厂的监视器设备输出的测试结果信号的结果信息。验证程序可以使计算机发挥验证部的功能，基于测试信息及结果信息，验证在测试信号及测试结果信号之间，与对现场设备发生的信号直至从监视器设备输出为止所施加的变化对应的关系是否成立。

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

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

当对现场设备发生的信号直至从监视器设备输出为止实施预定运算时，验证部可以基于测试信号、测试结果信号、及运算的信息，验证与变化对应的关系是否成立。

当对现场设备发生的信号直至从监视器设备输出为止基于其他信号实施运算时，验证部可以基于测试信号、测试结果信号、及其他信号，验证与变化对应的关系是否成立。

当基于现场设备发生的信号直至从监视器设备输出为止从多个备选中实施选择时，验证部基于测试信号、测试结果信号、及选择的信息，验证与变化对应的关系是否成立。

测试信息包括对发生了测试信号的现场设备进行识别的设备信息；验证部可以验证在测试信号与测试结果信号之间，与设备信息对应的变化所对应的关系是否成立。

测试信息及结果信息的至少任一方可以包括时刻信息。

为了解决上述问题，本发明的第二形态中提供一种验证装置。验证装置可以具备测试信息取得部，取得表示设在工厂的现场设备发生的测试信号的测试信息。验证装置可以具备结果信息取得部，与现场设备发生测试信号的情况对应地，取得表示设在工厂的监视器设备输出的测试结果信号的结果信息。验证装置可以具备验证部，基于测试信息及结果信息，验证在测试信号及测试结果信号之间，与对现场设备发生的信号直至从监视器设备输出为止所施加的变化对应的关系是否成立。