CN116710858A - 数据核对装置、数据核对***以及数据核对方法 - Google Patents

Abstract

数据核对装置具有：期望值信息生成部(31)，其生成包含与规定出定序控制的时序图对应的时刻数据、输入数据、输出数据在内的期望值信息；执行周期设定部(32)，其设定定序程序的执行周期；控制部(2)，其对基于定序程序的执行周期和期望值信息的输入数据得到的虚拟输入数据，执行定序程序的处理而输出虚拟输出数据；核对区间设定部(33)，其在虚拟输出数据与期望值信息的输出数据的核对中，以至少一方的输出数据的时刻为基准而设定具有时间宽度的核对区间；以及期望值核对部(4)，其在设定出的核对区间中，将虚拟输出数据与期望值信息的输出数据相核对。

Description

数据核对装置、数据核对***以及数据核对方法

技术领域

本发明涉及定序程序的数据核对装置、数据核对***以及数据核对方法。

背景技术

可编程逻辑控制器(PLC)通常是工厂内的装置控制所使用的控制器，执行装置控制用的定序程序。在构建新装置的情况下，在进行运转中的现有装置的功能添加或规格变更的情况下，新创建定序程序或变更现有的定序程序的内容。

在创建了定序程序后，需要确认该程序是否按期望进行动作。在进行动作确认时，在对装置运转时的输入数据、内部存储器的状态进行了模拟的状态下执行定序程序，对作为其结果而得到的输出数据、内部存储器的状态是否符合预期进行验证。然而，存在这样的验证作业耗费工时的问题。

作为减轻上述这样的定序程序的验证作业的负荷的方法，在专利文献1所公开的现有技术中公开了下述方法，即，对PLC所期待的输入数据和输出数据的组合即期望值信息进行存储，将***动作试验中的PLC的输入数据和输出数据读出而与期望值信息进行比较，基于比较结果而对动作试验的合格与否进行判定。

专利文献1：日本特开2006-277624号公报

发明内容

通过定序控制而进行周边仪器的控制的PLC等控制仪器反复进行定序程序的执行、数字输入输出的刷新处理、与周边仪器的通信处理等。因此，定序程序的执行周期根据定序程序内的分支条件的成立状况、通信处理的负荷状况等而变动。例如，在定序程序中存在定时器功能的情况下，定时器的输入触点变为ON之后，在经过了所设定的时间后输出为ON，但是否经过了所设定的时间是在定序程序的执行定时(timing)进行判断的，因此定时器的输出为ON的定时也随着前述的执行周期的变动而变动。

在专利文献1所公开的现有技术中，公开了使用PLC所期望的输入数据和输出数据的组合即期望值信息对定序程序的动作进行核对的方法，但未公开定序程序的执行周期发生变动、输出数据的定时产生偏差这样的情况下的核对方法。

本发明就是为了解决上述的问题而提出的，其目的在于即使在定序程序的执行周期发生变动的情况下，也能够进行定序程序的数据的核对。

为了解决上述的课题，本发明涉及的数据核对装置具有：期望值信息生成部，其生成包含与规定出定序控制的时序图对应的时刻数据、输入数据、输出数据在内的期望值信息；执行周期设定部，其对定序程序的执行周期进行设定；控制部，其对基于定序程序的执行周期和期望值信息的输入数据得到的虚拟输入数据，执行定序程序的处理而输出虚拟输出数据；核对区间设定部，其在虚拟输出数据与期望值信息的输出数据的核对中，以至少一方的输出数据的时刻为基准而设定具有时间宽度的核对区间；以及期望值核对部，其在设定出的核对区间中，将虚拟输出数据与期望值信息的输出数据相核对。

发明的效果

本发明涉及的数据核对装置即使在定序程序的执行周期发生变动的情况下，也能够进行定序程序的数据的核对。

附图说明

图1是表示实施方式1涉及的PLC的结构的框图。

图2是表示实施方式1涉及的时序图的一个例子的图。

图3是表示实施方式1涉及的期望值信息的一个例子的图。

图4是例示出实施方式1涉及的期望值信息与虚拟数据的比较的图。

图5是例示出实施方式1涉及的期望值信息与虚拟数据的比较的图。

图6是例示出实施方式1涉及的期望值信息与虚拟数据的比较的图。

图7是例示出实施方式1涉及的期望值信息与虚拟数据的比较的图。

图8是表示实施方式1涉及的数据核对***的结构的框图。

图9是说明实施方式1涉及的数据核对方法的流程图。

图10是表示实施方式2涉及的PLC的结构的框图。

图11是表示实施方式2涉及的时序图的一个例子的图。

图12是表示实施方式2涉及的核对可否设定的一个例子的图。

图13是说明实施方式2涉及的数据核对方法的流程图。

图14是表示实施方式3涉及的PLC的结构的框图。

图15是表示实施方式3涉及的替换数据的一个例子的图。

图16是表示实施方式3涉及的替换数据设定的一个例子的图。

图17是说明实施方式3涉及的数据核对方法的流程图。

图18是实施方式1至3涉及的控制部的硬件结构的变形例。

具体实施方式

以下，使用附图对本发明的实施方式进行说明。在各图中，对相同或相当的部分标注相同的标号。适当地简化或省略重复的说明。此外，本发明不限定于以下说明的实施方式。

实施方式1

图1是表示实施方式1涉及的PLC 1的结构的框图。PLC 1具有控制部2、输入设定部3、期望值核对部4。PLC 1与PC(PersonalComputer)、可编程显示器、控制对象仪器等周边仪器连接，与它们之间进行数据的输入输出。此外，本发明中的数据核对装置包含PLC，另外，也可以包含内置PLC功能而执行定序控制的数控装置、可编程显示器等其它控制仪器。在以下的实施方式中也同样地将PLC作为数据核对装置的例子而对功能进行说明。

控制部2是微型计算机，具有处理器21、存储部22、动作模式切换部23。处理器21例如是CPU(Central Processing Unit)、微处理器、DSP(Digital Signal Processor)。存储部22例如是RAM(Random Access Memory)、ROM(Read Only Memory)、HDD(Hard DiskDrive)，对包含定序程序的用户程序、其它软件、固件以及日志数据等进行存储。通过由处理器21执行在存储部22中存储的定序程序，从而执行与PLC 1连接的周边仪器的控制。存储部22不限定于包含在控制部2中的方式，例如也可以是能够从PLC 1卸下的记录介质。

由PLC 1执行的模式具有执行基于定序程序的正常处理的正常动作模式、执行定序程序的核对作业的期望值核对模式这2种。动作模式切换部23执行这2个模式的切换。在正常动作模式下，与通常的PLC的动作相同地，控制部2基于从周边仪器输入的实际输入数据以及存储部22的内部存储器的信息(相当于后述的设备)而执行定序程序的处理。将通过处理得到的实际输出数据输出至周边仪器或输出至存储部22。另一方面，在期望值核对模式中，控制部2针对基于定序程序的执行周期和期望值信息的输入数据的虚拟输入数据，由定序程序执行处理。控制部2将通过执行定序程序的处理而得到的虚拟输出数据输出至外部或存储于存储部22中。

实际输入数据是指在通过定序程序对与PLC 1连接的周边仪器进行控制等状态下，从周边仪器实际输入至PLC 1的数据。实际输出数据是指对实际输入数据执行定序程序而得到的输出数据。虚拟输入数据是基于定序程序的执行周期和期望值信息的输入数据而通过输入设定部3设定的。虚拟输出数据是对虚拟输入数据执行定序程序的处理而得到的输出数据。此处的“虚拟”是指为了与实际输入数据、实际输出数据相区别而附加的表述。动作模式切换部23是对正常动作模式与期望值核对模式进行切换的附加结构，也可以基于来自周边仪器的指令而执行切换。

输入设定部3对定序程序的核对所用的输入数据进行设定。输入设定部3具有期望值信息生成部31、执行周期设定部32、核对区间设定部33。期望值信息生成部31生成包含与规定出定序控制的时序图对应的时刻数据、输入数据、输出数据在内的期望值信息。执行周期设定部32对定序程序的执行周期进行设定。核对区间设定部33在虚拟输出数据与期望值信息的输出数据的核对中，以至少一方的输出数据的时刻为基准而设定具有时间宽度的核对区间。

此外，执行周期设定部32的执行周期的设定可以是由用户估计执行周期而设定任意的值，也可以是在定序程序的执行时对执行周期进行测量，基于该测量值而自动地设定或由用户设定执行周期。执行周期设定部32也可以具有对定序程序的执行周期进行测量的测量单元。

在新创建定序程序时，或变更现有的程序时，通常使用定序程序设计用的工程设计工具。工程设计工具安装于PC上，能够执行定序程序的设计、编辑、动作的模拟。用户通过工程设计工具将PLC 1的实际输入数据、实际输出数据、内部存储器的预期的状态设计为时序图，创建执行遵循于该时序图的控制的定序程序。创建出的定序程序从PC发送至PLC 1侧，储存于存储部22中。

图2是表示时序图的一个例子的图。时序图规定出定序控制，因此是表现出执行定序程序时的各时刻的输入数据、输出数据的图。在图2中例示的输入数据X0、X1、输出数据Y0、Y1、D0分别是指示出PLC 1的存储部22内的内部存储器的区域的设备。作为设备，存在位设备和字设备。位设备是处理1比特量的信息的设备，上述的X是接收来自外部的信号的设备记号，Y是向外部输出信号的设备记号。字设备是处理数值、字符串等的设备，D是表示将数值、字符串作为设备值进行储存的数据寄存器的设备记号。能够通过这些设备而记述PLC1的控制。此外，在图中记载的设备不过是例示，除此之外也可以包含内部继电器、计数器、定时器等设备。

在图2的时序图中，将定序程序的执行周期设想为1.00ms，在10个周期后的时刻10.00ms时检测出输入X0的ON，通过定时器功能，在其100ms后的110.00ms时输入X0变为OFF，输出Y1变为ON。输入X1和输出Y0以20.00ms周期重复呈ON与OFF，在110.00ms时输入X0变为OFF后，输出Y0变为OFF。作为数据寄存器的D0在输入X0为ON的条件下，在输入X1从OFF变为ON的定时对其切换的次数进行计数，存储为设备值。

图3是表示期望值信息的一个例子的图。期望值信息与图2的时序图对应，包含时刻数据和与各设备的时刻数据对应的输入数据、输出数据。期望值信息生成部31生成包含与时序图对应的时刻数据、输入数据、输出数据在内的期望值信息。图3是示意性地示出的例子，也可以包含与更短的时刻数据的间隔对应的输入数据、输出数据。另外，也可以包含时刻数据、输入数据、输出数据之外的信息。

作为附加结构，期望值信息生成部31也可以基于与变更前的定序程序有关的期望值信息的输入数据和定序程序的执行周期而执行定序程序，使用输出的虚拟输出数据和期望值信息的输入数据而生成期望值信息。即使在进行定序程序的变更的情况下，期望值信息也有很多与现有处理相同的部分，如果即使不新设计期望值信息，也能够针对与变更前相同的期望值信息的输入数据，基于执行了变更前的定序程序得到的输出数据而生成期望值信息，则也能够削减变更后的定序程序的核对中的期望值信息的生成的工时。另外，同样地，期望值信息生成部31基于实际输入数据执行定序程序，使用输出的实际输出数据和实际输入数据而生成期望值信息。在存在安装于装置中的PLC的定序程序，对该定序程序进行变更时，在希望生成基于新的输入数据的样式(pattern)得到的期望值信息的情况下，并非是对虚拟输入数据进行设计，而是使用实际输入数据和实际输出数据，从而能够削减期望值信息的生成的工时。

另外，作为另一个附加结构，在使用实际输入数据和实际输出数据而生成期望值信息的情况下，期望值信息生成部31为了从变更前的定序程序的实际输入数据和实际输出数据中切出作为期望值信息而使用的区间，对生成期望值信息的开始条件、结束条件进行设定。例如，在作为开始触发条件，设定X0＝1，作为结束触发条件，设定X0＝0的情况下，将实际输入数据的X0变为ON的时刻作为开始时刻，切出X0为ON的区间而生成期望值信息。作为开始触发条件，能够设定将实际输入为ON、OFF的状态作为条件的情况(电平触发)、或将从OFF向ON或从ON向OFF的变化作为条件的情况(沿触发)、设备的值变为特定的值的情况、变为特定的值的范围内或范围外的情况、前述多个条件中的多个全部被满足的情况、任意一个条件被满足的情况、满足了条件的时刻的一定时间之前(预触发)等条件。作为结束触发，除了与开始触发相同的条件以外，也可以将从开始触发的发生起经过了一定时间作为条件。由此，能够自动创建出变更后的定序程序的核对所用的期望值信息，将生成期望值信息的工时削减。

另外，作为另一个附加结构，执行周期设定部32也可以基于以变更前的定序程序测量出的执行周期的测量值而对变更后的定序程序的执行周期进行设定。核对区间设定部33也可以基于以变更前的定序程序测量出的执行周期的测量值而对变更后的定序程序的数据核对所用的核对区间进行设定。

图4是例示出期望值信息与虚拟数据的比较的图。在上层示出了期望值信息的X0和Y1，在下层示出了虚拟数据的X0(虚拟输入数据)、Y1(虚拟输出数据)。期望值信息如图2的时序图以及图3中的说明所述。另一方面，由于定序程序的执行周期的变动，虚拟数据与期望值信息产生偏差。例如，在创建定序程序时将执行周期估计为1.00ms，但实际执行的情况下有时为1.05ms，另外，在某周期中为1.20ms，但根据负荷状况有时变动为1.50ms。

执行周期设定部32将与执行周期的变动对应的固定值(例如，对变动的执行周期进行测量，基于其平均值的固定值)设定作为定序程序的执行周期，或基于在执行定序程序时得到的执行周期的测量值而对定序程序的执行周期动态地进行设定。对于动态的设定，在执行周期例如如1.20ms、1.50ms那样变动的情况下，可以对在执行定序程序时得到的测量值进行设定，也可以将根据该测量值计算的值和任意的固定值的合计值用作执行周期。

图5是例示出期望值信息与虚拟数据的比较的图，是针对图4的期望值信息的输出数据和虚拟输出数据的Y1而将其时刻110ms附近提取而放大后的图。以通过执行周期设定部32将执行周期设定为1.00ms的固定值，但实际的执行周期因变动而是1.05ms的情况为例进行说明。在基于定序程序的执行周期和期望值信息的输入数据得到的虚拟输入数据中，在10个周期后检测出输入X0的ON的时刻为10.50ms，在从该时间点起经过了100ms的第106个周期的111.30ms(即，111.30-10.50＝100.80ms)时输入X0变为OFF。在输入X0变为OFF的定时，作为虚拟输出数据的Y1变为ON。

在第105个周期的时刻110.25ms时，由于在期望值信息的输出数据Y1中已经从10.00ms起经过了100ms，因此处于ON的状态，但在虚拟输出数据Y1中，从10.5ms起尚未经过100ms(即，110.25-10.5＝99.75ms)，仍然是OFF。因此，在期望值核对部4中，即使将时刻110.25ms时的虚拟输出数据与期望值信息的输出数据相核对，也不一致。

核对区间设定部33以虚拟输出数据的时刻为基准而设置具有时间宽度的核对区间。期望值核对部4将虚拟输出数据与设定出的区间内包含的期望值信息的输出数据(期望值信息输出数据组)相核对。例如，以虚拟输出数据Y1的110.25ms为基准，设定其前后1.00ms的合计2.00ms的核对区间(109.25ms至111.25ms)，将虚拟输出数据与设定出的核对区间内的期望值信息输出数据组相核对。在期望值信息的输出数据是以0.50ms的时刻为单位而规定出的情况下，在时刻109.50ms处期望值信息的输出变为OFF，与虚拟输出数据的OFF一致。另外，以虚拟输出数据Y1的111.30ms为基准，设定其前后1.00ms的核对区间，将虚拟输出数据与设定出的区间中包含的期望值信息输出数据组相核对。由于虚拟输出数据Y1为ON、该核对区间内的期望值信息输出数据组为ON，因此将核对结果判断为一致。期望值核对部4将虚拟输出数据与设定出的核对区间内包含的期望值信息输出数据组相核对，在期望值信息输出数据组的至少1个数据与虚拟输出数据一致的情况下，将核对结果判断为一致。

期望值核对部4对全部虚拟输出数据执行这样的核对。在全部虚拟输出数据与期望值信息的输出数据均一致的情况下，将表示全部一致的核对结果输出至外部或存储于存储部22中。在核对的结果中有不一致的情况下，对用户通知该状况，用户通过对相应的部分进行确认等，从而进行定序程序的修正、或执行周期、核对区间的时间宽度的重新设定等。如上所述，即使定序程序呈符合预期的举动，也有可能因定序程序的执行周期而使定时产生偏差，与期望值信息的核对成为不一致，通过设定具有时间宽度的核对区间而进行核对，从而消除这样的问题。

作为核对区间的设定的例子，在执行周期从1.20ms变动至1.50ms的情况下，核对区间设定部33能够基于定序程序的执行周期的测量值和任意的固定值(例如0.50ms)而动态地设定核对区间。核对区间的设定中使用测量值、固定值以及比例系数，将比例系数设为1.50，对于测量值为1.20ms的周期将核对区间设定为2.30ms(1.50×1.20+0.50)，对于测量值为1.50ms的周期将核对区间设定为2.75ms(1.50×1.50+0.50)。此外，不限于以输出数据的时刻为基准，设置在其前后具有时间宽度的核对区间，也可以在作为基准的输出数据的时刻的前方或后方的任意一者设置核对区间，也可以根据期望值信息与虚拟数据的偏差的倾向而独立地设置前方和后方的时间宽度来设定核对区间。

此外，核对区间的设定中的固定值、比例系数的决定根据使PLC 1动作的环境、控制的用途、限制而改变时间宽度。例如，在接收来自控制仪器的输入，由PLC 1的定序程序执行处理，向控制仪器输出处理结果这一***的情况下，如果在控制仪器侧向PLC 1输入数据后直至得到输出为止的时间存在时间上的限制，则减小核对区间的时间宽度而执行核对。

在上述的说明中，叙述了核对区间设定部33以虚拟输出数据的时刻为基准而设置具有时间宽度的核对区间。与之相反地，也可以以期望值信息的输出数据的时刻为基准而设置具有时间宽度的核对区间，将该区间内包含的虚拟输出数据与期望值输出数据相核对。

图6与图5相同地，是例示出期望值信息与虚拟数据的比较的图。核对区间设定部33以期望值信息的输出数据的时刻即110.00ms为基准而设定具有1.50ms的时间宽度的核对区间。期望值核对部4将设定出的区间内的虚拟输出数据(虚拟输出数据组)与期望值信息的输出数据相核对，在虚拟输出数据组中的至少1个数据与期望值信息的输出数据一致的情况下，将核对结果判断为一致。在处于核对区间(108.50ms至111.50ms)内的虚拟输出数据组中有Y1在111.30ms时变为ON的数据，因此将核对结果判断为一致。期望值核对部4对全部期望值信息的输出数据执行这样的核对，对一致或不一致进行判断。期望值核对部4在全部期望值信息的输出数据与虚拟输出数据一致的情况下，将全部一致这一核对结果输出至外部或存储于存储部22中。

另外，核对区间设定部33也可以以虚拟输出数据和期望值信息的输出数据各自的时刻为基准而设置具有时间宽度的核对区间，期望值核对部4也可以基于将以虚拟输出数据的时刻为基准的核对区间中包含的期望值信息的输出数据与虚拟输出数据相核对得到的结果、和将以期望值信息的输出数据的时刻为基准的核对区间中包含的虚拟输出数据与期望值信息的输出数据相核对得到的结果，实施数据核对。

上述这样的数据核对与以一方的输出数据为基准而设置核对区间进行比较的情况相比，有时能够提高核对精度。例如，在以虚拟输出数据的时刻为基准而设置核对区间、将期望值信息输出数据组与虚拟输出数据相核对得到的结果，和以期望值信息输出数据的时刻为基准而设置核对区间、将期望值信息的输出数据与虚拟输出数据组相核对得到的结果不一致的情况下，如果将各自的核对区间适当地调整，从而两者的核对结果一致，则核对结果判断为一致，如果即使调整了核对区间也未消除不一致，则核对结果判断为不一致。

图7是例示出期望值信息与虚拟数据的比较的图。期望值信息的输出数据在从110.00ms至111.00ms为止是ON，在其它区间是OFF。另一方面，虚拟输出数据在从110.00ms至111.00ms的区间以及除此之外的区间都为OFF。在该情况下，期望值信息的输出数据与虚拟输出数据应该不一致。

然而，如果以虚拟输出数据的时刻110.25ms为基准，在其前后设定核对区间1.00ms(图中的(a))，将核对区间内的期望值信息输出数据组与虚拟输出数据(在110.25ms时为OFF)相核对，则由于在99.50ms处具有示出OFF的期望值信息的输出数据，因此期望值核对部4判断为虚拟输出数据与期望值信息一致。另一方面，即使以期望值信息的输出数据的时刻110.00ms为基准，在其前后设定核对区间1.00ms(图中的(b))，将该区间内的虚拟输出数据组与期望值信息的输出数据(在110.00ms时为ON)相核对，也由于在虚拟输出数据组侧没有变为ON的数据，因此判断为不一致。在这样的情况下，即使扩展核对区间(b)，两者也不一致，因此期望值核对部4判断为不一致。在图7中，使得两者的核对区间的时间宽度相同，但也可以是能够分别适当进行调整。

此外，在实施方式1中，由PLC 1执行了期望值信息的生成、定序程序的执行周期以及核对区间的设定、期望值信息的输出数据与虚拟输出数据的核对处理，但不限于此。上述各功能也可以在将安装有工程设计工具的PC和PLC 1组合后的数据核对***中执行。图8是表示数据核对***的结构例的框图。在安装了工程设计工具11的PC 10侧创建定序程序，生成与时序图对应的期望值信息。包含定序程序的用户程序储存于PLC 1中，从PC 10向PLC 1写入虚拟输入数据，在PLC 1中执行定序程序。也可以将通过定序程序的执行而得到的虚拟输出数据通过工程设计工具11读入而设定与定序程序的执行周期对应的核对区间，进行数据核对。在该数据核对***的例子中，安装有工程设计工具11的PC 10实现PLC 1的输入设定部3、期望值核对部4的功能。在以下的实施方式中也可以是在PLC 1之外实施一部分功能的结构。

接下来，使用图9的流程图对实施方式1涉及的数据核对方法进行说明。生成包含与规定出定序控制的时序图对应的时刻数据、输入数据、输出数据在内的期望值信息(S101)。接下来，设定定序程序的执行周期，根据该执行周期而设定核对区间(S102)。对基于定序程序的执行周期和期望值信息的输入数据得到的虚拟输入数据执行通过定序程序进行的处理(S103)。对得到的虚拟输出数据和期望值信息的输出数据使用核对区间而实施核对(S104)。在核对的结果是全部输出数据均一致的情况下(S105的YES)，输出该结果(S106)。另一方面，在通过核对而发生不一致的情况下(S105的NO)，对用户通知存在不一致这一核对结果(S107)。用户接收该通知，考虑定序程序的修正、或执行周期、核对区间的重新设定等。此外，各步骤的顺序不限定于在图9中示出的例子，也可以调换顺序、同时并行地处理。在以下的实施方式中也是同样的。

如以上说明所述，本发明涉及的数据核对装置构成为具有：期望值信息生成部31，其生成包含与规定出定序控制的时序图对应的时刻数据、输入数据、输出数据在内的期望值信息；执行周期设定部32，其设定定序程序的执行周期；控制部2，其对基于定序程序的执行周期和期望值信息的输入数据得到的虚拟输入数据，执行定序程序的处理而输出虚拟输出数据；核对区间设定部33，其在虚拟输出数据与期望值信息的输出数据的核对中，以至少一方的输出数据的时刻为基准而设定具有时间宽度的核对区间；以及期望值核对部4，其在设定出的核对区间中，将虚拟输出数据与期望值信息的输出数据相核对。

通过这样的结构，即使在定序程序的执行周期发生变动的情况下，也能够进行定序程序的数据的核对。

实施方式2

对实施方式2涉及的PLC 1进行说明。在本实施方式中，如图10所示，PLC 1除了在实施方式1中公开的结构之外还具有核对可否设定部5。

核对可否设定部5对是否将期望值核对部4中的期望值信息的输出数据与虚拟输出数据相核对进行设定。对于由核对可否设定部5设定为不进行核对的输出，不实施由期望值核对部4进行的核对。另一方面，对于由核对可否设定部5设定为进行核对的输出，实施由期望值核对部4进行的核对而输出核对结果。

在因控制仪器的规格变更等而对定序程序的内容进行变更的情况下，在定序程序中存在现有的控制用部分和变更后的控制用部分。与现有的控制用部分对应的期望值信息能够直接使用，但对于变更后的控制用部分，如果使用该期望值信息，则核对结果变得不一致。因此，核对可否设定部5通过定序程序的变更而对变更后的控制用部分的输出数据设定为不进行核对。

即使是定序程序的现有的控制用部分，有时也会产生伴随着定序程序的变更而发生不匹配、故障等问题。能够对变更后的定序程序实施降级测试，针对现有的控制用部分验证定序程序的变更的影响。

图11是表示时序图的一个例子的图。以将图2的时序图变更为图11的时序图的情况为例进行说明。在图11中，在从输入X0变为ON起经过了130ms后，输出Y1变为ON。另外，作为数据寄存器的D0在输入X0为ON的条件下，在输入X1的ON与OFF发生了切换的定时对其切换的次数进行计数而存储为设备值。

图12是表示核对可否设定的一个例子的图。通过定序程序的变更，输出Y0相对于现有的控制没有发生变更，但输出Y1、D0相对于现有的控制发生了变更。核对可否设定部5针对输出Y1、D0，对期望值核对部4设定为不对期望值信息的输出数据与虚拟输出数据进行核对。由此，仅对与定序程序的现有的控制用部分对应的输出Y0执行期望值信息的输出数据与虚拟输出数据的核对。

对于与定序程序的现有的控制用部分和变更后的控制用部分各自对应的输出，需要在实施核对前预先进行确定。作为附加结构，核对可否设定部5也可以具有从变更前和变更后的定序程序中解析现有的控制用部分和变更后的控制用部分，检测与它们对应的输出的功能。在这种情况下，能够减少用户对被设为对象的输出进行确定的作业负荷。

接下来，使用图13的流程图对实施方式2涉及的数据核对方法进行说明。首先，生成期望值信息(S201)。接下来，随着定序程序的变更，对现有的控制用部分和变更后的控制用部分设定可否进行输出的核对(S202)。具体地说，对现有的控制用部分设定为“核对”，对变更后的控制用部分设定为“不核对”。

设定变更后的定序程序的执行周期，基于该执行周期设定核对区间(S203)。对基于变更后的定序程序的执行周期和期望值信息的输入数据得到的虚拟输入数据，执行该定序程序的处理(S204)。使用核对区间对得到的虚拟输出数据与被设定为进行核对的期望值信息的输出数据相核对(S205)。在核对的结果是全部输出数据均一致的情况下(S206中的YES)，输出该结果(S207)。另一方面，在通过核对而发生不一致的情况下(S206的NO)，对用户通知存在不一致这一核对结果(S208)。

如上所述，实施方式2中的数据核对装置除了实施方式1的结构之外，还具有对可否执行期望值信息的输出数据与虚拟输出数据的核对进行设定的核对可否设定部5，期望值核对部4具有基于设定出的可否执行核对而将期望值信息的输出数据与虚拟输出数据相核对的结构。

由此，即使不对变更后的控制用部分创建期望值信息，也能够对现有的控制用部分实施数据核对，验证定序程序的变更的影响。

实施方式3

对实施方式3涉及的PLC 1进行说明。在实施方式3中，如图14所示，除了在实施方式1中公开的结构之外还具有替换数据生成部34和替换数据设定部6。

在通过控制仪器的规格变更等对定序程序的内容进行变更的情况下，在定序程序中存在未变更的现有的控制用部分和变更后的控制用部分。与现有的控制用部分对应的期望值信息能够直接使用，但对于变更后的控制用部分，如果使用该期望值信息，则核对结果变得不一致。因此，替换数据生成部34在变更了定序程序的情况下，生成包含与规定出变更后的定序控制的时序图对应的时刻数据、输出数据在内的期望值信息即替换数据。替换数据设定部6对变更前的定序程序作出将由期望值信息生成部31生成的期望值信息替换为替换数据的设定。期望值核对部4在设定出的核对区间中，对虚拟输出数据、替换数据、期望值信息的输出数据进行核对。此外，替换数据不仅限于时刻数据和输出数据，也可以包含输入数据。在该情况下，基于替换数据的期望值信息的一部分替换不仅包含时刻数据、输出数据的替换，也包含输入数据的替换。

图15是表示替换数据的一个例子的图。在通过定序程序的变更而从图2变更为图11的时序图的情况下，现有的控制用部分即输出Y0能够对变更前的定序程序直接使用由期望值信息生成部31生成的期望值信息。另一方面，与变更后的控制用部分对应的输出Y1、D0通过定序程序的变更而使用替换数据。该替换数据是为了将期望值信息的输出数据的一部分替换而创建的，输入数据直接使用期望值信息。

图16是表示替换数据设定的一个例子的图。如上所述，输出Y0被设定为“不替换”。在该情况下，期望值核对部4直接读入由期望值信息生成部31生成的期望值信息，实施与虚拟输出数据的核对。另一方面，输出Y1、D0被设定为“替换”。在该情况下，期望值核对部4读入替换数据，实施与虚拟输出数据的核对。此外，期望值信息的基于替换数据的替换也可以将期望值信息的一部分由替换数据覆盖而进行合并，也可以不将替换数据与期望值信息合并，而是期望值核对部4根据替换数据设定部6的设定而读入核对所需的部分。

接下来，使用图17的流程图对实施方式3涉及的数据核对方法进行说明。首先，预先生成期望值信息和替换数据(S301、S302)。接下来，根据替换数据设定部6的设定而将期望值信息的一部分由替换数据替换(S303)。设定变更后的定序程序的执行周期，基于该执行周期设定核对区间(S304)。对基于变更后的定序程序的执行周期和期望值信息的输入数据得到的虚拟输入数据，执行该定序程序的处理(S305)。对得到的虚拟输出数据、替换数据、期望值信息的输出数据在核对区间的范围内进行核对(S306)。在虚拟输出数据与期望值信息的输出数据的核对为全部一致的情况下(S307的YES)，输出该核对结果(S308)。另一方面，在通过核对而存在不一致的核对结果的情况下(S307的NO)，对用户通知该状况(S309)，结束处理。

如上所述，实施方式3涉及的数据核对装置除了实施方式1的结构之外，还具有：替换数据生成部34，在变更了定序程序的情况下，替换数据生成部34生成包含与规定出变更后的定序控制的时序图对应的时刻数据、输出数据在内的期望值信息；以及替换数据设定部6，其对变更前的定序程序作出将由期望值信息生成部31生成的期望值信息通过替换数据而替换的设定，期望值核对部4具有在设定出的核对区间中将虚拟输出数据、替换数据、期望值信息的输出数据相核对的结构。

由此，在变更后的定序程序的数据的核对中，无需重新创建与现有的控制用部分有关的期望值信息就能够实施数据核对。

图18是表示实施方式1至3涉及的控制部2的硬件结构的变形例的图。在图1、10、14中，说明了控制部2具有处理器21和存储部22，处理器21执行包含在存储部22中储存的定序程序的用户程序、其它软件、固件。也可以作为变形例而如图18所示通过专用的硬件(处理电路20)实现控制部2。例如是单一电路、复合电路、程序化的处理器、并行程序化的处理器、ASIC(Application Specific Integrated Circuit)、FPGA(Field-Programmable GateArray)或它们的组合。另外，关于数据核对装置的功能，也可以是一部分通过上述的专用硬件实现，一部分通过基于图1、10、14所示的处理器21和存储部22的结构实现。

在以上的实施方式中示出的结构表示的是本发明的内容的一个例子，能够与其它公知的技术相组合，在不脱离本发明的主旨的范围内，能够将结构的一部分省略或变更。

标号的说明

1PLC，2控制部，3输入设定部，4期望值核对部，5核对可否设定部，6替换数据设定部，21处理器，22存储部，23动作模式切换部，31期望值信息生成部，32执行周期设定部，33核对区间设定部，34替换数据生成部。

Claims (14)

1.一种数据核对装置，其具有：

期望值信息生成部，其生成包含与规定出定序控制的时序图对应的时刻数据、输入数据、输出数据在内的期望值信息；

执行周期设定部，其对定序程序的执行周期进行设定；

控制部，其对基于所述定序程序的执行周期和所述期望值信息的输入数据得到的虚拟输入数据，执行定序程序的处理而输出虚拟输出数据；

核对区间设定部，其在所述虚拟输出数据与所述期望值信息的输出数据的核对中，以至少一方的输出数据的时刻为基准而设定具有时间宽度的核对区间；以及

期望值核对部，其在设定出的核对区间中，将所述虚拟输出数据与所述期望值信息的输出数据相核对。

2.根据权利要求1所述的数据核对装置，其特征在于，

所述期望值核对部将核对区间中包含的所述期望值信息的输出数据与所述虚拟输出数据相核对，在核对区间中包含的所述期望值信息的输出数据内的至少1个数据与所述虚拟输出数据一致的情况下，针对该虚拟输出数据，将与所述期望值信息的输出数据的核对判断为一致。

3.根据权利要求1所述的数据核对装置，其特征在于，

所述期望值核对部将核对区间中包含的所述虚拟输出数据与所述期望值信息的输出数据相核对，在核对区间中包含的所述虚拟输出数据内的至少1个数据与所述期望值信息的输出数据一致的情况下，针对该期望值信息的输出数据，将与所述虚拟输出数据的核对判断为一致。

4.根据权利要求1所述的数据核对装置，其特征在于，

所述核对区间设定部以所述虚拟输出数据和所述期望值信息的输出数据各自的时刻为基准而设置具有时间宽度的核对区间，

所述期望值核对部基于将以所述虚拟输出数据的时刻为基准的核对区间中包含的所述期望值信息的输出数据与所述虚拟输出数据相核对的结果、和将以所述期望值信息的输出数据的时刻为基准的核对区间中包含的所述虚拟输出数据与所述期望值信息的输出数据相核对的结果，进行数据核对。

5.根据权利要求1至4中任一项所述的数据核对装置，其特征在于，

所述执行周期设定部基于在所述定序程序的执行时得到的执行周期的测量值，对所述定序程序的执行周期进行设定。

6.根据权利要求1至5中任一项所述的数据核对装置，其特征在于，

所述核对区间设定部基于所述定序程序的执行周期的测量值和任意的固定值，对核对区间进行设定。

7.根据权利要求1至6中任一项所述的数据核对装置，其特征在于，

所述期望值信息生成部在变更定序程序的情况下，为了执行变更后的定序程序的数据核对，使用变更前的定序程序的期望值信息的输入数据和虚拟输出数据而生成期望值信息。

8.根据权利要求1至7中任一项所述的数据核对装置，其特征在于，

所述期望值信息生成部在变更定序程序的情况下，为了执行变更后的定序程序的数据核对，使用变更前的定序程序的实际输入数据、实际输出数据而生成期望值信息。

9.根据权利要求8所述的数据核对装置，其特征在于，

所述期望值信息生成部为了从变更前的定序程序的实际输入数据和实际输出数据中切出作为期望值信息而使用的区间，对生成期望值信息的开始条件、结束条件进行设定。

10.根据权利要求1至9中任一项所述的数据核对装置，其中，

还具有核对可否设定部，该核对可否设定部对可否执行所述期望值信息的输出数据与所述虚拟输出数据的核对进行设定，

所述期望值核对部基于设定出的可否执行核对，将所述期望值信息的输出数据与所述虚拟输出数据相核对。

11.根据权利要求10所述的数据核对装置，其特征在于，

所述核对可否设定部从变更前与变更后的定序程序中解析现有的控制用部分和变更后的控制用部分，对与它们对应的输出进行检测。

12.根据权利要求1至11中任一项所述的数据核对装置，其特征在于，还具有：

替换数据生成部，在变更了定序程序的情况下，该替换数据生成部生成包含与规定出变更后的定序控制的时序图对应的时刻数据、输出数据在内的期望值信息即替换数据；以及

替换数据设定部，其对变更前的定序程序作出将由所述期望值信息生成部生成的所述期望值信息替换为所述替换数据的设定，

所述期望值核对部在设定出的核对区间中，对所述虚拟输出数据、所述替换数据、所述期望值信息的输出数据进行核对。

13.一种数据核对***，其具有：

期望值信息生成部，其生成包含与规定出定序控制的时序图对应的时刻数据、输入数据、输出数据在内的期望值信息；

执行周期设定部，其对定序程序的执行周期进行设定；

控制部，其对基于所述定序程序的执行周期和所述期望值信息的输入数据得到的虚拟输入数据，执行所述定序程序的处理而输出虚拟输出数据；

核对区间设定部，其在所述虚拟输出数据与所述期望值信息的输出数据的核对中，以至少任意一方的输出数据的时刻为基准而设定具有时间宽度的核对区间；以及

期望值核对部，其在设定出的核对区间中，将所述虚拟输出数据与所述期望值信息的输出数据相核对。

14.一种数据核对方法，其包含以下步骤：

生成包含与规定出定序控制的时序图对应的时刻数据、输入数据、输出数据在内的期望值信息；

对定序程序的执行周期进行设定；

对基于所述定序程序的执行周期和所述期望值信息的输入数据得到的虚拟输入数据，执行所述定序程序的处理而输出虚拟输出数据；

在所述虚拟输出数据与所述期望值信息的输出数据的核对中，以至少任意一方的输出数据的时刻为基准而对具有时间宽度的核对区间进行设定；以及

在设定出的核对区间中，将所述虚拟输出数据与所述期望值信息的输出数据相核对。