程序解析辅助装置及控制装置.pdf

具有解析条件设定操作部、变量依赖关系提取部、和变量依赖关系显示处理部，所述解析条件设定操作部设定第1条件或第2条件，其中，该第1条件与不提取进一步向前或向后的设备依赖关系的设备相关，该第2条件与提取进一步向前或向后的设备依赖关系的设备相关，所述变量依赖关系提取部按照对符合所述第1条件的设备不提取进一步向前或向后的设备依赖关系，且对符合所述第2条件的设备提取进一步向前或向后的设备依赖关系的方式，以所述设定的起点作为起点，从所述梯形图程序中提取向前或向后的设备依赖关系，生成第1提取结果，所述变量依赖关系显示处理部按照所述第1提取结果，对设备依赖关系进行显示。

1.  一种程序解析辅助装置，其特征在于，具有：
解析条件设定操作部，其对成为解析对象的梯形图程序进行设定，并且，对希望提取的依赖关系的起点进行设定；
解析处理执行部，其具有变量依赖关系提取部，该变量依赖关系提取部从所述梯形图程序中提取向前或向后的设备依赖关系；
解析结果显示处理部，其具有变量依赖关系显示处理部，该变量依赖关系显示处理部对所述提取的设备依赖关系进行显示；以及
回路显示处理部，其显示所述梯形图程序，
所述解析条件设定操作部设定第1条件或第2条件，其中，该第1条件与不提取进一步向前或向后的设备依赖关系的设备相关，该第2条件与提取进一步向前或向后的设备依赖关系的设备相关，
所述变量依赖关系提取部按照对符合所述第1条件的设备不提取进一步向前或向后的设备依赖关系，且对符合所述第2条件的设备提取进一步向前或向后的设备依赖关系的方式，以所述设定的起点作为起点，从所述梯形图程序中提取向前或向后的设备依赖关系，生成第1提取结果，
所述变量依赖关系显示处理部按照所述第1提取结果，对设备依赖关系进行显示。

2.  根据权利要求1所述的程序解析辅助装置，其特征在于，
所述回路显示处理部在从按照所述第1提取结果而显示的设备依赖关系中指定了1个设备时，选择性地显示对所述指定的设备进行线圈输出的梯形图回路，或者，在显示按照所述第1提取结果的设备依赖关系的整体的同时选择性地显示对所述指定的设备进行线圈输出的梯形图回路。

3.  根据权利要求1所述的程序解析辅助装置，其特征在于，
所述变量依赖关系提取部对于按照所述第1提取结果的设备依 赖关系中的终点设备，另外提取以所述终点设备为起点的设备依赖关系，生成第2提取结果，
所述变量依赖关系显示处理部基于所述第1提取结果及所述第2提取结果，将以通过所述解析条件设定操作部设定的起点为起点的设备依赖关系，分割为大于或等于2个设备依赖关系并显示。

4.  根据权利要求1所述的程序解析辅助装置，其特征在于，
所述变量依赖关系显示处理部按照所述第1提取结果，对设备依赖关系的起点和终点进行显示，并且，对于所述起点和所述终点之间的中间点即中途设备，按照展开显示操作进行显示，按照折叠显示操作指示而省略显示。

5.  根据权利要求1所述的程序解析辅助装置，其特征在于，
所述解析处理执行部还具有变量使用状况提取部，该变量使用状况提取部针对设备而从所述梯形图程序中提取柱状图，作为在设定所述第1条件时的参考信息，其中，该柱状图与在多个梯形图行中作为接点被参照使用的次数相关，或者，与表示在1个梯形图行中从几个接点受到控制依赖的次数相关，
所述解析结果显示处理部还具有变量使用状况显示处理部，该变量使用状况显示处理部显示所述提取的柱状图。

6.  一种控制装置，其特征在于，具有：
权利要求1所述的程序解析辅助装置；
异常发生显示处理部，其在所述梯形图程序中检测到异常发生时，显示所述异常发生；以及
控制部，其对所述程序解析辅助装置进行控制，以在从通过所述异常发生显示处理部显示的异常发生中选择出1个异常发生时，将输出所述选择出的异常发生的设备设定为希望提取的依赖关系的起点，显示所获得的设备依赖关系。

7.  根据权利要求6所述的控制装置，其特征在于，
所述控制装置还具有异常发生时存储器转储处理部，该异常发生时存储器转储处理部在所述梯形图程序中检测到异常发生时，对与输出所述异常发生的设备相关的存储器进行转储并保持，
所述控制部对所述程序解析辅助装置进行控制，以在从通过所述异常发生显示处理部显示的异常发生中选择出1个异常发生时，将输出所述选择出的异常发生的设备设定为希望提取的依赖关系的起点，并且，作为与输出所述选择出的所述异常发生的设备相关的条件，参考与输出所述选择出的异常发生的设备相关的所述异常发生时存储器转储处理部的保持内容，指定提取进一步的向前或向后的设备依赖关系，显示所获得的设备依赖关系。

程序解析辅助装置及控制装置
技术领域
本发明涉及程序解析辅助装置及控制装置。
背景技术
关于梯形图程序，作为用于针对控制器是否正确地动作进行调试的功能，已知采样跟踪功能。所谓采样跟踪功能，是指以一定的周期（采样周期）获取（采样）用于表示在指定定时（timing）下的指定设备的状态的数据（跟踪数据），将获取到的跟踪数据存储至规定的存储器（采样跟踪存储器）中。关于采用跟踪的详细内容，记载在非专利文献1至2中。
此处所谓的设备（Device），是指分配有PC的计测监视控制对象和PC之间的输入/输出的PC存储器地址、以及PC在内部使用的存储器地址。例如，在非专利文献1至2所记载的PC中，将分配有输入的设为X设备、将分配有输出的设为Y设备、将内部使用的位数据（内部继电器）设为M设备、将通信中使用的设为B设备、将表示发生错误的设为F设备等，根据数据类别而预先确定有设备文字（device character）。作为各设备的地址，X设备、Y设备和B设备等以16进制表示，M设备和F设备等以10进制表示。
专利文献1：国际公开第2010/095289号
非专利文献1：“QCPUユーザーズマニュアル（機能解説·プログラム基礎編）”三菱电机株式会社，手册编号SH－080473
非专利文献2：“GX Developer Version8オペレーティングマニュアル”三菱电机株式会社，手册编号SH－080356
非专利文献3：“プログラムスライシング技術と応用”下村隆夫著共立出版ISBN4－320－02743－4
非专利文献4：“三菱数値制御装置PLCプログラミング説明 書”三菱电机株式会社，手册编号IB－1500035－F
发明内容
如果对怀疑是故障动作的原因的设备进行采样跟踪，以时序图对设备的内容进行显示等并进行解析，则有望确定故障动作的原因。然而，能够一次完成采样跟踪的存储器大小有限。
对此，本发明人进行研究后，发现存在2个问题。第1个问题是，由于能够一次完成采样跟踪的存储器大小有限，因此需要对怀疑是故障动作原因的设备进行筛选。另外，第2个问题是，有时会在包含大量实质上对确定故障原因没有直接贡献的要素（例如，设备的动作）的状态下进行采样跟踪。
作为解决第1个问题的技术，存在非专利文献3所记载的分片（slicing）技术。即，在梯形图程序中，对设备（变量）的依赖关系（的有向图）进行提取。通过使用设备的依赖关系（的有向图），从而能够从程序中对怀疑是故障动作原因的设备进行筛选。
然而，近几年，梯形图程序规模越来越大且更为复杂，即使使用依赖关系（的有向图），也难以对怀疑是故障动作的原因的设备进行筛选。
对此，在专利文献1中记载有将多个解析条件（解析命令、解析对象等）自由组合而进行程序解析的技术。由此，根据专利文献1，能够基于程序解析的结果，快速地确定编辑对象的位置。
即，可以认为如果使用专利文献1中所记载的技术，则能够通过进行依赖关系（的有向图）之间的逻辑运算AND/OR/NOT，而仅将更进一步符合解析条件的依赖关系（的有向图），从庞杂的依赖关系（的有向图）中提取出来。
另一方面，使用装有PC的生产装置进行调试作业。除了如上所述使个人计算机和PC连接而进行调试作业之外，还会使用生产装置所具有的显示器和操作按钮进行调试作业。
为了使用专利文献1中所记载的技术，需要用于将多个解析条件自由组合而进行指定的高级用户界面。由此，在使用生产装置所具 有的显示器和操作按钮进行调试作业的情况下，必须在这种有限的用户界面的范围内，实现用于将解析条件自由组合而进行指定的操作方法，因此，与个人计算机的情况相比，操作量显著增多，反而可能更加繁琐。
例如，在专利文献1所记载的技术中，在使用生产装置所具有的显示器和操作按钮进行调试作业的情况下，操作量显著增多，因此，容易引发操作失误，可能无法适当地进行解析条件的组合，容易导致难以对怀疑是故障动作原因的设备进行筛选。其结果，第1个问题并未得到解决。
另外，在专利文献1中没有任何关于故障的再现性的记载，作为再现性较低的故障的对策，也没有任何关于如何提取与故障密切相关的依赖关系的记载。即，第2个问题依然没有得到解决。
本发明就是鉴于上述问题而提出的，其目的在于得到一种程序解析辅助装置，其能够在使用生产装置所具有的显示器和操作按钮进行调试作业的情况下，以很少的操作量从庞杂的依赖关系（的有向图）中，提取出与故障密切相关的依赖关系（的有向图）并进行显示。
为了解决上述课题，实现目的，本发明的1个方案所涉及的程序解析辅助装置的特征在于，具有：解析条件设定操作部，其对成为解析对象的梯形图程序进行设定，并且，对希望提取的依赖关系的起点进行设定；解析处理执行部，其具有变量依赖关系提取部，该变量依赖关系提取部从所述梯形图程序中提取向前或向后的设备依赖关系；解析结果显示处理部，其具有变量依赖关系显示处理部，该变量依赖关系显示处理部对所述提取的设备依赖关系进行显示；以及回路显示处理部，其显示所述梯形图程序，所述解析条件设定操作部设定第1条件或第2条件，其中，该第1条件与不提取进一步向前或向后的设备依赖关系的设备相关，该第2条件与提取进一步向前或向后的设备依赖关系的设备相关，所述变量依赖关系提取部按照对符合所述第1条件的设备不提取进一步向前或向后的设备依赖关系，且对符合所述第2条件的设备提取进一步向前或向后的设备依赖关系的方式，以所述设定的起点作为起点，从所述梯形图程序中提取向前或向后的 设备依赖关系，生成第1提取结果，所述变量依赖关系显示处理部按照所述第1提取结果，对设备依赖关系进行显示。
发明的效果
根据本发明，通过使用第1条件或第2条件，从而能够利用设备依赖关系的方向性，高效地进行设备依赖关系筛选。其结果，即使不对多个解析条件（解析命令、解析对象等）进行组合而指定，也能够仅将与故障密切相关的依赖关系（的有向图），从庞杂的依赖关系（的有向图）中提取出来。即，在使用生产装置所具有的显示器和操作按钮进行调试作业的情况下，能够以很少的操作量而从庞杂的依赖关系（的有向图）中提取出与故障密切相关的依赖关系（的有向图）并进行显示。
附图说明
图1是表示实施方式1涉及的程序解析辅助装置的硬件结构的图。
图2是表示实施方式1涉及的程序解析辅助装置的功能结构的图。
图3是表示实施方式1中的解析条件设定操作部的结构的图。
图4是表示实施方式1中的与向前依赖关系提取结果对应的有向图的图。
图5是表示实施方式1中的梯形图程序的结构的图。
图6是表示实施方式1中的考虑了设备类别的向前解析条件设定例的图。
图7是表示实施方式1中的与考虑了设备类别的向前依赖关系提取结果例对应的有向图的图。
图8是表示实施方式1中的考虑了设备类别的向后解析条件设定例的图。
图9是表示实施方式1中的从依赖关系图表显示中显示与该部分相关的梯形图回路的例子的图。
图10是表示实施方式1中的考虑了设备类别的依赖关系提取处理的流程图。
图11是表示实施方式1中的考虑了设备类别的向前解析条件设定例的图。
图12是表示实施方式1中的考虑了设备类别的依赖关系提取处理的流程图。
图13是表示实施方式2中的考虑了参照次数的向前解析条件设定例的图。
图14是表示实施方式2中的考虑了参照次数的向前依赖关系提取结果例的图。
图15是表示实施方式2中的考虑了参照次数的依赖关系提取处理的流程图。
图16是表示实施方式2中的解析条件设定操作部的图。
图17是表示实施方式2中的使用状况提取结果的图。
图18是表示实施方式3中的梯形图程序的结构的图。
图19是表示实施方式3中的向后依赖关系提取结果的图。
图20是表示实施方式3中的解析条件设定操作部的图。
图21是表示实施方式3中的考虑了梯形图1行中的控制依赖次数的向后依赖关系提取结果的图。
图22是表示实施方式3中的考虑了梯形图1行中的控制依赖次数的依赖关系提取处理的流程图。
图23是表示实施方式4中的自保持的图。
图24是表示实施方式4中的考虑了自保持设备的向前解析条件设定例的图。
图25是表示实施方式4中的考虑了自保持设备的依赖关系提取处理的流程图。
图26是表示实施方式5中的将所获得的依赖关系的终点自动地设为新起点的提取处理的流程图。
图27是表示实施方式5中的向前依赖关系提取结果的图。
图28是表示实施方式7中的考虑了A接点的依赖关系提取处理 的流程图。
图29是表示实施方式8中的解析条件设定操作部的图。
图30是表示实施方式8中的设备存储器转储的图。
图31是表示实施方式8中的梯形图程序的结构的图。
图32是表示实施方式8中的向后依赖关系提取结果的图。
图33是表示实施方式8中的考虑了设备存储器转储的依赖关系提取处理的流程图。
图34是表示实施方式9中的依赖关系提取结果的图。
图35是表示实施方式9中的依赖关系显示的图。
图36是表示实施方式10中的硬件结构的图。
图37是表示实施方式10中的从异常发生显示中显示用于确定其原因的依赖关系的例子的图。
具体实施方式
以下，基于附图，详细说明本发明涉及的程序解析辅助装置的实施方式。此外，本发明并不受本实施方式限定。
实施方式1
针对实施方式1涉及的程序解析辅助装置1进行说明。
程序解析辅助装置1是用于实现调试作业高效化的装置，其中，该调试作业是针对在可编程控制器（以下称为“PC”。）、运动控制器（以下称为“MC”。）、数控装置控制器（以下称为“NC”。）、检查装置控制器、或显示器（以下称为“GOT”。）等各种工业用控制器、控制装置、或微型计算机中执行的梯形图程序，对开发出的新的梯形图程序的动作故障的发生原因进行查找的作业。以下，以PC为例进行说明。
PC执行梯形图程序（计测控制程序），掌握计测控制对象的状态，或者，向计测控制对象进行动作的指示。为了生成梯形图程序，而使用规定的梯形图程序生成辅助装置（计测控制程序生成辅助装置）。梯形图程序生成辅助装置通常作为在个人计算机上运行的软件工具提供，具有辅助进行梯形图程序编辑的功能，其中，该梯形图程 序是在PC对计测控制对象进行计测或控制时所使用的程序。此外，梯形图程序生成辅助装置还具有下述功能，即，使个人计算机和PC连接，将编辑后的梯形图程序传送至PC，或者，对计测控制对象的状态或通过执行梯形图程序而变化的变量（以下称为“设备”。）的值的状态进行监视。
此外，由梯形图程序生成辅助装置提供的程序编辑功能及监视功能也可以设置在GOT上，从处于始终与PC连接状态的GOT上，也能够进行梯形图程序的编辑或设备值的状态的监视。
对于梯形图程序，作为用于对控制器是否正确动作进行调试的功能，已知采样跟踪功能。所谓采样跟踪功能，是指以一定的周期（采样周期）获取（采样）用于表示在指定定时的指定设备的状态的数据（跟踪数据），并将获取到的跟踪数据存储在规定的存储器（采样跟踪存储器）中。
此处所谓的设备，是指分配有PC的计测监视控制对象和PC之间的输入/输出的PC存储器地址、以及PC在内部使用的存储器地址。例如，在PC中，将分配有输入的设为X设备、将分配有输出的设为Y设备、将内部使用的位数据（内部继电器）设为M设备、将通信中使用的设为B设备、将表示发生错误的设为F设备等，根据数据类别而预先确定有设备文字。作为各设备的地址，例如X设备、Y设备和B设备等以16进制表示，M设备和F设备等以10进制表示。
如果对怀疑是故障动作的原因的设备进行采样跟踪，以时序图对设备的内容进行显示等并进行解析，则有望确定故障动作的原因。然而，能够一次完成采样跟踪的存储器大小有限。
对此，本发明人进行研究后，发现存在2个问题。
第1个问题是，由于能够一次完成采样跟踪的存储器大小有限，因此需要对怀疑是故障动作原因的设备进行筛选。
另外，第2个问题是，有时会在包含大量实质上对确定故障原因没有直接贡献的要素（例如，设备的动作）的状态下进行采样跟踪。例如，在希望对再现性较低的故障、即不能预测什么时候发生的故障动作进行采样跟踪的情况下，考虑通过增长采样周期而增长采样实施 时间的对策，但如果增长采样周期，则在包含有大量实质上对确定故障原因没有直接贡献的要素的状态下进行采样跟踪，可能难以针对故障动作进行详细的动作解析。
作为解决第1个问题的技术，可以考虑分片技术。即，在梯形图程序中，对设备（变量）的依赖关系（的有向图）进行提取。
例如，梯形图程序包含有多个梯形图行（参照图5）。梯形图程序构成为，对于各梯形图行，从左向右读，对于多个梯形图行，从上向下读。各梯形图行的运算结果被存储在线圈输出中，并且，在后续的梯形图行中作为输入来处理（参照图5）。换言之，在梯形图程序中，从左到右、从上到下，顺序地进行处理。
关于向前的依赖关系，是通过提取由于某个设备的值变化而会受到影响的其他设备，进一步提取由于这些设备而会受到影响的其他设备，从而提取由于某个设备的值变化而受到影响的全部设备。即，向前的依赖关系是沿着顺序处理的方向而追寻依赖关系。这样提取出的设备组构成有向图（参照图4）。
关于向后的依赖关系，是通过提取会对某个设备的值的变化造成影响的其他设备，进一步提取会对这些设备造成影响的其他设备，从而提取会对某个设备的值的变化造成影响的全部设备。即，向后的依赖关系是与顺序处理的方向相反地反向追寻依赖关系。这样提取出的设备组构成有向图（参照图4）。
通过使用上述设备的依赖关系（的有向图），从而能够从梯形图程序中，将怀疑是故障动作原因的设备筛选至某种程度。
然而，近几年，梯形图程序规模越来越大且更为复杂，即使使用依赖关系（的有向图），也难以将怀疑是故障动作原因的设备筛选至所要求的水平。这是因为，在近几年的梯形图程序中，由于某个设备的值变化而会受到影响的设备的数量庞大，或者，会对某个设备的值的变化造成影响的设备的数量庞大，所提取出的依赖关系（的有向图）庞杂，只借助依赖关系（的有向图）很可能无法将设备实际筛选至所要求的水平。
与此相对，考虑将多个解析条件（解析命令、解析对象等）自 由组合而进行程序解析的情况。在该情况下，能够认为可通过多次进行依赖关系（的有向图）之间的逻辑运算AND/OR/NOT，而仅将更进一步符合解析条件的依赖关系（的有向图）从庞杂的依赖关系（的有向图）中提取出来，即，能够将怀疑是故障动作原因的设备筛选至所要求的水平。
另一方面，调试作业是使用装有PC的生产装置而进行的。除了如上所述使个人计算机与PC连接而进行调试作业之外，还会使用生产装置所具有的显示器和操作按钮而进行调试作业。
为了将多个解析条件（解析命令、解析对象等）自由组合而进行程序解析，需要用于将多个解析条件自由组合而进行指定的高级用户界面。由此，在使个人计算机和PC连接而进行调试作业的情况下，由键盘、鼠标、高分辨率显示器，或触摸面板式的上述装置而实现高级用户界面，因此没有问题，但在使用生产装置所具有的显示器和操作按钮进行调试作业的情况下，必须在这种有限的用户界面的范围内，实现用于将多个解析条件自由组合而进行指定的操作方法，因此，与个人计算机的情况相比，操作量显著增多，反而可能更加繁琐。
即，在将多个解析条件（解析命令、解析对象等）自由组合而进行程序解析的情况下，例如，如果使用生产装置所具有的显示器和操作按钮进行调试作业，则操作量显著增多，因此，容易引发操作失误，可能无法适当地进行解析条件组合，容易导致难以将怀疑是故障动作原因的设备筛选至所要求的水平。其结果，第1个问题并未得到解决。
另外，在将多个解析条件（解析命令、解析对象等）自由组合而进行程序解析的情况下，对于再现性较低的故障，不能预测什么时候发生故障动作，因此，也很难设想出多个解析条件。即，第2个问题依然没有得到解决。
因此，在实施方式1中，首先，为了解决第1个问题而提出下述机制，即，在使用生产装置所具有的显示器和操作按钮进行调试作业的情况下，以较小的操作量，从庞杂的依赖关系（的有向图）中选择性地提取与故障密切相关的依赖关系（的有向图）。
具体而言，程序解析辅助装置1具有如图1所示的硬件结构。图1是表示程序解析辅助装置1的硬件结构的图。
程序解析辅助装置1具有微处理器2、数据存储存储器3、显示部4、输入部5、保存部6、以及系统总线7。微处理器2、数据存储存储器3、显示部4、输入部5、以及保存部6，经由系统总线7彼此连接。
微处理器2对程序解析辅助装置1的各部分进行整体控制，执行程序解析辅助装置1的各功能。
数据存储存储器3在微处理器2的控制下，暂时进行数据存储。数据存储存储器3具有例如作为微处理器2的作业区域的工作区域3a。数据存储存储器3由例如DRAM（Dynamic Random Access Memory）构成。
显示部4在微处理器2的控制下，将规定的信息显示在显示画面4a上。显示部4也可以是例如生产装置所具有的显示器。显示器包括例如液晶显示器等。或者，显示部4也可以是例如显示装置。显示装置包括例如液晶显示器等。
输入部5经由操作按钮5a等，从用户处接收规定的指示。操作按钮5a例如是生产装置所具有的操作按钮。操作按钮5a例如也可以在生产装置所具有的显示器的显示画面4a上作为按钮对象及触摸面板实现。或者，例如，输入部5也可以是具有操作按钮5a等的输入装置。操作按钮5a例如也可以是设置在输入装置上的物理按钮。
保存部6例如分别将作为解析对象的梯形图程序、及程序解析辅助用程序6a等程序、及作为解析结果等的数据6b作为文件进行存储和保持，其中，该程序解析辅助用程序6a用于实现程序解析辅助装置1的各功能。保存部6例如由硬盘等存储装置构成。
另外，程序解析辅助装置1具有如图2所示的功能结构。图2是表示程序解析辅助装置1的功能结构的图。
程序解析辅助装置1例如通过由微处理器2执行程序解析辅助用程序，从而在程序解析辅助装置1内（例如，数据存储存储器3中的工作区域3a内）形成图2所示的功能结构。此外，作为程序解 析辅助装置1的各功能部，可以对应于程序解析辅助用程序的执行的开始而统一形成，也可以对应于程序解析辅助用程序的执行状况而依次形成。
具体而言，程序解析辅助装置1具有解析条件设定操作部9、解析处理执行部13、解析结果显示处理部10、以及回路显示处理部19。
在进行针对梯形图程序16的程序解析的情况下，用户对输入部5的操作按钮5a等进行操作，进行用于输入程序解析条件的用户操作8。解析条件设定操作部9按照与用户操作8对应的指示，设定程序解析条件，并供给至解析处理执行部13。
例如，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的起动指示，生成程序解析辅助用程序的起动指令，并供给至解析处理执行部13。
例如，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的程序设定指示，对作为解析对象的梯形图程序16进行设定。程序设定指示是对作为解析对象的梯形图程序16进行设定的指示。解析条件设定操作部9将所设定的梯形图程序16的信息供给至解析处理执行部13。
另外，例如，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的起点设定指示，对希望提取的依赖关系的起点进行设定。起点设定指示是对希望提取的依赖关系的起点进行设定的指示。解析条件设定操作部9将所设定的希望提取的依赖关系的起点的信息供给至解析处理执行部13。
另外，解析条件设定操作部9设定第1条件及第2条件中的某一方。第1条件是与不提取进一步向前或向后的设备依赖关系的设备相关的条件。第2条件是与提取进一步向前或向后的设备依赖关系的设备相关的条件。第1条件及第2条件的详细内容如后所述。
例如，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的第1条件设定指示，设定第1条件。第1条件设定指示是设定第1条件的指示。解析条件设定操作部9将所设定的第1条件的信息供给至解析处理执行部13。
或者，例如，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的第2条件设定指示，指定第2条件。第2条件设定指示是设定第2条件的指示。解析条件设定操作部9将所设定的第2条件的信息供给至解析处理执行部13。
解析处理执行部13从解析条件设定操作部9接收程序解析辅助用程序的起动指令。解析处理执行部13按照程序解析辅助用程序的起动指令，读出保持在保存部6中的程序解析辅助用程序。
另外，解析处理执行部13从解析条件设定操作部9接收程序解析条件的设定结果。解析处理执行部13对应于程序解析条件的设定结果，执行程序解析处理，将程序解析处理的结果即解析结果，供给至解析结果显示处理部10。
例如，解析处理执行部13具有变量使用状况提取部14及变量依赖关系提取部15。例如，在经由解析条件设定操作部9发出了提取使用状况的指示的情况下，变量使用状况提取部14对设备的使用状况进行提取。变量使用状况提取部14生成设备使用状况的提取结果，供给至解析结果显示处理部10。
例如，在经由解析条件设定操作部9发出了提取依赖关系的指示的情况下，变量依赖关系提取部15对设备的依赖关系进行提取。即，变量依赖关系提取部15从梯形图程序16中提取向前或向后的设备依赖关系。
此时，对于符合经由解析条件设定操作部9而设定的第1条件的设备，变量依赖关系提取部15不进行进一步向前或向后的设备依赖关系的提取。另外，对于符合经由解析条件设定操作部9而设定的第2条件的设备，变量依赖关系提取部15提取进一步向前或向后的设备依赖关系。
此外，在进行设备依赖关系提取时，变量依赖关系提取部15也可以参照设备存储器转储18所保持的内容。
然后，变量依赖关系提取部15生成设备依赖关系的提取结果即第1提取结果，并供给至解析结果显示处理部10。
解析结果显示处理部10从解析处理执行部13接收程序解析处 理的结果。解析结果显示处理部10使用程序解析处理的结果而生成显示信息，按照生成的显示信息，将程序解析处理的结果显示在显示部4的显示画面4a上。
例如，解析结果显示处理部10具有变量使用状况显示处理部11及变量依赖关系显示处理部12。变量使用状况显示处理部11例如从变量使用状况提取部14接收设备使用状况的提取结果。变量使用状况显示处理部11使用设备使用状况的提取结果而生成显示信息，按照生成的显示信息，将设备使用状况的提取结果显示在显示部4的显示画面4a上。例如，变量使用状况显示处理部11生成将设备使用状况的提取结果汇总为图表的图表信息，按照图表信息，以图表的方式将设备使用状况的提取结果显示在显示部4的显示画面4a上。由此，阅览过显示画面4a的用户，能够容易地直观掌握设备使用状况的提取结果。
变量依赖关系显示处理部12例如从变量使用状况提取部14，接收设备依赖关系的提取结果即第1提取结果。变量依赖关系显示处理部12将第1提取结果变换为显示信息，按照变换得到的显示信息，将设备依赖关系的提取结果显示在显示部4的显示画面4a上。例如，变量依赖关系显示处理部12生成将设备依赖关系的提取结果汇总为有向图（参照图4、图7）的有向图信息，按照有向图信息，以有向图的方式将设备依赖关系的提取结果显示在显示部4的显示画面4a上。由此，阅览过显示画面4a的用户能够容易地直观掌握设备依赖关系的提取结果。
另外，变量依赖关系显示处理部12例如按照对应于用户操作8而由操作按钮5a等接收到的设备选择指示，指定所选择的设备。设备选择指示是在从通过变量依赖关系显示处理部12而显示在显示画面4a上的设备依赖关系（例如，有向图）中选择了1个设备时，对该被选择的设备进行指定的指示。变量依赖关系显示处理部12将所指定的设备的信息供给至回路显示处理部19。
回路显示处理部19从变量依赖关系显示处理部12接收指定的设备的信息。回路显示处理部19对应于所指定的设备，生成梯形图 回路的显示信息。例如，回路显示处理部19生成用于对所指定的设备进行线圈输出的梯形图回路的显示信息。
而且，例如，代替通过变量依赖关系显示处理部12显示的设备依赖关系（例如，有向图），回路显示处理部19选择性地显示用于对所指定的设备进行线圈输出的梯形图回路（参照图9的右图）。
或者，例如，回路显示处理部19显示通过变量依赖关系显示处理部12显示的设备依赖关系即提取出的设备依赖关系（例如，有向图）的整体，并且，显示用于对所指定的设备进行线圈输出的梯形图回路（参照图9）。例如，回路显示处理部19将提取出的设备依赖关系的整体的有向图、和用于对所指定的设备进行线圈输出的梯形图回路，横向排列显示（参照图9）。或者，例如，回路显示处理部19对提取出的设备依赖关系的整体有向图进行显示，并且，以重叠在该有向图之上的方式，（例如，在显示画面4a的中心）显示用于对所指定的设备进行线圈输出的梯形图回路。
下面，使用图3，对解析条件设定操作部9的结构进行说明。图3是表示解析条件设定操作部9的结构的图。
在由解析处理执行部13按照对应于用户操作8而由操作按钮5a等接收到的起动指示，读出了程序解析辅助用程序时，解析条件设定操作部9接收由解析处理执行部13展开的画面数据。解析条件设定操作部9按照该画面数据，将例如图3所示的解析条件设定操作画面9a显示在显示画面4a上。解析条件设定操作部9经由例如解析条件设定操作画面9a而接收用户操作8。
例如，图3示出如下情况，即，程序解析辅助装置1具有提取设备的使用状况的功能和提取设备的依赖关系的功能，且由用户选择并指定了提取设备的依赖关系的功能。而且，在提取设备的依赖关系的功能的情况下，指定是提取向前的依赖关系还是向后的依赖关系，然后，对解析处理的起点进行指定。在图3中，示出指定为向前，并指定了输入设备X1作为起点的情况。
具体而言，解析条件设定操作画面9a具有解析选择栏9a1、9a2、执行按钮9a3、取消按钮9a4、方向指定栏9a5、起点指定栏9a6、类 别指定开关栏9a7、类别指定栏9a8、次数指定开关栏9a9、以及次数指定栏9a10。解析选择栏9a1、9a2、执行按钮9a3、取消按钮9a4、方向指定栏9a5、起点指定栏9a6、类别指定开关栏9a7、类别指定栏9a8、次数指定开关栏9a9、以及次数指定栏9a10各自与操作按钮5a相当。
择一地选择2个解析选择栏9a1、9a2中的任一方。例如，在选择了解析选择栏9a1的情况下，解析条件设定操作部9选择提取设备的使用状况作为解析处理，将表示选择了提取设备的使用状况的信息通知至变量使用状况提取部14。与此对应，例如，变量使用状况提取部14识别出经由解析条件设定操作部9而被指示了对使用状况进行提取。
然后，如果执行按钮9a3被按下，则解析条件设定操作部9指示变量使用状况提取部14开始进行解析处理。与此对应，变量使用状况提取部14提取出设备的使用状况，变量使用状况显示处理部11使用该提取结果而将显示信息（例如，图表信息）显示在显示画面4a上。
或者，如果取消按钮9a4被按下，则解析条件设定操作部9指示变量使用状况提取部14取消解析处理。与此对应，变量使用状况提取部14中止进行设备的使用状况的提取。
或者，例如，在选择了解析选择栏9a2的情况下，作为解析处理，选择提取设备的依赖关系，将表示选择了提取设备的依赖关系的信息通知至变量依赖关系提取部15。与此对应，例如，变量依赖关系提取部15识别出经由解析条件设定操作部9而被指示了对设备的依赖关系进行提取。
在方向指定栏9a5中，作为希望提取的设备依赖关系的方向，选择向前及向后中的某一个。在图3中例示了选择向前的情况。在方向指定栏9a5中，例如也可以通过点击黑三角而以下拉菜单显示向前及向后，通过点击向前及向后中的任一个而进行选择。
在起点指定栏9a6中，指示希望提取的依赖关系的起点。在图3中，例示了指示了设备X1作为希望提取的依赖关系的起点的情况。
在类别指定开关栏9a7中，指示进行类别指定（ON）及不进行类别指定（OFF）中的某一个。在图3中，例示了指示不进行类别指定（OFF）的情况。在类别指定开关栏9a7中，例如也可以通过选中而指示进行类别指定（ON），通过取消选中而指示不进行类别指定（OFF）。
在类别指定栏9a8中，指示与不提取进一步向前或向后的设备依赖关系的设备相关的第1条件。例如，在类别指定栏9a8中，作为第1条件，指示不提取进一步向前或向后的设备依赖关系的设备的类别。设备的类别包括例如表示分配有输入的设备的X设备、表示分配有输出的设备的Y设备、表示内部使用的位数据（内部继电器）的M设备、表示通信中使用的设备的B设备、表示发生错误的F设备。在图3中例示了类别指定栏9a8无指示的情况。
然后，如果执行按钮9a3被按下，则解析条件设定操作部9指示变量依赖关系提取部15开始进行解析处理。与此对应，变量依赖关系提取部15提取出设备依赖关系，变量依赖关系显示处理部12使用该提取结果即第1提取结果，将显示信息（例如有向图信息）显示在显示画面4a上。
或者，如果取消按钮9a4被按下，则解析条件设定操作部9指示变量依赖关系提取部15取消解析处理。与此对应，变量依赖关系提取部15中止进行设备依赖关系的提取。
此外，作为起点的输入设备X1也可以构成为，通过从由回路显示处理部19显示的梯形图程序中选择接点或线圈而指定。
图4是按照图3所示的方式对解析条件设定操作画面9a进行操作，执行按钮9a3被按下的情况下的执行结果的一个例子。在图4中，示出提取多个设备及依赖关系的情况。
在本实施方式中，作为提取结果如上所述发散的原因，如图5所示，有时输出设备Y进一步作为接点而被参照，由此导致作为依赖关系而提取的设备的数量增多，考虑到这一点，例如，对于指定的设备类别，不进行进一步的依赖关系的提取处理。
例如，由于Y设备是输出设备，因此，在原本以输入设备X为 起点提取向前依赖关系的情况下，其终点是Y设备。尽管如此仍进行依赖关系的提取处理，直至该Y设备进一步作为接点被参照为止，必定会导致下述情况，即，超出以X设备为起点的依赖关系的提取范围，进一步进行以该Y设备为起点的依赖关系的提取。
因此，在本实施方式中，例如，如图6所示，为了抑制以Y设备为起点的依赖关系的提取，在解析条件设定操作画面9a中，选中基于设备类别而不进行进一步的依赖关系的提取处理的功能，使其有效，作为不进行进一步的依赖关系的提取处理的设备类别，指定了Y设备。
例如，如图6所示，在解析条件设定操作画面9a中，在2个解析选择栏9a1、9a2中选择解析选择栏9a2，在方向指定栏9a5中选择向前，在起点指定栏9a6中将设备X1指示作为希望提取的依赖关系的起点，在类别指定开关栏9a7中指示进行类别指定（ON）。然后，在类别指定栏9a8指示Y设备，作为不提取进一步向前或向后的设备依赖关系的设备的类别（第1条件）。
下面，使用图10，对下述情况下的依赖关系的提取处理进行说明，即，选中基于设备类别而不进行进一步的依赖关系的提取处理的功能并使其有效的情况。图10是表示考虑了设备类别的依赖关系的提取处理的流程图。
在步骤S1中，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的起点设定指示，对希望提取的依赖关系的起点进行设定。例如，在图6所示的情况下，解析条件设定操作部9将设备X1设定作为希望提取的依赖关系的起点。解析条件设定操作部9将设定的希望提取的依赖关系的起点的信息供给至解析处理执行部13。
另外，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的第1条件设定指示，设定第1条件。例如，在图6所示的情况下，解析条件设定操作部9将Y设备设定作为第1条件，即作为不进一步提取向前或向后的设备依赖关系的设备类别。解析条件设定操作部9将设定的第1条件的信息供给至解析处理执行部 13。
在步骤S10中，变量依赖关系提取部15进行递归处理。具体而言，变量依赖关系提取部15进行以下的步骤S11至步骤S17的处理。
在步骤S11中，变量依赖关系提取部15以通过解析条件设定操作部9而设定的起点设备（例如，设备X1）为起点，提取设备的依赖关系。例如，变量依赖关系提取部15在指定了提取向前的设备依赖关系的情况下，从梯形图程序16中提取会受到起点设备影响的全部设备。或者，例如，在指定了提取向后的设备依赖关系的情况下，变量依赖关系提取部15从梯形图程序16中提取会对起点设备造成影响的全部设备。
在步骤S12中，变量依赖关系提取部15判断是否对提取出的全部设备完成了步骤S13至步骤S17的处理。变量依赖关系提取部15在没有完成（步骤S12为“否”）的情况下，使处理进入步骤S13，在完成（步骤S12为“是”）的情况下，结束处理。
在步骤S13中，变量依赖关系提取部15将提取出的全部设备中的1个未处理的设备，选择作为处理对象。
在步骤S14中，变量依赖关系提取部15判断作为处理对象的设备是否符合第1条件。例如，在图6所示的情况下，变量依赖关系提取部15判断作为处理对象的设备是否是不提取进一步向前或向后的设备依赖关系的设备类别（例如，Y设备）。变量依赖关系提取部15在符合第1条件（步骤S14为“是”）的情况下，使处理进入S17，在不符合第1条件（步骤S14为“否”）的情况下，使处理进入S15。
在步骤S15中，变量依赖关系提取部15将作为处理对象的设备设定为新的起点。
在步骤S16中，变量依赖关系提取部15以在步骤S15中设定的起点为第2起点设备，对设备的依赖关系进行提取。例如，在指定了提取向前的设备依赖关系的情况下，变量依赖关系提取部15从梯形图程序16中提取会受到第2起点设备影响的全部设备。或者，例如，在指定了提取向后的设备依赖关系的情况下，变量依赖关系提取部15从梯形图程序16中提取会对第2起点设备造成影响的全部设备。 在提取处理完成后，变量依赖关系提取部15使处理返回步骤S12。
在步骤S17中，对于作为处理对象的设备不进行进一步的依赖关系的提取处理，因此，变量依赖关系提取部15结束对于处理对象设备的处理。然后，变量依赖关系提取部15使处理返回步骤S12。
如上所述，通过选中基于设备类别而不进行进一步的依赖关系的提取处理的功能并使其有效的情况下的依赖关系的提取处理，从而将例如图7所示的有向图显示在显示画面4a上。图7是表示与考虑了设备类别的向前依赖关系提取结果例对应的有向图的图。图7中示出的有向图是通过以下方式获得的，即，在进行以设备X1为起点而提取向前依赖关系的处理的过程中，对于不符合第1条件的设备即设备M1，进一步进行依赖关系的提取处理，在进行至符合第1条件的设备即设备Y1、Y2、Y3（参照图4）时，不进行进一步的依赖关系的提取处理。
图4所示的有向图被筛选为图7所示的有向图，由此可知，通过选中基于设备类别而不进行进一步的依赖关系的提取处理的功能并使其有效，从而不对多个解析条件（解析命令、解析对象等）进行组合而指定，就能够对庞杂的依赖关系（的有向图）进行筛选。
图6例示了提取向前依赖关系的情况，与此相对，图8例示了提取向后依赖关系的情况。选中基于设备类别而不进行进一步的依赖关系的提取处理的功能并使其有效，此处可以指定X，作为不进行进一步的依赖关系的提取处理的设备类别。
例如，如图8所示，在解析条件设定操作画面9a中，选择2个解析选择栏9a1、9a2中的解析选择栏9a2，在方向指定栏9a5中选择向后，在起点指定栏9a6中将设备Y1指示作为希望提取的依赖关系的起点，在类别指定开关栏9a7中指示进行类别指定（ON）。然后，在类别指定栏9a8中指示X设备，作为不提取进一步向前或向后的设备依赖关系的设备的类别（第1条件）。
然后，如果执行按钮9a3被按下，则进行依赖关系的提取处理，在进行至输入X设备时，不进行进一步的依赖关系的提取处理。效果与图6的情况相同，例如，能够将图4所示的有向图筛选为图7 所示的有向图。
此外，作为对于PC来说的输入设备，不限于X设备，也包括作为通信的输入的B设备等，作为对于PC来说的输出设备，不限于Y设备，也包括作为通信的输出的B设备和作为错误输出的F设备等。因此，例如，在图6的例子中，作为起点设备，也可以代替X设备而指定B设备等，作为不进行进一步的依赖关系的提取处理的设备类别，也可以代替Y设备而指定B设备、F设备等。或者，例如，在图8的例子中，作为起点设备，也可以代替Y设备而指定B设备、F设备等，作为不进行进一步的依赖关系的提取处理的设备类别，也可以代替X设备而指定B设备等。
另外，如图11所示，解析条件设定操作画面9a也可以还具有类别指定开关栏9a7a。作为类别指定开关栏9a7a和类别指定开关栏9a7，例如，可以设为两者均不选择，但在选择的情况下，择一地选择一方。例如，如果选择（例如选中）了类别指定开关栏9a7，则是选择了设定与不提取进一步向前或向后的设备依赖关系的设备相关的第1条件。或者，例如，如果选择（例如，选中）了类别指定开关栏9a7a，则是选择了设定与提取进一步向前或向后的设备依赖关系的设备相关第2条件。
在该情况下，例如，为了对以Y设备为起点的依赖关系的提取进行抑制，在解析条件设定操作画面9a中，如图11所示，选中基于设备类别而进行进一步的依赖关系的提取处理的功能并使其有效，指定除了Y设备之外的设备作为第2条件，即进行进一步的依赖关系的提取处理的设备类别。例如，在图11中，在类别指定栏9a8中指示了X设备、M设备、B设备。
另外，使用图12，对下述情况下的依赖关系的提取处理进行说明，即，选中基于设备类别而进行进一步的依赖关系的提取处理的功能并使其有效的情况。图12所示的处理与图10所示的处理相比，以下方面不同。
在步骤S1a中，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的起点设定指示，设定希望提取的依赖关 系的起点。例如，在图11所示的情况下，解析条件设定操作部9设定设备X1，作为希望提取的依赖关系的起点。解析条件设定操作部9将所设定的希望提取的依赖关系的起点的信息供给至解析处理执行部13。
另外，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的第2条件设定指示，设定第2条件。例如，在图11所示的情况下，作为第2条件，即作为提取进一步向前或向后的设备依赖关系的设备类别，由解析条件设定操作部9设定X设备、M设备、B设备。解析条件设定操作部9将所设定的第2条件的信息供给至解析处理执行部13。
在步骤S14a中，变量依赖关系提取部15判断作为处理对象的设备是否符合第2条件。例如，在图11所示的情况下，变量依赖关系提取部15判断作为处理对象的设备是否是提取进一步向前或向后的设备依赖关系的设备类别（例如，X设备、M设备、B设备）。变量依赖关系提取部15在符合第2条件（步骤S14a为“是”）的情况下，使处理进入S15，在不符合第2条件（步骤S14a为“否”）的情况下，使处理进入S17。
如上所述，选中基于设备类别而进行进一步的依赖关系的提取处理的功能并使其有效，通过这种情况下的依赖关系的提取处理，也能够将例如图7所示的有向图显示在显示画面4a上。图7所示有向图也可以通过以下方式获得，即，在进行以设备X1为起点而提取向前依赖关系的处理的过程中，针对符合第2条件的设备即设备M1，进一步进行依赖关系的提取处理，在进行至不符合第2条件的设备即设备Y1、Y2、Y3（参照图4）时，不进行进一步的依赖关系的提取处理。
也可以构成为，如果从以上述方式提取并显示的依赖关系（的有向图）中选择1个设备，则变量依赖关系显示处理部12指示回路显示处理部19仅显示对该选择的设备进行线圈输出的梯形图回路，或者，既显示按照第1提取结果的设备依赖关系的整体，也显示对该选择的设备进行线圈输出的梯形图回路。从而成为图9所示的显示的 结构，有助于更进一步提高解析作业的效率。依赖关系（的有向图）是将其他信息从梯形图的控制构造中剔除而仅提取依赖关系得到的，从而辅助从大局的角度掌握梯形图的控制构造，因此，不仅显示依赖关系（的有向图），同时显示与其中希望注意的部分相当的梯形图回路以局部地进行详细确认，其有助于更进一步提高解析作业效率。
此外，也可以在从提取并显示的依赖关系（的有向图）中选择出1个设备时，将该选择的设备以能够与依赖关系（的有向图）中的其他设备进行区别的显示方式显示。例如，也可以如图9所示，通过从设备Y3指向所显示的梯形图回路而显示虚线箭头，从而使所显示的梯形图回路中被线圈输出的设备Y3，与按照第1提取结果的依赖关系（的有向图）中的设备Y3相关联地显示。
另外，能够在梯形图回路的显示中同时显示赋予给设备的设备注释17（参照图2），同样地，在依赖关系（的有向图）的显示中，也能够同时显示赋予给设备的设备注释17。
如上所述，在实施方式1中，解析条件设定操作部9设定与不提取进一步向前或向后的设备依赖关系的设备相关的第1条件、或者提取进一步向前或向后的设备依赖关系的设备相关的第2条件。变量依赖关系提取部15以对符合第1条件的设备不提取进一步向前或向后的设备依赖关系，且对符合第2条件的设备提取进一步向前或向后的设备依赖关系的方式，以由解析条件设定操作部9设定的起点为起点，从梯形图程序16中提取向前或向后的设备依赖关系，生成第1提取结果。变量依赖关系显示处理部12按照第1提取结果，进行设备依赖关系显示。由此，通过使用第1条件或第2条件，从而能够利用设备依赖关系的方向性，高效地筛选设备依赖关系。其结果，即使不对多个解析条件（解析命令、解析对象等）进行组合并指定，也能够从庞杂的依赖关系（的有向图）中仅提取与故障密切相关的依赖关系（的有向图）。即，在使用生产装置所具有的显示器和操作按钮进行调试作业的情况下，能够以很少的操作量从庞杂的依赖关系（的有向图）中提取出与故障密切相关的依赖关系（的有向图）并进行显示。
另外，在实施方式1中，作为第1条件，解析条件设定操作部9 设定不提取进一步向前或向后的设备依赖关系的设备类别（例如，Y设备）。或者，作为第2条件，解析条件设定操作部9设定提取进一步向前或向后的设备依赖关系的设备类别。变量依赖关系提取部15以对符合不进行提取的设备类别（第1条件）的设备不提取进一步向前或向后的设备依赖关系，且对符合进行提取的设备类别（第2条件）的设备提取进一步向前或向后的设备依赖关系的方式，以由解析条件设定操作部9设定的起点为起点，从梯形图程序16中提取向前或向后的设备依赖关系，生成第1提取结果。由此，通过使用第1条件或第2条件，从而能够利用设备依赖关系的方向性，高效地筛选设备依赖关系。
另外，在实施方式1中，在从按照第1提取结果的设备依赖关系中指定了1个设备时，回路显示处理部19选择性地显示对所指定的设备进行线圈输出的梯形图回路，或者，显示按照第1提取结果的设备依赖关系的整体，同时选择性地显示对所指定的设备进行线圈输出的梯形图回路。由此，能够辅助使用依赖关系（的有向图）而从大局的角度掌握梯形图的控制构造，并且，能够辅助局部地对其中希望注意的部分进行详细确认。其结果，能够进一步提高解析作业的效率。
实施方式2
接着，对于实施方式2涉及的程序解析辅助装置进行说明。以下，以与实施方式1不同的部分为中心进行说明。
作为提取出的设备及依赖关系庞大的原因，还有实施方式1中所述的原因以外的原因。即，存在在多个位置作为接点被参照的M设备。如果存在这样的M设备，则有可能无法充分地筛选依赖关系（的有向图）。
因此，在实施方式2中，针对用于应对存在在多个位置作为接点被参照的（参照次数较多）M设备的情况的机制进行说明。
M设备是内部使用的设备，用于进行处理结果的暂时保持。由此，M设备用于暂时保持什么性质的内容，是由梯形图生成者决定的。然而，M设备的使用目的大致分为以下两种情况，即，单纯地暂时保持处理结果的情况，和保持进行对象的计测控制所必需的控制 器的内部状态的情况。
单纯地暂时保持处理结果的M设备，其作为接点被参照的次数较少。与此相对，用于保持控制器的内部状态的M设备，其作为接点被参照的次数明显较多。这是因为，在各种计测控制功能中，控制器的内部状态对于联锁条件的确认等非常重要。
即，用于保持控制器的内部状态的M设备，虽然不会将其值实际输出至控制器外部，但其作用超出了单纯地暂时保持处理结果，实际上起到与Y设备同等的作用。因此，如实施方式1中所述，进行依赖关系的提取处理直至该M设备进一步作为接点被参照为止这一做法，必然导致进一步进行以该M设备为起点的依赖关系的提取，而超过原本的依赖关系的提取范围。
着眼于此，在实施方式2中，对于作为接点被参照的次数、即会受到该设备影响的其他设备的数量大于或等于指定的阈值的设备，不进行进一步的依赖关系的提取处理。即，作为第1条件，解析条件设定操作部9设定从起点设备开始的包含起点设备在内的设备的参照次数（的阈值）。
图13示出下述情况，即，选中基于参照次数而不进行进一步的依赖关系的提取处理的功能并使之有效，将3次指定为不进行进一步的依赖关系的提取处理的参照次数阈值。
例如，在次数指定开关栏9a9中，指示进行参照次数的指定（ON）及不进行参照次数的指定（OFF）中的某一个。在图13中，例示了指示进行参照次数的指定（ON）的情况。在次数指定开关栏9a9中，例如，也可以通过选中而指示进行参照次数的指定（ON），通过取消选中而指示不进行参照次数的指定（OFF）。
在次数指定栏9a10中，指示从起点设备开始的包含起点设备在内的设备的参照次数阈值。在图13中，例示了将3次指示为参照次数的阈值的情况。例如，在方向指定栏9a5中选择向前，在起点指定栏9a6中指示了设备X1，在次数指定开关栏9a9中指示进行参照次数的指定（ON），在次数指定栏9a10中指示了3（次）的情况下，如果在以设备X1为起点向前追寻设备依赖关系时，发生了包含设备 X1在内，参照了大于或等于3次设备的情况，则不提取进一步向前的设备依赖关系。
下面，使用图15，对下述情况下的依赖关系的提取处理进行说明，即，选中基于设备的参照使用次数而不进行进一步的依赖关系的提取处理的功能并使之有效的情况。图15是表示考虑了参照次数的依赖关系提取处理的流程图。
在步骤S21中，解析条件设定操作部9判断是否指定了参照次数的阈值。解析条件设定操作部9在指定了参照次数的阈值（步骤S21为“是”）的情况下，使处理进入步骤S23，在没有指定参照次数的阈值（步骤S21为“否”）的情况下，使处理进入步骤S22。
在步骤S22中，解析条件设定操作部9指示变量使用状况提取部14提取设备使用状况柱状图。例如，变量使用状况提取部14识别到经由解析条件设定操作部9而被指示进行使用状况提取。例如，在选择了解析选择栏9a1的情况下，变量使用状况提取部14识别为被指示进行使用状况提取（参照图16）。例如，变量使用状况提取部14如果识别到其被指示进行使用状况提取，则提取设备的使用状况。变量使用状况提取部14生成设备的使用状况的提取结果，并供给至变量使用状况显示处理部11。
变量使用状况显示处理部11例如从变量使用状况提取部14接收设备的使用状况的提取结果。变量使用状况显示处理部11使用设备的使用状况的提取结果而生成显示信息，按照生成的显示信息，将设备的使用状况的提取结果显示在显示部4的显示画面4a上。例如，变量使用状况显示处理部11生成将设备的使用状况的提取结果汇总为图表的图表信息，并按照图表信息，将设备的使用状况的提取结果以图表的方式显示在显示部4的显示画面4a上。
例如，变量使用状况显示处理部11使用设备的使用状况的提取结果，在显示画面4a上显示以设备数量为纵轴、以接点参照次数为横轴的设备使用状况柱状图（参照图17）。由此，阅览过设备使用状况柱状图的用户，能够按照设备使用状况柱状图的分布，确定参照次数的阈值。
例如，在设备使用状况柱状图的分布为多峰性的情况下，用户能够将与第1极小点对应的接点参照次数（例如，在图17的情况下是6次）确定为参照次数的阈值。另外，例如，在设备使用状况柱状图的分布为单峰性的情况下，用户能够将默认值（例如，3次）确定为参照次数的阈值。
然后，解析条件设定操作部9对应于用户操作8，指示变量依赖关系提取部15进行设备依赖关系的提取。例如，变量依赖关系提取部15识别到经由解析条件设定操作部9而被指示对设备依赖关系进行提取。例如，在选择了解析选择栏9a2的情况下，变量使用状况提取部14识别到其被指示对设备依赖关系进行提取（参照图13）。
在步骤S23中，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的起点设定指示，设定希望提取的依赖关系的起点。例如，在图6所示的情况下，解析条件设定操作部9将设备X1设定作为希望提取的依赖关系的起点。解析条件设定操作部9将所设定的希望提取的依赖关系的起点的信息供给至解析处理执行部13。
另外，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的第1条件设定指示，设定第1条件。例如，在图13所示的情况下，作为第1条件，即，作为用于不提取进一步向前或向后的设备依赖关系的参照次数阈值，解析条件设定操作部9设定为3次。解析条件设定操作部9将所设定的第1条件的信息供给至解析处理执行部13。
在步骤S30中，变量依赖关系提取部15进行递归处理。具体而言，变量依赖关系提取部15进行与实施方式1的递归处理（步骤S10）基本相同，但以下方面不同的处理。
在步骤S34中，变量依赖关系提取部15判断作为处理对象的设备的参照使用次数是否大于或等于在步骤S23中设定的阈值。例如，在图13所示的情况下，变量依赖关系提取部15判断作为处理对象的设备的参照使用次数是否大于或等于3次。变量依赖关系提取部15在大于或等于阈值（步骤S34为“是”）的情况下，使处理进入S17， 在没有大于或等于阈值（步骤S34为“否”）的情况下，使处理进入S15。
如上所述，通过选中基于设备的参照使用次数而不进行进一步的依赖关系的提取处理的功能并使之有效的情况下的依赖关系的提取处理，将例如图14所示的有向图显示在显示画面4a上。图14是表示与考虑了参照次数的向前依赖关系提取结果例对应的有向图的图。由于指定了3次作为阈值，因此，对于参照次数小于3次的设备即设备M1、Y3，进一步进行依赖关系的提取处理，而对于参照次数大于或等于3的设备M2、M3，不进行进一步的依赖关系的提取处理。
从图4所示的有向图被筛选为图14所示的有向图可知，通过选中基于设备的参照使用次数而不进行进一步的依赖关系的提取处理的功能并使之有效，从而不对多个解析条件（解析命令、解析对象等）进行组合并指定，也能够对庞杂的依赖关系（的有向图）进行筛选。
此外，也可以在对提取出的依赖关系进行显示时，对于参照次数大于或等于阈值而停止进行进一步依赖关系提取的设备，还同时显示各自的参照次数。
实际上，应将多大的值设定为阈值，是由所生成的梯形图程序决定的。然而，即使是梯形图生成者本人，也很难适当地设定该阈值。因此，设置以下功能，即，针对各设备以何种程度作为接点被参照使用，将其参照次数作为使用状况而提取出的功能，即设备的接点参照次数的柱状图功能。
图16中示出选择了提取设备的使用状况的功能的情况。在该情况下，解析条件的设定并不是必须的。图17是其执行结果的一个例子。从该柱状图可知，接点参照次数为1次、即在程序中作为接点使用为1处这样的设备有40个。而且，图17示出了以下例子：接点参照次数较多的设备的数量处于减少的趋势，接点参照次数为6次、7次的设备为0个，与此相对，接点参照次数为8次的设备存在多个。
对于通常的梯形图程序，如果提取这种设备的使用状况，则大多情况下表现出大致图17所示的趋势，即，柱状图的形状不是单峰性而是多峰性的。
这与例如下述趋势对应，即，M设备的使用目的大致分为单纯地暂时保持处理结果和保持进行对象的计测控制所必需的控制器的内部状态这两种情况，单纯地暂时保持处理结果的M设备的接点参照次数较少，但这种M设备的数量多。并且，其进一步与下述情况对应，即，用于保持进行对象的计测控制所必需的控制器的内部状态的M设备，对于联锁条件的确认等来说非常重要，因此，这种M设备在各种计测控制功能中被参照，因此，接点参照次数较多，但这种M设备的数量有限。
能够基于以上述方式获得的接点参照次数的柱状图的结果，确定不进行进一步的依赖关系提取处理的参照次数的值。具体而言，在获得了图17所示的接点参照次数的柱状图的情况下，可以指定例如与第1极小点对应的6次，作为不进行进一步的依赖关系的提取处理的参照次数阈值。这是因为，在图17的情况下，可将6至7次的接点参照次数视为单纯地暂时保持处理结果的设备和用于保持进行对象的计测控制所必需的控制器内部状态的设备的分界点即阈值。
此外，也可以构成为自动地进行上述动作。即，构成为无需用户明确地指示进行设备使用状况提取并找出阈值。例如，可以考虑下述结构，即，在仅选中次数指定功能而没有输入其阈值的情况下，在进行依赖关系的提取处理之前，自动地提取设备使用状况，并从其柱状图中提取第1极小点，采用该第1极小值点作为阈值，进行依赖关系的提取处理。
由此，即使不将多个解析条件（解析命令、解析对象等）进行组合并指定，也能够对庞杂的依赖关系（的有向图）进行筛选。
除了M设备以外的设备类别，也存在参照次数增多的情况，无需将设备类别限定为M设备，均可使用实施方式2。
在实施方式2中，向后依赖关系的提取也与向前依赖关系的提取相同。特别是在提取向前的依赖关系时，筛选的效果显著。
此外，能够将实施方式1和实施方式2组合而实施。由此，能够进一步进行筛选。
如上所述，在实施方式2中，作为设定第1条件（例如，参照 次数的阈值）时的参考信息，变量使用状况提取部14（参照图2）针对设备而从梯形图程序中提取与设备在多个梯形图行中作为接点被参照使用的次数相关的柱状图。由此，能够对应于柱状图的提取结果，确定作为单纯地暂时保持处理结果的设备和保持进行对象的计测控制所必需的控制器内部状态的设备之间的分界点即次数的阈值，作为第1条件，例如能够确定不进行进一步的依赖关系的提取处理的参照次数阈值。
另外，在实施方式2中，作为第1条件，解析条件设定操作部9设定不提取进一步向前或向后的设备依赖关系的参照次数阈值。变量依赖关系提取部15以对于符合不进行提取的参照次数的阈值（第1条件）、即其参照次数大于或等于阈值的设备，不提取进一步向前或向后的设备依赖关系的方式，以由解析条件设定操作部9设定的起点为起点，从梯形图程序16中提取向前或向后的设备依赖关系，并生成第1提取结果。由此，通过使用第1条件，从而能够利用设备依赖关系的方向性而高效地筛选设备依赖关系。
实施方式3
下面，对实施方式3涉及的程序解析辅助装置进行说明。以下，以与实施方式2不同的部分为中心进行说明。
在实施方式2中，着眼于在多个位置作为接点被参照的M设备，但关于内部使用的M设备中重要的那些M设备，除了其作为接点被参照的次数较多之外，对该M设备直接造成影响的设备的数量，即，在该M设备成为线圈的梯形图1行中，对该线圈进行控制的接点的数量有时也较多。图18是上述的梯形图的一个例子，如果针对这种梯形图程序提取向后的依赖关系，则可获得图19所示的有向图，可知提取结果处于发散的趋势。
因此，在实施方式3中，对用于应对下述情况的机制进行说明，即，在M设备成为线圈的梯形图1行中，对该线圈进行控制的接点的数量（控制依赖次数）较多的情况。
实施方式2中所述的作为接点被参照的次数较多的M设备，从进行控制器的内部状态保持这一控制角度来说很重要，相对于此，实 施方式3中所述的对其线圈进行控制的接点较多的M设备，从对该M设备进行开/关控制的条件非常复杂而容易引起故障这一角度来说很重要。
着眼于此，在实施方式3中，对于该设备成为线圈的梯形图1行中的接点的数量，即会对该设备直接造成影响的其他设备的数量超过控制依赖次数的阈值的设备，不进行进一步的依赖关系的提取处理。即，解析条件设定操作部9进行控制依赖次数（的阈值）的设定作为第1条件，其中，该控制依赖次数表示在1个梯形图行中从几个接点受到控制依赖。
图20示出下述情况，即，选中基于控制依赖次数而不进行进一步的依赖关系的提取处理的功能并使之有效，将3次指定为不进行进一步的依赖关系提取处理的线圈的控制依赖次数阈值，其中，控制依赖次数表示在梯形图1行中，对该线圈进行控制的接点的数量。
例如，解析条件设定操作画面9a还可以具有次数指定开关栏9a9a。作为次数指定开关栏9a9a和次数指定开关栏9a9，可以设为两者均不选择，但在选择的情况下，择一地选择。
例如，在次数指定开关栏9a9a中，指示进行控制依赖次数的指定（ON）以及不进行控制依赖次数的指定（OFF）中的某一个。在图20中，例示了指示进行控制依赖次数的指定（ON）的情况。例如，在次数指定开关栏9a9a中，也可以通过选中而指示进行控制依赖次数的指定（ON），通过取消选中而指示不进行控制依赖次数的指定（OFF）。
在次数指定栏9a10中指示控制依赖次数的阈值，其中，该控制依赖次数表示在梯形图1行中对该线圈进行控制的接点的数量。在图20中例示了作为控制依赖次数的阈值而指示3次的情况。例如，在方向指定栏9a5中选择向后，在起点指定栏9a6中指示了设备Y1，在次数指定开关栏9a9a中指示进行控制依赖次数的指定（ON），在次数指定栏9a10中指示了3（次），在这种情况下，在以设备Y1为起点而向后追寻设备依赖关系时，如果出现了在梯形图1行中控制依赖的次数大于或等于3次的线圈（例如，图18所示的设备M11、 M12），则不提取进一步向后的设备依赖关系。
使用图22，对于下述情况下的依赖关系的提取处理进行说明，即，选中基于设备成为线圈的梯形图1行中的线圈的控制依赖次数而不进行进一步的依赖关系的提取处理的功能并使之有效的情况。图22是表示考虑了控制依赖次数的依赖关系的提取处理的流程图。
在步骤S41中，解析条件设定操作部9判断是否指定了控制依赖次数的阈值。解析条件设定操作部9在指定了控制依赖次数的阈值（步骤S41为“是”）的情况下，使处理进入步骤S43，在没有指定控制依赖次数的阈值（步骤S41为“否”）的情况下，使处理进入步骤S42。
在步骤S42中，解析条件设定操作部9指示变量使用状况提取部14对设备使用状况柱状图进行提取。例如，变量使用状况提取部14识别到经由解析条件设定操作部9而被指示进行使用状况提取。例如，在选择了解析选择栏9a1的情况下，变量使用状况提取部14识别到其被指示进行使用状况提取（参照图16）。例如，如果变量使用状况提取部14识别到其被指示进行使用状况提取，则提取设备的使用状况。变量使用状况提取部14生成设备的使用状况的提取结果，并供给至变量使用状况显示处理部11。
变量使用状况显示处理部11例如从变量使用状况提取部14接收设备的使用状况的提取结果。变量使用状况显示处理部11使用设备的使用状况的提取结果而生成显示信息，按照生成的显示信息，将备的使用状况的提取结果显示在显示部4的显示画面4a上。例如，变量使用状况显示处理部11生成将设备的使用状况的提取结果汇总为图表的图表信息，按照图表信息，将设备的使用状况的提取结果以图表的方式显示在显示部4的显示画面4a上。
例如，变量使用状况显示处理部11使用设备的使用状况的提取结果，将以设备数量为纵轴、以控制依赖次数为横轴的设备使用状况柱状图（例如，在图17中将横轴置换为控制依赖次数）显示在显示画面4a上。由此，阅览过设备使用状况柱状图的用户，能够对应于设备使用状况柱状图的分布，确定控制依赖次数的阈值。
例如，在设备使用状况柱状图的分布为多峰性的情况下，用户能够将与第1极小点对应的控制依赖次数（例如，在图17中将横轴置换为控制依赖次数的情况下，为6次）确定为控制依赖次数的阈值。另外例如，在设备使用状况柱状图的分布为单峰性的情况下，用户能够将默认值（例如，3次）确定为控制依赖次数的阈值。
然后，解析条件设定操作部9对应于用户操作8，指示变量依赖关系提取部15进行设备依赖关系的提取。例如，变量依赖关系提取部15识别到经由解析条件设定操作部9而被指示进行设备依赖关系的提取。例如，在选择了解析选择栏9a2的情况下，变量使用状况提取部14识别到其被指示进行设备依赖关系的提取（参照图20）。
在步骤S43中，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的起点设定指示，设定希望提取的依赖关系的起点。例如，在图20所示的情况下，解析条件设定操作部9将设备Y1设定作为希望提取的依赖关系的起点。解析条件设定操作部9将所设定的希望提取的依赖关系的起点的信息供给至解析处理执行部13。
另外，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的第1条件设定指示，设定第1条件。例如，在图20所示的情况下，作为第1条件，即作为用于不提取进一步向前或向后的设备依赖关系的控制依赖次数的阈值，由解析条件设定操作部9设定为3次。解析条件设定操作部9将所设定的第1条件的信息供给至解析处理执行部13。
在步骤S50中，变量依赖关系提取部15进行递归处理。具体而言，变量依赖关系提取部15进行与实施方式1的递归处理（步骤S10）基本相同，但以下方面不同的处理。
在步骤S54中，变量依赖关系提取部15判断对作为处理对象的设备进行控制的接点数量即控制依赖次数，是否大于或等于在步骤S43中设定的阈值。例如，在图20所示的情况下，变量依赖关系提取部15判断控制依赖次数是否大于或等于3次。变量依赖关系提取部15在大于或等于阈值（步骤S54为“是”）的情况下，使处理进 入S17，在没有大于或等于阈值（步骤S54为“否”）的情况下，使处理进入S15。
如上所述，通过选中基于设备成为线圈的梯形图1行中的线圈的控制依赖次数而不进行进一步的依赖关系的提取处理的功能并使之有效的情况下的依赖关系的提取处理，将例如图21所示的有向图显示在显示画面4a上。图21是表示与考虑了控制依赖次数的向后依赖关系提取结果例对应的有向图的图。由于指定了3次作为阈值，因此，对于控制依赖次数低于3次的设备M1，进一步进行依赖关系的提取处理，而对于控制依赖次数大于或等于3次的设备M11、M12（参照图19），不进行进一步的依赖关系的提取处理。
从图19所示的有向图被筛选为图21所示的有向图可知，通过选中基于设备成为线圈的梯形图1行中的线圈的控制依赖次数而不进行进一步的依赖关系的提取处理的功能并使之有效，从而不对多个解析条件（解析命令、解析对象等）进行组合并指定，也能够对庞杂的依赖关系（的有向图）进行筛选。
此外，在对提取出的依赖关系进行显示时，对于控制依赖次数大于或等于阈值而停止进行进一步依赖关系提取的设备，还能够同时显示各自的控制依赖次数。
实际上，应将多大的值设定为阈值，是由所生成的梯形图程序决定的，这一点与实施方式2中所述的情况相同，因此设置下述功能：针对在各设备成为线圈的梯形图1行中由何种程度的接点数（控制依赖次数）进行控制，将该接点数（控制依赖次数）作为使用状况而提取出的功能，即设备的控制接点数（控制依赖次数）的柱状图功能。其内容等也与实施方式2相同。
在实施方式3中，向后依赖关系的提取也与向前依赖关系的提取相同。特别是在提取向后的依赖关系时，筛选效果显著。
此外，也可以将实施方式1至3适当地组合而实施。例如，可以按照实施方式1和实施方式3、实施方式2和实施方式3、实施方式1和实施方式2和实施方式3的方式，适当地组合而实施。由此，能够进行进一步的筛选。
如上所述，在实施方式3中，作为设定第1条件（例如，控制依赖次数的阈值）时的参考信息，变量使用状况提取部14（参照图2）针对设备而从梯形图程序中提取与表示在1个梯形图行中从几个接点受到控制依赖的次数相关的柱状图。由此，能够对应于柱状图的提取结果，确定出开/关控制的条件非常复杂而容易引起故障的设备和除此之外的设备的分界点即阈值，作为第1条件，例如，能够确定不进行进一步的依赖关系的提取处理的控制依赖次数阈值。
另外，在实施方式3中，作为第1条件，解析条件设定操作部9设定不提取进一步向前或向后的设备依赖关系的控制依赖次数阈值。变量依赖关系提取部15以对于符合不进行提取的控制依赖次数的阈值（第1条件）、即其控制依赖次数大于或等于阈值的设备，不提取进一步向前或向后的设备依赖关系的方式，以由解析条件设定操作部9设定的起点为起点，从梯形图程序16中提取向前或向后的设备依赖关系，生成第1提取结果。由此，通过使用第1条件，从而能够利用设备依赖关系的方向性，高效地筛选设备依赖关系。
实施方式4
下面，对实施方式4涉及的程序解析辅助装置进行说明。以下，以与实施方式2及实施方式3不同的部分为中心进行说明。
如实施方式2及实施方式3所示，内部使用的M设备中重要的那些M设备，大多是自保持的。
因此，在实施方式4中，对用于应对自保持设备的机制进行说明。
在此，自保持是指图23所示的梯形图的情况，如果设备X5变为ON，则设备M5变为ON，而且，即使设备X5变为OFF，设备M5继续保持为ON，因此称为自保持。为了将继续保持为ON的设备M5变为OFF，将设备X6或设备X7变为ON即可。因此，对于设备M5来说，可将设备X5位置处所记述的接点视为ON条件的依赖关系，将设备X6或设备X7位置处所记述的接点视为OFF条件的依赖关系。
如上所述，自保持的设备是保持状态的设备，因此，大多在控 制中起到重要的作用。
着眼于此，在实施方式4中，对于在梯形图1行中既作为接点也作为线圈使用的自保持设备，不进行进一步的依赖关系的提取处理。
图24示出下述情况，即，选中基于设备类别而不进行进一步的依赖关系的提取处理的功能并使之有效，作为不进行进一步的依赖关系的提取处理的设备类别，指定为自保持。
例如，如图24所示，在解析条件设定操作画面9a中，在2个解析选择栏9a1、9a2中选择解析选择栏9a2，在方向指定栏9a5中选择向前，在起点指定栏9a6中将设备X1指示作为希望提取的依赖关系的起点，在类别指定开关栏9a7中指示进行类别指定（ON）。并且，在类别指定栏9a8中将自保持设备指示作为不提取进一步向前或向后的设备依赖关系的设备的类别（第1条件）。
使用图25，对于下述情况下的依赖关系的提取处理进行说明，即，选中基于设备类别而不进行进一步的依赖关系的提取处理的功能并使之有效的情况。图25是表示考虑了自保持设备的依赖关系提取处理的流程图。
在步骤S61中，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的起点设定指示，设定希望提取的依赖关系的起点。例如，在图24所示的情况下，解析条件设定操作部9将设备X1设定作为希望提取的依赖关系的起点。解析条件设定操作部9将所设定的希望提取的依赖关系的起点的信息供给至解析处理执行部13。
另外，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的第1条件设定指示，设定第1条件。例如，在图24所示的情况下，作为第1条件，即作为不提取进一步向前或向后的设备依赖关系的设备类别，解析条件设定操作部9设定为自保持设备。解析条件设定操作部9将所设定的第1条件的信息供给至解析处理执行部13。
在步骤S70中，变量依赖关系提取部15进行递归处理。具体而 言，变量依赖关系提取部15进行与实施方式1的递归处理（步骤S10）基本相同，但以下方面不同的处理。
在步骤S74中，变量依赖关系提取部15判断作为处理对象的设备是否是自保持设备。变量依赖关系提取部15在是自保持设备（步骤S74为“是”）的情况下，使处理进入S17，在不是自保持设备（步骤S74为“否”）的情况下，使处理进入S15。
如上所述，通过选中基于设备类别而不进行进一步的依赖关系的提取处理的功能并使之有效的情况下的依赖关系的提取处理，即使不将多个解析条件（解析命令、解析对象等）进行组合并指定，也能够对庞杂的依赖关系（的有向图）进行筛选。
此外，在实施方式4中，向后依赖关系的提取也与向前依赖关系的提取相同。
另外，能够将实施方式1至4适当地组合而实施。由此，能够进行进一步的筛选。
如上所述，在实施方式4中，作为第1条件，解析条件设定操作部9设定不提取进一步向前或向后的设备依赖关系的设备类别（例如，自保持设备）。变量依赖关系提取部15以对于符合不进行提取的设备类别（第1条件）的设备，不提取进一步向前或向后的设备依赖关系的方式，以由解析条件设定操作部9设定的起点为起点，从梯形图程序16中提取向前或向后的设备依赖关系，并生成第1提取结果。由此，通过使用第1条件，从而能够利用设备依赖关系的方向性，高效地筛选设备依赖关系。
实施方式5
下面，对实施方式5涉及的程序解析辅助装置进行说明。以下，以与实施方式1至4不同的部分为中心进行说明。
根据实施方式1至4，能够对庞杂的依赖关系进行筛选，但在作为通过上述方式筛选出的结果而获得的依赖关系中，当然没有包含会受到作为起点的设备影响的全部设备或会对作为起点的设备造成影响的全部设备。其原因在于，现有的依赖关系提取会超过希望提取的依赖关系的提取范围，进行进一步的依赖关系的提取，实施方式1 至4就是为了防止这一问题。
因此，在实施方式5中，考虑对于会受到作为起点的设备影响的全部设备或会对作为起点的设备造成影响的全部设备，不将其提取为1个庞杂的依赖关系，而将其提取为由适当筛选后的多个依赖关系构成的集合。
例如，对于图5的梯形图程序，在以设备X1为起点的情况下，通过现有的依赖关系提取会提取出图4，而在实施方式1中，是作为如图7所示筛选后的结果而提取的，但是，以这样获得的图7的终点之一即设备Y3为新的起点，能够另外提取进一步的依赖关系。这样获得的2个依赖关系，相当于是基于设备Y3而对以设备X1为起点且不进行筛选所获得的1个依赖关系进行分割得到的。
如上所述，与对1个庞杂的依赖关系进行确认相比，对由适当筛选后的多个依赖关系构成的集合进行确认更容易理解。而且，上述多个依赖关系是由在梯形图处理方面具有重要的意义的设备，将1个庞杂的依赖关系分割开而得到的，因此更容易理解。
作为用于实施上述处理的方法，针对筛选出的依赖关系的终点，自动地设为新的起点，另外提取进一步的依赖关系。即，将与实施方式1至4同样地提取出的设备依赖关系中的各终点设为新的起点，另外提取进一步的设备依赖关系。
例如，变量依赖关系提取部14针对按照第1提取结果的设备依赖关系中的终点设备，另外提取以该终点设备为起点的设备依赖关系，生成第2提取结果。变量依赖关系提取部14将所生成的第2提取结果供给至变量依赖关系显示处理部12。
变量依赖关系显示处理部12从变量依赖关系提取部14接收第2提取结果。例如，变量依赖关系显示处理部12按照第1提取结果显示设备依赖关系，并且按照第2提取结果显示设备依赖关系。例如，变量依赖关系显示处理部12以彼此能够区分的方式，将按照第1提取结果的设备依赖关系的有向图和按照第2提取结果的设备依赖关系的有向图，显示在显示画面4a上（参照图27）。即，变量依赖关系显示处理部12基于第1提取结果及第2提取结果，将以通过解析 条件设定操作部9设定的起点为起点的设备依赖关系（参照图4）分割为大于或等于2个的设备依赖关系并显示（参照图27）。
使用图26，对于将与实施方式1至4同样地提取出的设备依赖关系中的各终点设为新的起点，另外提取进一步的设备依赖关系的处理进行说明。图26是表示将提取出的依赖关系的终点自动地设为新起点的提取处理的流程图。
在步骤S81中，进行与实施方式1至4同样的前处理。例如，解析条件设定操作部9进行与实施方式1的步骤S1（参照图10）同样的处理。或者，例如，解析条件设定操作部9及变量使用状况提取部14进行与实施方式2的步骤S21至步骤S23（参照图15）同样的处理。或者，例如，解析条件设定操作部9及变量使用状况提取部14进行与实施方式3的步骤S41至步骤S43（参照图22）同样的处理。或者，例如，解析条件设定操作部9进行与实施方式4的步骤S61（参照图25）同样的处理。
在步骤S82中，变量依赖关系提取部15进行与实施方式1至4同样的递归处理。例如，在步骤S81中进行了实施方式1的前处理的情况下，变量依赖关系提取部15进行与实施方式1的步骤S10（参照图10）同样的处理。或者，例如，在步骤S81中进行了实施方式2的前处理的情况下，变量依赖关系提取部15进行与实施方式2的步骤S30（参照图15）同样的处理。或者，例如，在步骤S81中进行了实施方式3的前处理的情况下，变量依赖关系提取部15进行与实施方式3的步骤S50（参照图22）同样的处理。或者，例如，在步骤S81中进行了实施方式4的前处理的情况下，变量依赖关系提取部15进行与实施方式4的步骤S70（参照图25）同样的处理。由此，变量依赖关系提取部15对设备依赖关系进行提取。
在步骤S90中，变量依赖关系提取部15进行递归处理。具体而言，变量依赖关系提取部15进行以下的步骤S91至步骤S96的处理。
在步骤S91中，变量依赖关系提取部15判断是否已经将在步骤S82中提取出的设备依赖关系中的全部终点设备设为起点。变量依赖关系提取部15在已经将全部终点设备设为起点（步骤S91为“是”） 的情况下，结束处理，在还没有将全部终点设备设为起点（步骤S91为“否”）的情况下，使处理进入步骤S92。
在步骤S92中，变量依赖关系提取部15选择在步骤S82中提取出的设备依赖关系中的全部终点设备中的1个未处理的设备，作为处理对象。变量依赖关系提取部15将所选择的设备设定为新的起点。
在步骤S93中，变量依赖关系提取部15通过与在步骤S82中执行的相同的实施方式的方式，提取设备依赖关系。
在步骤S94中，变量依赖关系提取部15判断在步骤S93中是否进行了进一步的依赖关系的提取。变量依赖关系提取部15在进行了进一步的依赖关系的提取（步骤S94为“是”）的情况下，使处理进入步骤S95，在没有进行进一步的依赖关系的提取（步骤S94为“否”）的情况下，使处理返回步骤S91。
在步骤S95中，变量依赖关系提取部15将作为处理对象的设备设定为新的起点。
在步骤S96中，变量依赖关系提取部15将在步骤S95中设定的起点设为第2起点设备，提取设备的依赖关系。例如，变量依赖关系提取部15在指定了提取向前的设备依赖关系的情况下，从梯形图程序16中提取会受到第2起点设备影响的全部设备。或者，例如，变量依赖关系提取部15在指定了提取向后的设备依赖关系的情况下，从梯形图程序16中提取会对第2起点设备造成影响的全部设备。在提取处理完成后，变量依赖关系提取部15使处理返回步骤S91。
根据该方法，对于图5的梯形图程序来说，在以设备X1为起点的情况下，能够提取出图27所示的依赖关系。在图27中，与选项卡（tab）“X1”一起显示以设备X1为起点而与实施方式1同样地提取出的设备依赖关系的有向图，对于提取出的设备依赖关系中的终点设备Y3，另外与选项卡“Y3”一起显示以终点设备Y3为起点的设备依赖关系的有向图。
此外，对于符合解析条件设定操作部9所指定的条件的设备，也可以基于符合所指定的条件的设备，将1个设备依赖关系分割为大于或等于2个的设备依赖关系并显示，其中，该1个设备依赖关系是 代替在变量依赖关系提取部15中对其进行考虑和筛选，通过在变量依赖关系显示部12中考虑且不进行筛选而获得的。这只不过是将在变量依赖关系提取部15中处理的设备依赖关系的分割处理，转移至变量依赖关系显示部12，因此，实质的处理内容相同。
如上所述，在实施方式5中，对于按照第1提取结果的设备依赖关系中的终点设备，变量依赖关系提取部15另外提取以该终点设备为起点的设备依赖关系，生成第2提取结果。变量依赖关系显示处理部12基于第1提取结果及第2提取结果，将以通过解析条件设定操作部9设定的起点为起点的设备依赖关系（参照图4），分割为大于或等于2个的设备依赖关系并显示（参照图27）。由此，能够以容易理解的方式，将1个庞杂的依赖关系提取为适当筛选后的依赖关系的集合，其中，该依赖关系的集合是由在梯形图处理方面具有重要的意义的设备将1个庞杂的依赖关系分割开而得到的。
实施方式6
下面，对实施方式6涉及的程序解析辅助装置进行说明。以下，以与实施方式2不同的部分为中心进行说明。
在实施方式2的依赖关系的提取中，不提取与在控制中起到重要作用的设备相比更进一步的依赖关系。换言之，是对作为起点的设备和在控制中起到重要作用的设备之间的依赖关系进行提取。
然而，为了总览由梯形图程序实现的控制的整体，一个有效的方法是对在控制中起到重要作用的设备之间的依赖关系进行确认。
因此，在实施方式6中，与实施方式2相反，仅对参照次数较多的设备提取更进一步的依赖关系，而对参照次数较少的设备，不提取更进一步的依赖关系。
例如，在图15所示的流程图中，将步骤S34的处理置换为以下的步骤S34a（未图示）的处理。
在步骤S34a中，变量依赖关系提取部15对于作为处理对象的设备被参照使用的次数是否大于或等于在步骤S23中设定的阈值进行判断。例如，在图13所示的情况下，变量依赖关系提取部15判断作为处理对象的设备被参照使用的次数是否大于或等于3次。变量依 赖关系提取部15在大于或等于阈值（步骤S34为“是”）的情况下，使处理进入S15，在没有大于或等于阈值（步骤S34为“否”）的情况下，使处理进入S17。
这样，则仅提取参照次数较多且在控制中起到重要作用的设备之间的依赖关系，而省略参照次数较少且在控制中起到附随/辅助作用的设备，从而，能够总览由梯形图程序实现的控制的整体。
此外，能够将实施方式1至5适当地组合而实施，效果更好。例如，如果对与实施方式2组合的情况进行说明，则首先利用实施方式2，将参照次数较少且在控制中起到附随/辅助作用的设备设为起点，提取与在控制中起到重要作用的设备之间的依赖关系，然后，将按照上述方式追寻到的重要设备，通过实施方式5自动设为起点，并通过实施方式6，提取出能够总览由梯形图实现的控制的整体的依赖关系，最后，将认为其中最有可能作为故障原因的设备设为起点，提取出现有的依赖关系，从而能够避免依赖关系无益地发散这一结果，并追寻到终端的原因。
实施方式7
下面，对实施方式7涉及的程序解析辅助装置进行说明。以下，以与实施方式1至4不同的部分为中心进行说明。
根据实施方式1至4，能够对庞杂的依赖关系进行筛选，但在作为通过上述方式筛选出的结果而获得的依赖关系中，当然没有包含会受到作为起点的设备影响的全部设备或会对作为起点的设备造成影响的全部设备。其原因在于，现有的依赖关系提取会超过希望提取的依赖关系的提取范围，进行进一步的依赖关系的提取，实施方式1至4就是为了防止这一问题。
然而，在生产装置上发生的故障动作包括即使将输入设为ON，输出也不会是ON的情况。为了解析出原因在哪里，有时可以不提取会受到作为起点的设备影响的全部设备，而仅提取出由于起点为ON而变为ON的设备。
着眼于此，在实施方式7中，限定于对作为a接点使用的部分进行依赖关系的提取处理。a接点例如是图23中所示的设备X5或设 备M5这种以正逻辑被参照的接点，即，如果接点为ON，则线圈为ON。
使用图28，说明仅对作为a接点使用的部分进行的依赖关系的提取处理。图28是表示考虑了a接点的依赖关系提取处理的流程图。
在步骤S100中，变量依赖关系提取部15进行递归处理。具体而言，变量依赖关系提取部15进行与实施方式1的递归处理（步骤S10）基本相同，但以下方面不同的处理。
在步骤S101中，变量依赖关系提取部15以通过解析条件设定操作部9设定的起点设备（例如，设备X1）为起点，对设备的依赖关系进行提取。例如，变量依赖关系提取部15在指定了提取向前的设备依赖关系的情况下，从梯形图程序16中提取会通过a接点而受到起点设备影响的全部设备。或者，例如，变量依赖关系提取部15在指定了提取向后的设备依赖关系的情况下，从梯形图程序16中提取会通过a接点而对起点设备造成影响的全部设备。
如上所述，通过仅对作为a接点使用的部分进行依赖关系的提取处理，例如，能够选择性地提取出由于起点为ON而变为ON的设备。即，即使不对多个解析条件（解析命令、解析对象等）进行组合并指定，也能够对庞杂的依赖关系（的有向图）进行筛选。
此外，在输入为负逻辑的情况下，由于不是a接点而是变为b接点，因此，与上述处理同样地，仅对作为b接点使用的部分进行依赖关系的提取处理。在这里，作为b接点，在图23中是指设备X6及设备X7这样的以负逻辑被参照的接点，即，如果接点为OFF则线圈为ON。
另外，在上述说明中，针对向前依赖关系的情况进行了说明，但为了解析出输出没有变为ON的原因在哪里，有时可以不提取会通过a接点而对起点设备造成影响的全部设备，而是选择性地提取作为用于使起点为ON的条件的、应设为ON的设备，因此，在向后依赖关系的情况下，也与上述处理同样地，仅对作为a接点使用的部分进行依赖关系的提取处理。此外，a接点与b接点的逻辑相反，因此，对b接点选择性地进行依赖提取处理，意味着停止进行a接点处的依 赖提取处理。
实施方式7能够与实施方式1至6适当地组合而实施。由此，能够对设备依赖关系进行进一步的筛选。
实施方式8
下面，对实施方式8涉及的程序解析辅助装置进行说明。以下，以与实施方式1不同的部分为中心进行说明。
在实施方式1中，以解决上述第1个问题为目的，但在实施方式8中，以进一步解决上述第2个问题为目的。即，作为第2个问题的对策，在实施方式8中，通过预先保持发生错误时的设备存储器的值，进行考虑了该值的设备依赖关系提取处理，从而对再现性较低的故障原因进行确定。
在生产装置中发生了故障动作的情况下，需要将该情况传达给作业者，并敦促作业者进行修复作业。因此，在PC中准备表示发生错误的F设备，生成在发生了各种故障动作的情况下，将各自的F设备设为ON的梯形图程序。
而且，在现有的采样跟踪中，对预先指定的几个设备始终执行采样跟踪，并且，在该F设备变为ON（或者，从该F设备变为ON开始经过一定时间或达到一定数量）时，停止采样跟踪，查看所获得的采样跟踪结果，确认直至该F设备变为ON为止的其他设备的值随时间的变化，确定故障原因。
然而，使各F设备变为ON的原因、即会对该F设备造成影响的其他设备的数量庞大，因此，如前所述而存在第2个问题。
如上所述，现有的采样跟踪不仅具有始终执行采样跟踪并在指定的触发条件成立时停止（或者，在从触发条件成立开始一定时间之后停止）的预触发功能，还具有从触发条件成立开始进行采样跟踪的通常触发功能。
因此，在实施方式8中，使用该通常触发功能，将F设备变为ON时设为触发条件，代替将采样点数设为1点这一设定，将作为采样对象的设备设定为全部设备（可采样范围内的全部设备）。即，作为第1条件，由解析条件设定操作部9设定使得不提取进一步向前或 向后的设备依赖关系的设备成为设备存储器转储18的设备。
例如，如果对2个设备进行8192点的采样，则需要合计16383点的采样容量，但即使是相同的采样容量，如果是1点采样，则能够获得16383个设备的值，因此，仅限于该F设备变为ON的瞬间，能够大致掌握此时的PC的内部状态。
以上述方式获得的采样跟踪结果，可认为是对上述瞬间的设备存储器的状态进行转储而获得的。如果从容量的角度而无法对PC内部的全部存储器进行转储，则也可以选择性地对于下述设备，即，会对作为转储触发的该F设备造成影响的设备进行转储。上述设备是对以该F设备为起点的向后依赖关系进行提取而获得的设备，能够预先设定。
通过将以上述方式获得的设备存储器转储18（参照图2）考虑在内，选择性地追溯作为使该设备变为ON的条件的设备，能够对向后依赖关系进行筛选。
例如，解析条件设定操作部9将输出了发生异常这一内容的设备（例如，设备F1）设定为希望提取的依赖关系的起点，并且，指示变量依赖关系提取部15进行考虑了设备存储器转储18的设备依赖关系的提取。
图29示出下述情况，即，选中考虑设备存储器转储18而不进行进一步的设备依赖关系的提取处理的功能并使之有效的情况。
例如，代替类别指定开关栏9a7、类别指定栏9a8、次数指定开关栏9a9、及次数指定栏9a10，在解析条件设定操作画面9a中具有存储器转储开关栏9a11。此外，解析条件设定操作画面9a也可以在具有类别指定开关栏9a7、类别指定栏9a8、次数指定开关栏9a9、及次数指定栏9a10的基础上，还具有存储器转储开关栏9a11。
在存储器转储开关栏9a11中，指示进行存储器转储指定（即考虑设备存储器转储18）（ON）及不进行存储器转储指定（OFF）中的某一个。在图29中例示了指示进行存储器转储指定（ON）的情况。在存储器转储开关栏9a11中，例如，可以通过选中而指示进行存储器转储指定（ON），通过取消选中而指示不进行存储器转储指定 （OFF）。
变量依赖关系提取部15按照来自解析条件设定操作部9的指示，参照设备存储器转储18（参照图2），以通过解析条件设定操作部9设定的起点（例如，设备F1）为起点，一边参考设备存储器转储18的保持内容，一边提取向前或向后的设备依赖关系，生成第1提取结果。变量依赖关系提取部15将第1提取结果供给至变量依赖关系显示处理部12。
变量依赖关系显示处理部12使用第1提取结果，生成显示信息并显示在显示画面4a上。例如，变量依赖关系显示处理部12在显示画面4a上显示图32中右侧的有效图表。
使用图33，对下述情况下的依赖关系的提取处理进行说明，即，选中考虑设备存储器转储18而不进行进一步的依赖关系的提取处理的功能并使之有效的情况。图33是表示考虑了设备的存储器转储的依赖关系提取处理的流程图。
在步骤S111中，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的起点设定指示，设定希望提取的依赖关系的起点。例如，在图29所示的情况下，解析条件设定操作部9将设备F1设定作为希望提取的依赖关系的起点。解析条件设定操作部9将所设定的希望提取的依赖关系的起点的信息，供给至解析处理执行部13。
另外，解析条件设定操作部9按照对应于用户操作8而由操作按钮5a等接收到的第2条件设定指示，设定第2条件。例如，在图29所示的情况下，作为第2条件，由解析条件设定操作部9设定设备存储器转储18的保持内容。解析条件设定操作部9将所设定的第2条件的信息供给至解析处理执行部13。
在步骤S120中，变量依赖关系提取部15进行递归处理。具体而言，变量依赖关系提取部15进行与实施方式1的递归处理（步骤S10）基本相同，但以下方面不同的处理。
在步骤S121中，变量依赖关系提取部15将设备存储器转储18（参照图2、图30）考虑在内，对于起点设备（例如，设备F1）是 否为ON进行判断。变量依赖关系提取部15在为ON（步骤S121为“是”）的情况下，使处理进入步骤S122，在为OFF（步骤S121为“否”）的情况下，结束处理。
在步骤S122中，变量依赖关系提取部15以通过解析条件设定操作部9设定的起点设备（例如，设备F1）为起点，将设备存储器转储18考虑在内而进行设备的依赖关系的提取。
例如，变量依赖关系提取部15在指定了提取向前的设备依赖关系的情况下，从梯形图程序16中提取会受到起点设备影响的全部设备中以起点设备ON为条件的设备。或者，例如，变量依赖关系提取部15在指定了提取向后的设备依赖关系的情况下，从梯形图程序16中提取会对起点设备造成影响的全部设备中以起点设备ON为条件的设备。以起点设备ON为条件的设备，例如，能够通过参照设备存储器转储18（参照图30）而掌握。
例如，图30是以设备F1变为ON时为触发条件而获取到的设备存储器转储18。如果将该ON/OFF状况反映在梯形图程序上，则如图31所示。
在该情况下，如果以设备F1为起点提取向后依赖关系，则首先，作为会对设备F1造成影响的设备，提取出设备M9。如果考虑设备存储器转储18，则设备M9为ON，且使得该梯形图行的线圈即设备F1为ON，因此，进一步追溯到设备M9。
接着，作为会对设备M9造成影响的设备，提取出设备M90、M91、M92。由于设备M90为ON且该梯形图行的线圈即设备M9变为ON，因此，进一步追溯到设备M90。另一方面，设备M91为ON但该梯形图行的线圈即设备M9没有变为ON。这是因为，该梯形图是仅在设备M91和设备M92这两者均为ON的情况下，设备M9才会变为ON。因此，不会进一步追溯到设备M91。由于设备M92为OFF，因此，不会进一步追溯。
接着，作为会对设备M90造成影响的设备，提取出设备X9。由于设备X9为ON，且该梯形图行的线圈即设备M90变为ON，因此，进一步追溯到设备X9，但没有对设备X9造成影响的进一步的 依赖关系。
如果仅提取以设备F1为起点的向后依赖关系，则可获得如图32的左图所示的结果，但通过选中考虑设备存储器转储18而不进行进一步的依赖关系的提取处理的功能并使之有效，从而可获得如图32的右图所示的筛选后的结果。
通过上述方式，对于再现性较低的故障，能够从可能是错误发生原因的数量庞大的设备中，筛选出实际作为错误发生原因的设备，能够解决上述的第2个问题。
此外，还能够代替错误发生时的采样跟踪功能的设备存储器转储，而参照任意时刻的设备存储器本身。这是因为，二者的差别仅在于参照的目标是设备存储器转储还是任意时刻的设备存储器。在错误发生后经过一段时间至错误停止为止的期间内，设备状况不变的情况等下，即使不获取错误发生时的采样跟踪功能设备的存储器转储，而是参照错误停止时刻的设备存储器本身，通常也没有太大的差别。
在实施方式8中，为了追溯该设备变为ON的原因，在向后依赖关系的提取中，在1行的梯形图程序中存在多个会对线圈造成影响的接点的情况下，如果参照存储器转储，则将选择性地追溯到在该瞬间实际使线圈变为ON的接点。深入研究以该设备变为ON为起因的状况时也同样，对于在向前依赖关系的提取中，由于在多个梯形图程序中作为接点被参照，因此受到该接点影响的线圈存在多个的情况，如果参照存储器转储，则能够选择性地深入研究在该瞬间实际因接点而成为ON的线圈。
另外，也可以不追溯ON的设备，而追溯OFF的设备。在“发生错误”这一故障的情况下，表示发生错误的F设备变为ON，因此，为了查找该F设备变为ON的原因，选择性地追溯ON的设备，但在“应该动作的功能没有动作”这一故障的情况下，有时也会查找该Y设备为何没有变为ON，即为何是OFF的原因。在该情况下，选择性地追溯OFF的设备。
此外，如果指定了作为起点的设备，则也可以在该作为起点的设备变为ON的情况下，选择性地追溯ON的设备，而在该作为起点 的设备变为OFF的情况下，选择性地追溯OFF的设备。在该情况下，不需要指定是追溯ON还是追溯OFF的操作。
实施方式8能够与实施方式1至7适当地组合而实施。由此，能够进行进一步的筛选。
如上所述，在实施方式8中，解析条件设定操作部9将输出了发生异常这一内容的设备（例如，设备F1）设定为希望提取的依赖关系的起点。变量依赖关系提取部15以输出了发生异常这一内容的设备为起点，参考设备存储器转储18的保持内容，提取向前或向后的设备依赖关系。由此，对再现性较低的故障，能够剔除实质上对故障原因的确定没有直接贡献的要素（例如，设备的动作），同时提取与故障密切相关的依赖关系（的有向图）并显示。其结果，对于再现性较低的故障，能够对故障动作进行详细的动作解析。
实施方式9
下面，对实施方式9涉及的程序解析辅助装置进行说明。以下，以与实施方式1不同的部分为中心进行说明。
关于设备依赖关系，利用有向图进行显示（框图方式的显示）使便于理解。然而，在设备依赖关系庞杂的情况下，该显示操作需要高级的用户界面。因此，在使个人计算机和PC连接而进行调试作业的情况下，可通过键盘、鼠标、高分辨率显示器而实现高级用户界面，因此没有问题，但在使用生产装置所具有的显示器和操作按钮进行调试作业的情况下，必须在上述有限的用户界面范围内，实现设备依赖关系的基于有向图的显示（框图方式的显示）操作方法，因此，与个人计算机的情况相比，操作量显著增多，反而存在操作繁琐的问题。
通过将实施方式1至8适当地组合而实施，虽然能够对庞杂的依赖关系进行筛选，但依然不得不在有限的用户界面的范围内进行依赖关系的基于有向图的显示（框图方式的显示）操作。
在这里，作为问题所在之处的调试作业，是使用装有PC的生产装置等通过梯形图程序而受到计测控制的生产装置进行的，是为了消除故障动作，因此，其直接目的是快速地确定错误原因，而不是对庞杂的梯形图程序的构造进行解析并理解。
着眼于此，在实施方式9中，省略所提取出的设备依赖关系的中途显示，可选择性地显示原因和结果。即，变量依赖关系显示处理部12（参照图2）具有选择性地显示作为设备依赖关系的起点的设备、和所提取出的设备依赖关系的终点设备的功能。例如，变量依赖关系显示处理部12对应于用户操作8，如图35所示，以省略了设备依赖关系的起点设备和终点设备之间的内容的显示方式，对图34所示的设备依赖关系进行显示。
对省略显示的设备依赖关系的中途部分，另外设置用于将省略显示的部分展开显示或将展开显示的部分省略而关闭的按钮，以能够针对设备依赖关系的各层进行展开显示。例如，变量依赖关系显示处理部12按照第1提取结果，对设备依赖关系的起点和终点进行显示，并且，对起点和终点的中间点即中途设备，按照展开显示操作而进行显示，按照折叠显示操作指示而省略显示。此时，例如，对于起点和终点的中间点即中途设备，变量依赖关系显示处理部12针对各层，按照展开显示操作而显示，按照折叠显示操作指示而省略显示。由此，能够选择性地对设备依赖关系的整体中的希望确认的任意部分（例如，任意层）进行确认。
例如，如果全部展开显示，则实质上与设备依赖关系的基于有向图的显示（框图方式的显示）相同。
根据实施方式9，能够选择性地显示作为设备依赖关系的起点的设备、和所提取出的设备依赖关系的终点设备，即使是在装有PC的生产装置这样的有限用户界面范围内，也能够快速地确定错误原因。
此外，如果提取出的依赖关系庞杂，则终点设备的数量也很庞大，但通过对实施方式1至8进行实施，或者通过将实施方式1至8适当地组合而实施，从而能够将依赖关系的终端设备的数量筛选至现实的范围内，因此，可充分发挥实施方式9的效果。
如上所述，在实施方式9中，变量依赖关系显示处理部12按照第1提取结果，对设备依赖关系的起点和终点进行显示，并且，对设备依赖关系中的起点和终点的中间点即中途设备，按照展开显示操作进行显示，按照折叠显示操作指示而省略显示。例如，对于起点和终 点的中间点即中途设备，变量依赖关系显示处理部12针对各层，按照展开显示操作进行显示，按照折叠显示操作指示而省略显示。由此，能够选择性地对于设备依赖关系的整体中的希望确认的任意部分（例如，任意层）进行确认。
实施方式10
下面，对实施方式10涉及的程序解析辅助装置进行说明。以下，以与实施方式8不同的部分为中心进行说明。
如实施方式8那样准备了F设备，在发生了故障动作的情况下，为了将该情况传达给作业者，并且，敦促作业者进行修复作业，在生产装置中的显示部上显示出发生了异常（例如非专利文献4）。此时，作业者为了确定异常的原因在何处，在看过显示出发生了异常的画面后，另外检查与该异常相当的F设备，将该F设备另行设定为解析条件，查看依赖关系和梯形图回路，这样的作业很繁杂。
着眼于此，如图36所示，在实施方式10中，使生产装置中的控制装置20具备程序解析辅助装置1，如果从异常发生显示中选择1个异常显示，则显示以与该异常显示相当的F设备为起点的依赖关系。此时，也可以参考发生该异常时的设备存储器转储18而提取依赖关系。
例如，控制装置20具有程序解析辅助装置1、设备存储器转储18、异常发生显示处理部21、显示部24、异常发生时存储器转储处理部22、以及控制部23。例如，作为程序解析辅助装置1，能够使用实施方式1至9任一个所涉及的程序解析辅助装置。作为设备存储器转储18，能够使用实施方式1、8中的设备存储器转储。
异常发生显示处理部21在梯形图程序16（参照图2）中检测到发生了异常时，在显示部24上显示出发生了异常。显示部24可以是例如液晶显示器等显示装置。异常发生显示处理部21例如将大于或等于1个的异常发生显示在显示部24上。例如，如图37的左图所示，异常发生显示处理部21将多个异常发生显示在显示部24上。此时，例如，异常发生显示处理部21也可以按照来自控制部23的要求，将显示在显示部24上的显示信息供给至程序解析辅助装置1。由此， 在程序解析辅助装置1的显示部4上也能够显示多个异常发生。
如果异常发生显示处理部21对应于用户操作8而识别到在显示的异常发生中选择了1个异常发生，则将所选择的异常发生的信息通知给程序解析辅助装置1及控制部23。
异常发生时存储器转储处理部22在梯形图程序16中检测到发生了异常时，对与输出了发生异常这一内容的设备相关的存储器进行转储并保持（参照图30）。异常发生时存储器转储处理部22将所保持的存储器转储的内容，定期地或者按照来自控制部23的要求，写入至设备存储器转储18。
控制部23对控制装置20的各部进行整体控制。
例如，在梯形图程序16中检测到发生了异常时，控制部23对异常发生显示处理部21进行控制，以在显示部24上显示出发生了异常。此时，控制部23也可以对异常发生显示处理部21进行控制，以将显示在显示部24上的显示信息供给至程序解析辅助装置1。
例如，在梯形图程序16中检测到发生了异常时，控制部23对异常发生时存储器转储处理部22进行控制，以对与输出了发生异常这一内容的设备相关的存储器进行转储。
例如，控制部23对异常发生时存储器转储处理部22进行控制，以在规定的定时（例如，在推定为异常发生时存储器转储处理部22中的存储器转储结束的定时），将所保持的存储器转储的内容写入至设备存储器转储18。
例如，控制部23在选择了通过异常发生显示处理部21显示的异常发生中的1个异常发生时，对程序解析辅助装置1进行控制，以将输出所选择的异常发生的设备作为希望提取的依赖关系的起点，提取向前或向后的设备依赖关系。此时，控制部23对程序解析辅助装置1进行控制，以作为与输出所选择的异常发生的设备相关的条件，参考与输出所选择的异常发生的设备相关的异常发生时存储器转储处理部22的保持内容、即设备存储器转储18的保持内容，提取向前或向后的设备依赖关系。
例如，控制部23对程序解析辅助装置1进行控制，以显示提取 所获得的设备依赖关系（参照图37的右图）。此时，控制部23也可以对程序解析辅助装置1进行控制，从而以使所选择的异常发生和提取所获得的设备依赖关系相关联的显示方式进行显示。例如，在图37的情况下，通过从警报信息1延伸至有向图的虚线箭头，而使表示发生了异常的警报信息1和与所提取出的设备依赖关系对应的有向图相关联。
例如，通过图37所示的显示方式，能够首先从大局的角度掌握成为异常发生原因的控制构造，能够显示与该部分相当的梯形图回路，以对其中希望注意的部分局部地进行详细确认，能够进一步提高异常原因确定作业的效率。
如上所述，在实施方式10中，在控制装置20中，控制部23对程序解析辅助装置1进行控制，以在从通过异常发生显示处理部21显示的异常发生中选择了1个异常发生时，将输出所选择的异常发生的设备作为希望提取的依赖关系的起点，提取向前或向后的设备依赖关系，并显示所获得的设备依赖关系。由此，对于再现性较低的故障，能够剔除实质上对故障原因的确定没有直接贡献的要素（例如，设备的动作），而提取出与故障密切相关的依赖关系（的有向图）并显示。其结果，对于再现性较低的故障，能够对故障动作进行详细的动作解析。
另外，在实施方式10中，在控制装置20中，控制部23对程序解析辅助装置1进行控制，以在从通过异常发生显示处理部21显示的异常发生中选择了1个异常发生时，将输出所选择的异常发生的设备设定为希望提取的依赖关系的起点，并且，作为与输出所选择的异常发生的设备相关的条件，参考与输出所选择的异常发生的设备相关的异常发生时存储器转储处理部22的保持内容，提取向前或向后的设备依赖关系，并显示所获得的设备依赖关系。此时，例如，控制部23对程序解析辅助装置1进行控制，从而以使得所选择的异常发生和提取而获得的设备依赖关系相关联的显示方式进行显示。由此，能够首先从大局的角度掌握成为异常发生原因的控制构造，能够显示与该部分相当的梯形图回路，以对其中希望注意的部分局部地进行详细 确认，能够进一步提高异常原因确定作业的效率。
工业实用性
如上所述，本发明涉及的程序解析辅助装置可用于梯形图程序的故障解析。
标号的说明
1 程序解析辅助装置、2 微处理器、3 数据存储存储器、4 显示部、5 输入部、6 保存部、7 系统总线、8 用户操作、9 解析条件设定操作部、10 解析结果显示处理部、11 变量使用状况显示处理部、12 变量依赖关系显示处理部、13 解析处理执行部、14 变量使用状况提取部、15 变量依赖关系提取部、16 梯形图程序、17 设备注释、18设备存储器转储、19 回路显示处理部、20 控制装置、21 异常发生显示处理部、22 异常发生时存储器转储处理部、23 控制部、24 显示部。