程序验证系统、控制装置及程序验证方法制造方法及图纸

在程序验证系统(10)中，具有：PLC(15)，其使用用于对装置(14)进行控制的控制程序计算与控制输入数据对应的控制输出数据，向输入输出装置(16)输出；以及比对部(13)，其通过将测试样板所包含的测试输出数据和由PLC(15)计算出的控制输出数据进行比对，从而进行控制程序的动作验证，该测试样板是满足装置的动作规格的测试输入数据与测试输出数据的组合且示出随时间的变化，PLC(15)具有控制部(18)，在进行控制程序的动作验证时，如果在控制程序中存在对控制输入数据进行参照的命令，则该控制部(18)生成PLC(15)内的第1时间信息，并且从测试样板内提取与第1时间信息对应的测试输入数据，使用提取出的测试输入数据及控制程序计算输出数据。

【技术实现步骤摘要】
【国外来华专利技术】程序验证系统、控制装置及程序验证方法
本专利技术涉及对装置的控制所用的控制程序进行验证的程序验证系统、控制装置及程序验证方法。
技术介绍
可编程逻辑控制器(PLC：ProgrammableLogicController)这样的控制装置保存有各种数据，使用所保存的数据，运行用于对装置进行控制的控制程序。由此，PLC以特定的周期对安装有PLC的装置或设备进行控制。上述控制程序是基于安装有PLC的装置的动作规格而设计的，使用装置或设备这样的实机进行动作验证。专利文献1中记载的动作验证装置从作为控制程序的机器人动作用程序中检测出具有与作为PLC的定序器之间的控制信号的输入或输出的功能的程序部分。并且，专利文献1中记载的动作验证装置通过将检测出的程序部分逐次输入至定序器，从而使定序器的内部状态变化，基于该变化进行定序器的动作验证。专利文献1：日本特开平10－97307号公报
技术实现思路
然而，在上述作为现有技术的专利文献1中，在动作验证时没有考虑时间的信息，因此无法高精度地使装置动作。因此，在上述作为现有技术的专利文献1中存在无法进行控制程序的准确的动作验证这样的问题。本专利技术就是鉴于上述情况而提出的，其目的在于得到能够进行控制程序的准确的动作验证的程序验证系统。为了解决上述课题而实现目的，本专利技术为程序验证系统，其具有：控制装置，其被输入来自进行数据的输入输出的输入输出装置的控制输入数据，并且使用用于对装置进行控制的控制程序计算与控制输入数据对应的控制输出数据，向输入输出装置输出；以及比对部，其通过将测试样板所包含的测试输出数据和由控制装置计算出的控制输出数据进行比对，从而进行控制程序的动作验证，该测试样板是满足装置的动作规格的测试输入数据与测试输出数据的组合且示出随时间的变化。另外，在本专利技术的程序验证系统中，控制装置具有：存储部，其对测试样板进行存储；以及控制部，在进行控制程序的动作验证时，如果在控制程序中存在对控制输入数据进行参照的命令，则控制部取得控制装置内的时间的信息即第1时间信息，并且从测试样板内提取与第1时间信息对应的测试输入数据，使用提取出的测试输入数据及控制程序计算控制输出数据。专利技术的效果本专利技术涉及的程序验证系统实现能够进行控制程序的准确的动作验证这样的效果。附图说明图1是表示本专利技术的实施方式涉及的程序验证系统的结构的图。图2是表示实施方式涉及的PLC所具有的存储部的结构的图。图3是表示实施方式涉及的装置的动作规格例的图。图4是表示实施方式涉及的测试样板(testpattern)的一个例子的图。图5是表示实施方式涉及的PLC的动作处理步骤的流程图。图6是用于对使用了实机的动作验证与实施方式涉及的动作验证的不同点进行说明的图。图7是表示实施方式涉及的PLC所具有的控制部的硬件结构例的图。具体实施方式下面，基于附图对本专利技术的实施方式涉及的程序验证系统、控制装置及程序验证方法进行详细说明。此外，本专利技术并不限定于本实施方式。实施方式图1是表示本专利技术的实施方式涉及的程序验证系统的结构的图。程序验证系统10具有机床或半导体制造装置这样的装置14和验证装置11，该验证装置11对装置14的控制所用的控制程序进行验证。装置14具有PLC15和输入输出装置16，该PLC15是对装置14进行控制的控制装置，该输入输出装置16与PLC15之间进行数据的输入输出。PLC15具有对各种信息进行存储的存储部17和使用存储部17内的信息对装置14进行控制的控制部18。另外，PLC15具有通信接口(IF：InterFace)部31和通信IF部32，该通信接口部31与验证装置11之间进行数据通信，该通信IF部32与输入输出装置16之间进行数据通信。作为第1通信部的通信IF部31根据来自控制部18的指示与验证装置11之间执行数据通信。通信IF部31接收从验证装置11发送来的测试样板，将该测试样板发送给存储部17。测试样板为用于验证控制程序的数据。测试样板满足装置14的动作规格，是后述的输入数据与后述的输出数据的组合，示出了能够在由装置14的动作规格规定的范围内发生的输入数据及输出数据的随时间的变化。即，测试样板示出了基于安装PLC15的装置14或配置PLC15的设备的动作规格而定义的输入数据及输出数据的随时间的变化。具体而言，测试样板是将作为测试输入数据的输入数据、作为测试输出数据的输出数据和作为时间的信息的后述的时间信息T2进行关联而成的。输入数据的一个例子为输入输出装置16向PLC15输入的数据。输出数据为由PLC15内的控制程序计算的数据，通过PLC15向输入输出装置16输出。作为程序验证系统10所使用的输入数据，存在两种输入数据。两种输入数据中的包含于测试样板的输入数据为用于验证控制程序的测试输入数据。另外，两种输入数据中的从输入输出装置16输入的输入数据为用于控制输入输出装置16的控制输入数据。另外，作为程序验证系统10所使用的输出数据，存在两种输出数据。两种输出数据中的包含于测试样板的输出数据为用于验证控制程序的测试输出数据。另外，两种输出数据中的由控制部18计算的输出数据为控制输出数据。在程序验证系统10执行后述的动态解析的情况下，将由控制部18计算出的控制输出数据用于与测试输出数据的比对。另外，在程序验证系统10不执行后述的动态解析的情况下，将由控制部18计算出的控制输出数据用于控制输入输出装置16。通信IF部31将控制部18所使用的输入数据与控制部18使用控制程序计算出的输出数据的组合发送给验证装置11。作为第2通信部的通信IF部32根据来自控制部18的指示与输入输出装置16之间执行数据通信。通信IF部32接收从输入输出装置16发送来的输入数据，将该输入数据发送给存储部17。另外，通信IF部32将由控制部18计算出且储存于存储部17的输出数据发送给输入输出装置16。存储部17对输入数据、输出数据、控制程序、测试样板和表示控制部18的动作设定的动作设定参数进行存储。控制程序的一个例子为梯形图程序这样的定序程序。表示控制部18的动作设定的动作设定参数的例子是指定了是否执行控制程序的动态解析的参数、或者指定了动作验证时的输入数据的取得方法的参数。作为动作验证时的输入数据的取得方法，存在下述方法，即，从测试样板取得全部输入数据的方法，以及从测试样板取得输入数据的一部分，从输入输出装置16取得剩余部分的方法。控制部18对通信IF部31、32及存储部17进行控制。另外，控制部18具有生成时间信息的时间信息生成部19，该时间信息为由PLC15管理的时间的信息。时间信息生成部19具有时钟功能，使用时钟功能生成时间信息。此外，时间信息生成部19也可以配置于控制部18的外部。在以下的说明中，将由时间信息生成部19生成的PLC15内的时间信息称为时间信息T1。另外，在以下的说明中，将测试样板内的时间的信息称为时间信息T2。作为第1时间信息的时间信息T1既可以是从PLC15的电源被接通起的经过时间，也可以是由时钟测量的时刻或日期时间的信息。作为第2时间信息的时间信息T2为与时间信息T1对应的时间的信息。因此，在时间信息T1是从PLC15的电源被接通起的经过时间的情况下，时间信息T2是表示该经过时间的信息，在时间信息T1是由时钟测量的本文档来自技高网...

【技术保护点】
1.一种程序验证系统，其特征在于，具有：控制装置，其被输入来自进行数据的输入输出的输入输出装置的控制输入数据，并且使用用于对装置进行控制的控制程序计算与所述控制输入数据对应的控制输出数据，向所述输入输出装置输出；以及比对部，其通过将测试样板所包含的测试输出数据和由所述控制装置计算出的所述控制输出数据进行比对，从而进行所述控制程序的动作验证，所述测试样板是满足所述装置的动作规格的测试输入数据与所述测试输出数据的组合且示出随时间的变化，所述控制装置具有：存储部，其对所述测试样板进行存储；以及控制部，在进行所述控制程序的动作验证时，如果在所述控制程序中存在对所述控制输入数据进行参照的命令，则所述控制部取得所述控制装置内的时间的信息即第1时间信息，并且从所述测试样板内提取与所述第1时间信息对应的所述测试输入数据，使用提取出的所述测试输入数据及所述控制程序计算所述控制输出数据。

【技术特征摘要】
【国外来华专利技术】1.一种程序验证系统，其特征在于，具有：控制装置，其被输入来自进行数据的输入输出的输入输出装置的控制输入数据，并且使用用于对装置进行控制的控制程序计算与所述控制输入数据对应的控制输出数据，向所述输入输出装置输出；以及比对部，其通过将测试样板所包含的测试输出数据和由所述控制装置计算出的所述控制输出数据进行比对，从而进行所述控制程序的动作验证，所述测试样板是满足所述装置的动作规格的测试输入数据与所述测试输出数据的组合且示出随时间的变化，所述控制装置具有：存储部，其对所述测试样板进行存储；以及控制部，在进行所述控制程序的动作验证时，如果在所述控制程序中存在对所述控制输入数据进行参照的命令，则所述控制部取得所述控制装置内的时间的信息即第1时间信息，并且从所述测试样板内提取与所述第1时间信息对应的所述测试输入数据，使用提取出的所述测试输入数据及所述控制程序计算所述控制输出数据。2.根据权利要求1所述的程序验证系统，其特征在于，还具有生成所述测试样板而发送给所述控制装置的测试样板生成部。3.根据权利要求1或2所述的程序验证系统，其特征在于，所述存储部包含：第1存储部，其对所述测试样板进行存储；第2存储部，其对来自所述输入输出装置的所述控制输入数据进行存储；以及第3存储部，其对向所述输入输出装置输出的所述控制输出数据进行存储，在进行所述控制程序的动作验证时，如果在所述控制程序中存在对从所述输入输出装置输入的所述控制输入数据进行参照的命令，则所述控制部基于所述第1时间信息从所述测试样板内提取所述测试输入数据而储存于所述第2存储部，且使用提取出的所述测试输入数据及所述控制程序计算所述控制输出数据而储存于所述第3存储部，且将所述第2存储部内的所述测试输入数据及所述第3存储部内的所述控制输出数据发送给所述比对部，所述比对部使用与来自所述控制部的所述测试输入数据对应的所述测试输出数据进行所述动作验证。4.根据权利要求1至3中任一项所述的程序验证系统，其特征在于，所述控制装置还具有生成所述第1时间信息的时间信息生成部，所述测试样板是将所述测试输入数据、所述测试输出数据、与所述第1时间信息对应的时间的信息即第2时间信息进行关联...

【专利技术属性】
技术研发人员：铃木孝幸，吉藤拓土，
申请(专利权)人：三菱电机株式会社，
类型：发明
国别省市：日本,JP