CN104520778A - 逻辑图错误位置推测装置及其方法 - Google Patents

Abstract

本发明的目的在于提供一种能够恰当地推测逻辑图的错误位置的技术。逻辑图显示装置具备：信号线对错判定部(105)，根据逻辑图上的各信号线的信号线状态值、和试验表来针对各试验判定各信号线的对错；以及信号线对错结果统计部(107)，根据各信号线的对错的判定结果来计算出各信号线的对错结果统计值。另外，逻辑图显示装置具备：错误信号线推测部(108)，根据各信号线的对错结果统计值来推测各信号线的错误；以及显示部(109)，以与各信号线的错误相应的显示方式将各信号线显示到逻辑图上。

Description

逻辑图错误位置推测装置及其方法

技术领域

本发明涉及一种推测表示监视控制系统的设备等的控制内容的逻辑图的错误位置的逻辑图错误位置推测装置、以及逻辑图错误位置推测方法。

背景技术

监视控制系统是如下系统：将来自温度、压力、位置以及其它各种传感器等成为监视对象的装置的信息提示给运行员、监视员，并且通过运行员、监视员的操作来控制马达、阀、开关、液压装置等各种装置，该监视控制系统用在发电厂、化工厂、受配电设备、给排水系统等广泛的领域中。

在典型的监视控制系统中，具备针对与成为监视控制对象的设备进行信号的发送接收等处理的每个处理而被分割的多个模块，它们通过通信路径耦合，由此实现了多种处理(多种模式)。

监视控制系统的各模块的处理内容通过如电路图那样用箭头表示信号的输入输出方向的有向图来表示的情况变多。具体地说，各模块的处理内容通过组合表示信号处理的节点(以下有时还称为“运算元件”)、和连接节点间来表示信号流的链路(以下有时还称为“信号线”)进行表现。模块的处理内容以前是用硬件电路来固定地实现，但是从灵活性、性价比的观点考虑，近年来，被安装为数字计算机上的程序从而能够在数字计算机上模拟动作来实现处理的情况变多。

作为以运算元件和信号线表现处理内容的编程语言的标准，例如可列举出国际标准IEC61131-3。运算元件用所述国际标准的FBD(Function Block Diagram：功能模块图)进行描述，通过组合运算元件和信号线来表现的处理内容通过被称为逻辑图的图来表示。

然而，近年来随着程序的大规模化，程序的调试(查找并消除错误)作业变得越来越困难。该现象在制作监视控制系统中表示监视控制的控制逻辑的逻辑图(控制逻辑图)时也是同样的。具体地说，逻辑图描述了与各种模式相对应的多个处理(举措)，因此控制逻辑倾向于变得复杂，复杂的控制逻辑分割为多张逻辑图进行描述。另外，进行控制的对象设备的数量多，因此控制该设备的逻辑图的数量也变得庞大。

以往，当控制逻辑的试验中检测出NG(no good)时，设计者在通过手动作业查找出应调查的对象的逻辑图后，从成为错误的信号输出追踪控制逻辑，来确定成为试验的NG原因的错误位置。因此，当在多张图中描述的复杂的控制逻辑中检测出NG的情况下，错误位置的确定耗费时间。

作为推测错误位置的技术，在专利文献1的现有例子所述的技术中，首先使用故障仿真器在电路内部假定故障，进行功能或者逻辑仿真，核对该仿真结果和期望值，制作将假定的故障位置、和检测出该故障的测试向量(test vector)对应起来的故障字典，从电路的实际的测试结果获取失败信息。接着，与失败信息的失败引线(fail pin)以及失败向量对应地在故障字典中分别进行检索，求出假定的故障位置，从多个所获得的假定故障位置中，赋予优先级来进行故障位置的推测。

另外，在专利文献2所述的技术中，逻辑矛盾判定单元在通过第1蕴含操作(implication operation)单元进行的蕴含操作中检测各信号线的逻辑状态的矛盾，如果没有检测出矛盾，则处理结束判定单元判定全部信号线的逻辑状态是否被推测为“0”、“1”或者“X”。如果判定为逻辑状态推测没有结束，则U(Unknown，未知)状态检索单元检索逻辑状态不完全的Unknown状态的信号线，检测出在包含信号线的故障传输路径上经由逻辑门连接的信号线。对检测出的信号线临时决定为“0”，使表示临时决定次数的临时决定水平增加1，回到第1蕴含操作单元所进行的蕴含操作处理。如果判定为逻辑状态推测结束，则故障输出端子连接关系线提取单元提取如直接影响故障输出端子的故障传输路径，并输出到输出装置。

现有技术文献

专利文献1：专利第3863423号公报

专利文献2：专利第3137056号公报

发明内容

在专利文献1中，需要预先制作好故障字典，但是制作故障字典需要很多故障仿真，因此存在如下问题：计算时间变得庞大，故障字典的文件的数量、数据量也变得非常大。

在专利文献2中，存在如下问题：为了重复进行蕴含操作和临时决定来推测全部的信号线的逻辑状态，必须预先制作用于进行输入输出方向的蕴含操作、临时决定信号线检索处理、故障端子信息传递处理的数据库。另外，如果成为故障检测对象的电路规模变大，则临时决定的次数增大，因此存在如下问题：为了重复进行蕴含操作和临时决定来求出全部的输入逻辑状态，需要庞大的计算时间。

因此，本发明是鉴于如上所述的问题点而作出的，其目的在于，提供一种能够恰当地推测逻辑图的错误位置的技术。

本发明涉及一种逻辑图错误位置推测装置，推测包含进行运算的运算元件和连接所述运算元件彼此之间的信号线的逻辑图中的错误位置，该逻辑图错误位置推测装置的特征在于，具备：逻辑图保存装置，保存所述逻辑图；以及试验表保存装置，保存作为用于判断所述逻辑图的对错的各试验的输入值以及输出值的对应表的试验表。所述逻辑图错误位置推测装置还具备：信号线对错判定部，根据通过针对所述逻辑图实施所述试验表的所述各试验而针对所述各试验获取到的、所述逻辑图上的各信号线的信号线状态值、和所述试验表，来针对所述各试验判定所述各信号线的对错；以及信号线对错结果统计部，根据基于所述信号线对错判定部的所述各信号线的对错的判定结果，来计算出所述各信号线的对错结果统计值。所述逻辑图错误位置推测装置还具备：错误信号线推测部，根据所述信号线对错结果统计部所计算出的所述各信号线的对错结果统计值来推测所述各信号线的错误；以及显示部，以与通过所述错误信号线推测部所推测的所述各信号线的错误相应的显示方式，将所述各信号线显示到所述逻辑图上。

根据本发明，信号线对错判定部根据信号线状态值来针对各试验判定逻辑图上的各信号线的对错，信号线对错结果统计部从各信号线的对错的判定结果计算出各信号线的对错结果统计值，错误信号线推测部根据各信号线的对错结果统计值来推测逻辑图上的各信号线的错误，显示部以与该各信号线的错误相应的显示方式将信号线显示到逻辑图上。由此，不需要预先制作故障字典等、能够且以少的计算时间推测逻辑图上的错误位置。

附图说明

图1是示出实施方式1的逻辑图显示装置的结构的框图。

图2是示出逻辑图的一个例子的图。

图3是示出运算元件以及信号线的描述规则以及说明的图。

图4是示出试验表的一个例子的图。

图5是示出实施方式1的逻辑图显示装置的动作的流程图。

图6是示出逻辑图的一个例子的图。

图7是示出逻辑图的信号线状态值(试验No1)的图。

图8是示出逻辑图的信号线状态值(试验No2)的图。

图9是示出逻辑图的信号线状态值(试验No3)的图。

图10是示出逻辑图的信号线状态值(试验No4)的图。

图11是示出逻辑图的信号线状态值(试验No5)的图。

图12是示出试验结果表的一个例子的图。

图13是示出追踪规则的一个例子的图。

图14是示出逻辑图的各信号线的对错结果(试验No1)的图。

图15是示出逻辑图的各信号线的对错结果(试验No2)的图。

图16是示出逻辑图的各信号线的对错结果(试验No3)的图。

图17是示出逻辑图的各信号线的对错结果(试验No4)的图。

图18是示出逻辑图的各信号线的对错结果(试验No5)的图。

图19是示出逻辑图的各信号线的对错结果收集值以及错误可能性的图。

图20是示出逻辑图的一个例子的图。

图21是示出逻辑图的信号线状态值以及各信号线的对错结果(试验No1)的图。

图22是示出逻辑图的信号线状态值以及各信号线的对错结果(试验No2)的图。

图23是示出逻辑图的信号线状态值以及各信号线的对错结果(试验No3)的图。

图24是示出逻辑图的信号线状态值以及各信号线的对错结果(试验No4)的图。

图25是示出逻辑图的信号线状态值以及各信号线的对错结果(试验No5)的图。

图26是示出试验结果表的一个例子的图。

图27是示出逻辑图的各信号线的对错结果收集值以及错误可能性的图。

图28是示出实施方式2的逻辑图显示装置的结构的框图。

图29是示出一组逻辑图的一个例子的图。

图30是示出试验表的一个例子的图。

图31是示出实施方式2的逻辑图显示装置的动作的流程图。

图32是示出一组逻辑图的一个例子的图。

图33是示出逻辑图的信号线状态值以及各信号线的对错结果(试验No3)的图。

图34是示出试验结果表的一个例子的图。

图35是示出图对错结果收集值以及各逻辑图的错误可能性的图。

图36是示出运算元件的复杂度的图。

图37是示出显示部的显示例的图。

符号说明

101：逻辑图保存装置；102：试验表保存装置；105：信号线对错判定部；106：信号线追踪部；107：信号线对错结果统计部；108：错误信号线推测部；109：显示部；110：图对错结果统计部；111：图特性值计算部；112：错误图推测部。

具体实施方式

<实施方式1>

图1是示出本发明的实施方式1的逻辑图显示装置的结构的框图。在图1中，本实施方式1的逻辑图显示装置具备有推测逻辑图中的错误位置的逻辑图错误位置推测装置的功能，包括下面要说明的结构要素(逻辑图保存装置101～显示部109)。

逻辑图保存装置101由存储装置构成，保存有逻辑图。逻辑图是示出用于对设备进行监视控制的控制逻辑的图，包含对信号进行各种运算的运算元件、以及连接运算元件彼此之间来表示信号流的信号线。

试验表保存装置102由存储装置构成，保存有试验表。试验表是将用于判断逻辑图的对错的(用于保障逻辑图的正确性的)各试验的输入值和所希望的输出值(期望值)综合起来的对应表。在试验表的各试验中，在将输入值输入到逻辑图的控制逻辑的情况下，根据该控制逻辑的输出是否与输出值(期望值)相同来判定逻辑图的对错。

信号线状态值保存装置103由存储装置构成，保存有信号线状态值。信号线状态值是通过对逻辑图预先实施试验表的各试验来针对各试验所获取的、该逻辑图上的各信号线的状态值。信号线状态值也可以通过来自用户的输入而预先保存到信号线状态值保存装置103中，但是在本实施方式中，设为是通过信号线状态值获取部104来获取并预先保存到信号线状态值保存装置103中。

信号线状态值获取部104从信号线状态值保存装置103适当读取信号线状态值、并提供给信号线对错判定部105。

信号线对错判定部105根据来自信号线状态值获取部104的各信号线的信号线状态值、和从试验表保存装置102读入的试验表，针对试验表的各试验来判定从逻辑图保存装置101读入的逻辑图的各信号线的对错。

信号线追踪部106追踪信号线对错判定部105所读入的逻辑图的信号线。如后所述，信号线追踪部106的追踪结果被用于信号线对错判定部105判定各信号线的对错。

信号线对错结果统计部107根据基于信号线对错判定部105的各信号线的对错的判定结果(以下有时还称为“信号线对错判定结果”)，来计算出逻辑图上的各信号线的对错结果统计值。这里，信号线对错结果统计部107通过针对各信号线统计信号线对错判定部105的多个试验(这里为全部试验)的信号线对错判定结果，来计算出各信号线的对错结果统计值。

错误信号线推测部108根据信号线对错结果统计部107所计算出的各信号线的对错结果统计值，来推测逻辑图上的各信号线的错误。作为通过错误信号线推测部108所推测的各信号线的错误，有各信号线的有无错误、以及各信号线错误的可能性等，但是在本实施方式中，设成是各信号线错误的可能性(以下称为“各信号线的错误可能性”)来进行说明。

显示部109以与通过错误信号线推测部108所推测的各信号线的错误可能性相应的显示方式来将各信号线显示到逻辑图上。这里，显示部109以能够区分通过错误信号线推测部108所推测的错误可能性的显示方式来将各信号线重叠到逻辑图来进行显示。

图2是示出保存在逻辑图保存装置101中的逻辑图的一个例子的图。图3是示出包含在逻辑图中的运算元件以及信号线的描述规则以及说明的图。此外，图3中只示出了运算元件以及信号线的种类的一部分，除此之外，还有多种运算元件等也包含在逻辑图中。

图2所示的逻辑图201包含有多个运算元件(输入运算符、求反运算符、上限监视器运算符、下限监视器运算符、逻辑与运算符、输出运算符)、以及连接这些运算元件的信号线(以虚线表示的模拟线、以实线表示的数字线)。

加压器警报抑制信号输入202是被输入作为警报抑制信号的一种的数字的加压器警报抑制信号(作为数字值而表示“FALSE(0)”或者“TRUE(1)”的信号)的输入运算符。加压器压力信号输入203是被输入模拟的加压器压力信号的输入运算符。在图2所示的求反运算符204中输入来自加压器警报抑制信号输入202的数字信号。求反运算符204将来自加压器警报抑制信号输入202的数字信号反转。

对图2所示的上限监视器运算符205、206以及下限监视器运算符207、208分别输入来自加压器压力信号输入203的信号。上限监视器运算符205在被输入了超过“100”的模拟值时，输出数字值“TRUE(1)”，除此之外输出数字值“FALSE(0)”。上限监视器运算符206在被输入了超过“80”的模拟值时，输出数字值“TRUE(1)”，除此之外输出数字值“FALSE(0)”。下限监视器运算符207在被输入了小于“30”的模拟值时，输出数字值“TRUE(1)”，除此之外输出数字值“FALSE(0)”。下限监视器运算符208在被输入了小于“10”的模拟值时，输出数字值“TRUE(1)”，除此之外输出数字值“FALSE(0)”。

对图2所示的逻辑与运算符209～212分别输入上限监视器运算符205、206、下限监视器运算符207、208的输出，并且对逻辑与运算符209～212分别输入求反运算符204的输出。逻辑与运算符209～212的各个在全部被输入了“TRUE(1)”的数字值的情况下输出数字值“TRUE(1)”，在除此之外的情况下输出数字值“FALSE(0)”。例如，逻辑与运算符209在从上限监视器运算符205以及求反运算符204这两者被输入了“TRUE(1)”的数字值的情况下，输出数字值“TRUE(1)”，在除此之外的情况下输出数字值“FALSE(0)”。

逻辑与运算符209～212的输出分别被设定为输出运算符的加压器压力异常高信号输出213、加压器压力高信号输出214、加压器压力低信号输出215、以及加压器压力异常低信号输出216。

图4是示出保存在试验表保存装置102中的本实施方式的试验表的例子的图。在图4所示的试验表401中，针对试验No1～No5的各个试验，以表格形式记载了输入值和所期望的输出值(期望值)的组合。具体地说，在试验表401中，以表格形式记载了加压器压力、加压器警报抑制的输入值、以及加压器压力异常高、加压器压力高、加压器压力低、加压器压力异常低的所期望的输出值。

例如，在图4的试验表401的试验No1中，示出了以下情况：当对逻辑图的加压器压力信号输入203输入了模拟值“110”、对加压器警报抑制信号输入202输入了数字值“FALSE(0)”时，从该逻辑图的加压器压力异常高信号输出213输出数字值“TRUE(1)”、从加压器压力高信号输出214输出数字值“TRUE(1)”、从加压器压力低信号输出215输出数字值“FALSE(0)”、从加压器压力异常低信号输出216输出数字值“FALSE(0)”是所期望的(正确的)。

此外，图2所示的逻辑图201在输入了试验表401的各试验的输入值的情况下，输出与试验表401的各试验的输出值相同的输出值。因而，根据试验表401，判断逻辑图201为正确。

<动作>

图5是示出本实施方式的逻辑图显示装置推测逻辑图上的错误信号线并显示到该逻辑图上的动作的流程图。以下，详细地说明本实施方式的逻辑图显示装置使用判断逻辑图201为正确的试验表401来进行错误位置的推测等的动作。

<动作例1>

在动作例1中，说明针对图6所示的逻辑图601的、本实施方式的逻辑图显示装置的动作。该逻辑图601与图2所示的逻辑图201相比，包含有漏掉了求反运算符204的记载这样的错误。如以下所说明的那样，通过本实施方式的逻辑图显示装置的如图5所示的动作，用户能够容易注意到逻辑图601的错误位置(求反运算符204的记载遗漏)。

此外，在本实施方式中，逻辑图601被保存在逻辑图保存装置101中，并且该逻辑图601的信号线状态值被保存在信号线状态值保存装置103中，直到进行步骤S1为止。因此，在说明步骤S1以后的动作之前，首先说明保存逻辑图601的信号线状态值的动作。

首先，信号线状态值获取部104对逻辑图601实施试验表401的各试验。即，信号线状态值获取部104将各试验的输入值输入到逻辑图601，根据该逻辑图601的控制逻辑来进行运算。由此，信号线状态值获取部104获取逻辑图601上的各信号线的状态值(运算结果)、即信号线状态值。

在图7所示的逻辑图601中，将通过对逻辑图601实施试验表401的试验No1而获取的信号线状态值备注为带下划线的值(TRUE、FALSE)。此外，在图7所示的逻辑图601中，为了方便，不进行与信号线的信号种类(模拟线、数字线)相应的区分显示(虚线显示、实线显示)。在以下的图中，对表示在说明逻辑图显示装置的动作时使用的逻辑图的图，适当地不进行与信号线的信号种类相应的区分显示。

接着，详细地说明备注在逻辑图601中的试验No1的信号线状态值(图7)的获取。在试验No1中，从加压器压力信号输入203向上限监视器运算符205、206、以及下限监视器运算符207、208输入了模拟值“110”，因此上限监视器运算符205、206输出数字值“TRUE(1)”，下限监视器运算符207、208输出数字值“FALSE(0)”。

对逻辑与运算符209～212分别输入上限监视器运算符205、206的输出(“TRUE(1)”)、以及下限监视器运算符207、208的输出(“FALSE(0)”)、和作为加压器警报抑制信号输入202的输出的数字值“FALSE(0)”，因此逻辑与运算符209～212都输出数字值“FALSE(0)”。由此，数字值“FALSE(0)”分别被设定为加压器压力异常高信号输出213、加压器压力高信号输出214、加压器压力低信号输出215、加压器压力异常低信号输出216。

信号线状态值获取部104通过如以上那样对逻辑图601实施(输入以及运算)试验表401的试验No1，由此针对试验No1获取逻辑图601的信号线状态值。另外，信号线状态值获取部104通过与试验No1同样地对逻辑图601实施试验No2～No5，由此针对试验No2～No5获取逻辑图601的信号线状态值。在图8～图11中分别以与图7相同的形式来表示关于试验No2～No5的各信号线的信号线状态值。信号线状态值获取部104将获取到的信号线状态值保存到信号线状态值保存装置103中。

接着，回到图5说明步骤S1以后的本实施方式的逻辑图显示装置的动作。首先，在步骤S1中，信号线对错判定部105从试验表保存装置102读入所指定的试验表(这里是试验表401)。

接着，在步骤S2中，信号线对错判定部105从逻辑图保存装置101读入与所读入的试验表(这里是试验表401)相对应的逻辑图(这里是逻辑图601)。

步骤S3～S6是在步骤S1中读入的试验表的各试验中执行的处理，按照该试验的数量重复进行。以下，说明针对试验表401(图4)的试验No1而执行步骤S3～S6的例子。

在步骤S3中，信号线状态值获取部104从信号线状态值保存装置103读入与试验表401的相应试验(这里是试验No1)相对应的信号线状态值(这里是图7所示的信号线状态值)，并将其提供给信号线对错判定部105。

在步骤S4中，信号线对错判定部105比较来自信号线状态值获取部104的信号线状态值(这里是图7所示的信号线状态值)的输出值、和在步骤S1中读入的试验表(这里是试验表401)的输出值(期望值)，判定相应试验(这里是试验No1)的对错。

图12是示出综合了关于各试验的逻辑图601的信号线状态值的输出值、即对逻辑图601实施了上述的试验No1～No5的结果的试验结果表1201的图。在该试验结果表1201中记载了与试验表401的输入值相同的加压器压力、加压器警报抑制的输入值，并且记载了图7～图11所示的加压器压力异常高、加压器压力高、加压器压力低、加压器压力异常低的信号线状态值的输出值、即实施试验No1～No5而获得的实际输出值。

在该试验结果表1201中，对与图4的试验表401所记载的所期望的输出值(期望值)不同的信号线状态值的输出值附加了下划线。另外，关于全部试验，在试验表401的所期望的输出值与信号线状态值的输出值一致的情况下将表示成功的“OK”记载到结果栏，在不一致的情况下将表示失败的“NG”记载到结果栏。

例如，试验结果表1201所示的、试验No1的加压器压力异常高信号输出213、加压器压力高信号输出214、加压器压力低信号输出215、加压器压力异常低信号输出216的信号线状态值的输出值全都是“FALSE(0)”。另一方面，试验表401所示的、试验No1的加压器压力异常高信号输出213、加压器压力高信号输出214的所期望的输出值(期望值)是“TRUE(1)”、加压器压力低信号输出215、加压器压力异常低信号输出216的所期望的输出值(期望值)是“FALSE(0)”。

因而，关于试验No1的加压器压力异常高信号输出213以及加压器压力高信号输出214，信号线状态值的输出值与期望值不同，因此信号线对错判定部105将试验No1判定为“NG”。作为其结果，在试验结果表1201(图12)的试验No1的结果栏记载了“NG”。此外，步骤S3～S6在试验表401的各试验中执行，因此最终对上述的试验No1的判定还在试验No2～No5中进行。在试验结果表1201中还表示了试验No2～No5的判定结果(分别为NG、OK、NG、NG)。

在步骤S5中，信号线追踪部106针对相应试验，根据各信号线的信号线状态值、试验表的输出值、按逻辑图的运算元件的每个类别所确定的追踪规则来从逻辑图的输出侧向输入侧追踪信号线。并且，在该步骤S5中，信号线对错判定部105根据信号线追踪部106的追踪结果，来针对相应试验判定逻辑图上的各信号线的对错。

在这里，信号线追踪部106针对试验No1，根据图7所示的信号线状态值的输出值、试验表401的输出值、以及按逻辑图的运算元件的每个类别所确定的追踪规则，来从逻辑图601的输出侧向输入侧追踪信号线。并且，在该步骤S5中，信号线对错判定部105根据信号线追踪部106的追踪结果，来判定逻辑图601上的各信号线的对错。

图13是示出本实施方式的用于信号线追踪部106进行信号线的追踪的追踪规则的一个例子的图。如图13所示，在本实施方式的追踪规则中，不仅确定了与逻辑图的运算元件的类别相应的追踪方法，而且还确定了与步骤S4中的试验的判定结果(信号线状态值的输出值与试验表的输出值是否全部一致的判定结果)相应的追踪方法。

信号线追踪部106在步骤S4的判定结果为OK的情况下，即在信号线状态值的输出值与试验表的输出值全部一致的情况下，根据图13所示的追踪规则中的追踪正确的信号线的追踪规则，来从该一致的信号线开始信号线的追踪。另一方面，信号线追踪部106在步骤S4的判定结果为NG的情况下(在信号线状态值的输出值与试验表的输出值在某一处不一致的情况下)，根据图13所示的追踪规则中的追踪错误信号线的追踪规则，来从不一致的信号线开始信号线的追踪。

作为具体的动作例，以下说明信号线追踪部106针对试验No1而从逻辑图601的输出侧向输入侧追踪信号线的动作。

在试验No1中，信号线状态值的输出值(图7)与试验表401的输出值不全部一致，被判定为NG(图12)，因此信号线追踪部106选择图13的追踪规则中的错误信号线的追踪规则。信号线追踪部106根据该选择出的错误信号线的追踪规则来从与试验表401的输出值不一致的输出侧的信号线(这里是加压器压力异常高信号输出213以及加压器压力高信号输出214的信号线)向输入侧的信号线进行信号线的追踪。

这里，在紧接着加压器压力异常高信号输出213以及加压器压力高信号输出214之前记载了逻辑与运算符209、210，因此信号线追踪部106选择错误信号线的追踪规则中的逻辑与运算符的追踪规则、在这里是图13所示的“在输出值为TRUE(1)的情况下追踪输入值为TRUE(1)的信号线，在输出值为FALSE(0)的情况下追踪输入值为FALSE(0)的信号线”这样的追踪规则。并且，信号线追踪部106根据所选择出的追踪规则来从加压器压力异常高信号输出213以及加压器压力高信号输出214的信号线起追踪信号线。

具体地说，在逻辑图601的试验No1的信号线状态值(图7)中，向加压器压力异常高信号输出213输入的信号线的状态值是“FALSE(0)”，因此信号线追踪部106追踪向逻辑与运算符209输入的信号线中的输入值为“FALSE(0)”的信号线。通过重复相同的追踪，信号线追踪部106到达加压器警报抑制信号输入202，结束信号线的追踪。相同的追踪还在从加压器压力高信号输出214至加压器警报抑制信号输入202的一系列信号线中进行。

之后，信号线对错判定部105将信号线追踪部106根据错误信号线的追踪规则来追踪了的信号线全都判定为“错误信号线”。在上述的例子中，从加压器压力异常高信号输出213到加压器警报抑制信号输入202的一系列信号线、以及从加压器压力高信号输出214到加压器警报抑制信号输入202的一系列信号线被判定为“错误信号线”。

图14是示出通过信号线对错判定部105针对试验No1而判定了的、逻辑图601上的各信号线的对错结果的图。在该图14中，逻辑图601中的、被信号线对错判定部105判定为错误信号线的加压器压力异常高信号输出213以及加压器压力高信号输出214的信号线以能够与其它的信号线区分的显示方式(这里是以黑色粗箭头)表示。

通过如以上那样的信号线对错判定部105以及信号线追踪部106的动作，判定关于试验No1的逻辑图601的各信号线的对错。此外，步骤S3～S6在试验表401的各试验中被执行，因此最终与上述相同的判定还在试验No2～No5中进行。在图15～图18中分别以与图14相同的形式示出了关于试验No2～No5的各信号线的对错的判定结果。

说明其中的试验No3的信号线对错判定结果(图16)。在试验No3中，信号线状态值的输出值(图9)、与试验表401的输出值完全一致从而被判定为OK(图12)，因此信号线追踪部106选择图13的追踪规则中的正确的信号线的追踪规则。信号线追踪部106根据该选择出的正确的信号线的追踪规则来从与试验表401的输出值一致的输出侧的信号线(这里是加压器压力异常高信号输出213、加压器压力高信号输出214、加压器压力低信号输出215以及加压器压力异常低信号输出216的信号线)向输入侧的信号线进行信号线的追踪。

这里，在紧接着加压器压力异常高信号输出213、加压器压力高信号输出214、加压器压力低信号输出215以及加压器压力异常低信号输出216之前记载了逻辑与运算符209、210、211、212，因此信号线追踪部106选择正确的信号线的追踪规则中的逻辑与运算符的追踪规则、在这里是图13所示的“在输出值为TRUE(1)的情况下追踪输入值为TRUE(1)的信号线，在输出值为FALSE(0)的情况下结束追踪”这样的追踪规则。并且，信号线追踪部106根据所选择出的追踪规则，从加压器压力异常高信号输出213、加压器压力高信号输出214、加压器压力低信号输出215以及加压器压力异常低信号输出216的信号线起追踪信号线。

但是，在图9所示的逻辑图601的试验No3的信号线状态值中，向加压器压力异常高信号输出213、加压器压力高信号输出214、加压器压力低信号输出215以及加压器压力异常低信号输出216输入了的信号线的状态值都是“FALSE(0)”，因此信号线追踪部106根据上述所选择出的追踪规则(在输出值为FALSE(0)的情况下结束追踪这样的追踪规则)，在试验No3中不进行信号线的追踪。

之后，信号线对错判定部105将信号线追踪部106根据正确的信号线的追踪规则来追踪了的信号线全都判定为“正确的信号线”，但是在上述的例子中，信号线追踪部106没有进行该追踪，因此如图16所示，哪个信号线都没有被判定为正确的信号线。

回到图5，在步骤S6中判定是否对全部试验(这里是试验No1～5)进行了以上的步骤S3～S5的动作。在判定为对全部试验进行了的情况下，进入步骤S7，在没有判定为对全部试验进行了的情况下，回到步骤S3而对剩余的试验进行步骤S3～S5的动作。

在步骤S7中，信号线对错结果统计部107通过针对各信号线而统计由信号线对错判定部105而得到的全部试验中的各信号线的对错的判定结果，来计算出各信号线的对错结果统计值。在本实施方式中，信号线对错结果统计部107通过以下的计算式来计算出各信号线的对错结果统计值。

关注信号线的对错结果统计值＝关注信号线被判定为错误信号线的试验数/(某个信号线被判定为错误信号线的试验数+关注信号线被判定为正确的信号线的试验数)

此外，该式中的“某个信号线被判定为错误信号线的试验数”与在步骤S4中被判定为NG的试验数相同。

在上述的例子中，在试验结果表1201记载了四个NG，因此“某个信号线被判定为错误信号线的试验数＝4”，逻辑图601的哪个信号线都没有被判定为正确的信号线，因此“关注信号线被判定为正确的信号线的试验数＝0”。在图19所示的逻辑图601中，信号线对错结果统计部107所计算出的各信号线的对错结果统计值被备注为带下划线的值。

在步骤S8中，错误信号线推测部108根据信号线对错结果统计部107所计算出的各信号线的对错结果统计值来推测各信号线的错误可能性。在本实施方式中，错误信号线推测部108将对错结果统计值为“0”的信号线判定为“无错误可能性”，将对错结果统计值是最大值“4/4”的信号线判定为“错误可能性大”，将是对错结果统计值的除了0之外的最小值“1/4”的信号线判定为“错误可能性小”，将其它的信号线判定为“错误可能性中”。在图19所示的逻辑图601中，通过信号线的宽度等来表示错误信号线推测部108所推测的各信号线的错误可能性。

在步骤S9中，显示部109以能够区分错误信号线推测部108所推测的各信号线的错误可能性的显示方式将各信号线显示到逻辑图601上。作为其显示，例如也可以如图19所示地应用如下的显示方式：随着错误可能性以大、中、小变低而信号线的宽度变窄地表示信号线，没有可能性的信号线以虚线表示。由此，看到由显示部109进行的逻辑图601的显示的用户能够知道在加压器警报抑制信号输入202附近的错误可能性高，作为其结果，能够容易察觉到图2所示的求反运算符204的记载遗漏。

<动作例2>

在动作例2中，说明针对图20所示的逻辑图2001的、本实施方式的逻辑图显示装置的动作。该逻辑图2001与图2所示的逻辑图201相比，包含这样的错误：关于上限监视器运算符205的设定值正确的应该是“100”，但是被设定为“80”。在这种情况下，通过本实施方式的逻辑图显示装置的图5所示的动作，用户也能够容易地察觉到逻辑图2001的错误位置(上限监视器运算符205的设定值的错误)。

此外，与上述同样地，逻辑图2001被保存在逻辑图保存装置101中，并且该逻辑图2001的信号线状态值被保存在信号线状态值保存装置103中，直到进行步骤S1(图5)为止。

具体地说，与上述同样地，信号线状态值获取部104对逻辑图2001实施试验表401的各试验。由此，信号线状态值获取部104获取逻辑图2001上的各信号线的状态值(运算结果)、即信号线状态值。在图21所示的逻辑图2001中，通过对逻辑图2001实施试验表401的试验No1所获取的信号线状态值被备注为带下划线的值(TRUE、FALSE)。

接着，详细地说明在逻辑图2001中备注的试验No1的信号线状态值(图21)的获取。在试验No1中，对上限监视器运算符205、206、以及下限监视器运算符207、208，从加压器压力信号输入203输入模拟值“110”，因此上限监视器运算符205、206输出数字值“TRUE(1)”，下限监视器运算符207、208输出数字值“FALSE(0)”。另外，在试验No1中，对求反运算符204输入加压器警报抑制信号输入202的输出、即数字值“FALSE(0)”，因此求反运算符204输出反转了的数字值“TRUE(1)”。

对逻辑与运算符209、210分别输入上限监视器运算符205、206的输出(“TRUE(1)”)、和求反运算符204的输出即数字值“TRUE(1)”，因此逻辑与运算符209、210都输出数字值“TRUE(1)”。由此，数字值“TRUE(1)”分别被设定为加压器压力异常高信号输出213、加压器压力高信号输出214。另一方面，对逻辑与运算符211、212分别输入下限监视器运算符207、208的输出(“FALSE(0)”)、和求反运算符204的输出即数字值“TRUE(1)”，因此逻辑与运算符211、212都输出数字值“FALSE(0)”。由此，数字值“FALSE(0)”分别被设定为加压器压力低信号输出215、加压器压力异常低信号输出216。

信号线状态值获取部104通过与试验No1同样地对逻辑图2001实施试验No2～No5，来针对试验No2～No5获取逻辑图2001的信号线状态值。在图22～图25中，分别以与图21相同的形式示出了关于试验No2～No5的各信号线的信号线状态值。信号线状态值获取部104将获取到的信号线状态值保存到信号线状态值保存装置103。

接着，回到图5说明步骤S1以后的本实施方式的逻辑图显示装置的动作。这里，信号线对错判定部105在步骤S1中读入试验表401、在步骤S2中读入逻辑图2001。并且，在步骤S3中，信号线状态值获取部104读入与试验表401的相应试验(这里是试验No1)相对应的信号线状态值(这里是图21所示的信号线状态值)，并将其提供给信号线对错判定部105。

在步骤S4中，信号线对错判定部105比较来自信号线状态值获取部104的信号线状态值(这里是图21所示的信号线状态值)的输出值、和在步骤S1中读入的试验表(这里是试验表401)的输出值(期望值)，来判定相应试验(这里是试验No1)的对错。

图26是示出综合了关于各试验的逻辑图2001的信号线状态值的输出值、即对逻辑图2001实施了上述的试验No1～No5的结果的试验结果表2601的图。在该试验结果表2601中记载了与试验表401的输入值相同的加压器压力、加压器警报抑制的输入值，并且记载了图21～图25所示的加压器压力异常高、加压器压力高、加压器压力低、加压器压力异常低的信号线状态值的输出值、即实施试验No1～No5所获得的实际的输出值。该试验结果表2601的详细情况与试验结果表1201(图12)相同。

例如，试验结果表2601所示的、试验No1的加压器压力异常高信号输出213、加压器压力高信号输出214的信号线状态值的输出值是“TRUE(1)”，加压器压力低信号输出215、加压器压力异常低信号输出216的信号线状态值的输出值是“FALSE(0)”。另一方面，试验表401所示的、试验No1的加压器压力异常高信号输出213、加压器压力高信号输出214的所期望的输出值(期望值)是“TRUE(1)”，加压器压力低信号输出215、加压器压力异常低信号输出216的所期望的输出值(期望值)是“FALSE(0)”。

因而，关于试验No1的全部的输出，信号线状态值的输出值与期望值一致，因此信号线对错判定部105将试验No1判定为“OK”。作为该结果，在试验结果表2601(图26)的试验No1的结果栏记载了“OK”。此外，试验No2～No5也相同。

在步骤S5中，信号线追踪部106针对相应试验，根据各信号线的信号线状态值、试验表的输出值、按逻辑图的运算元件的每个类别所确定的追踪规则，来从逻辑图的输出侧向输入侧追踪信号线。并且，在该步骤S5中，信号线对错判定部105根据信号线追踪部106的追踪结果来针对相应试验判定逻辑图上的各信号线的对错。

作为具体的动作例，以下说明信号线追踪部106针对试验No1从逻辑图2001的输出侧向输入侧追踪信号线的动作。

在试验No1中，信号线状态值的输出值(图21)、与试验表401的输出值完全一致从而被判定为OK(图26)，因此信号线追踪部106选择图13的追踪规则中的正确的信号线的追踪规则。信号线追踪部106根据该选择出的正确的信号线的追踪规则，来从与试验表401的输出值一致的输出侧的信号线(这里是加压器压力异常高信号输出213、加压器压力高信号输出214、加压器压力低信号输出215以及加压器压力异常低信号输出216的信号线)向输入侧的信号线进行信号线的追踪。

这里，在紧接着加压器压力异常高信号输出213、加压器压力高信号输出214、加压器压力低信号输出215以及加压器压力异常低信号输出216之前记载了逻辑与运算符209、210、211、212，因此信号线追踪部106选择正确的信号线的追踪规则中的逻辑与运算符的追踪规则、在这里是图13所示的“在输出值为TRUE(1)的情况下追踪输入值为TRUE(1)的信号线，在输出值为FALSE(0)的情况下结束追踪”这样的追踪规则。并且，信号线追踪部106根据所选择的追踪规则来从加压器压力异常高信号输出213、加压器压力高信号输出214、加压器压力低信号输出215以及加压器压力异常低信号输出216的信号线追踪信号线。

具体地说，在逻辑图2001的试验No1的信号线状态值(图21)中，向加压器压力异常高信号输出213输入的信号线的状态值是“TRUE(1)”，因此信号线追踪部106追踪向逻辑与运算符209输入的信号线中的、输入值为“TRUE(1)”的信号线。通过重复相同的追踪，信号线追踪部106到达加压器警报抑制信号输入202以及加压器压力信号输入203，结束信号线的追踪。相同的追踪还在从加压器压力高信号输出214到加压器警报抑制信号输入202的一系列信号线、以及从加压器压力高信号输出214到加压器压力信号输入203的一系列信号线中进行。

另一方面，向加压器压力低信号输出215和加压器压力异常低信号输出216输入的信号线的状态值是“FALSE(0)”，因此信号线追踪部106根据上述所选择的追踪规则(在输出值为FALSE(0)的情况下结束追踪这样的追踪规则)，不对正确的信号线进行追踪。

之后，信号线对错判定部105将信号线追踪部106根据正确的信号线的追踪规则来追踪了的信号线全都判定为“正确的信号线”。在上述的例子中，从加压器压力异常高信号输出213到加压器警报抑制信号输入202的一系列信号线、从加压器压力异常高信号输出213到加压器压力信号输入203的一系列信号线、从加压器压力高信号输出214到加压器警报抑制信号输入202的一系列信号线、以及从加压器压力高信号输出214到加压器压力信号输入203的一系列信号线被判定为“正确的信号线”。在图21中，逻辑图2001中的、被信号线对错判定部105判定为正确的信号线的信号线以能够与其它的信号线区分的显示方式(这里是以白色空心粗箭头)来表示。

通过如以上那样的信号线对错判定部105以及信号线追踪部106的动作，判定关于试验No1的逻辑图2001的各信号线的对错。此外，步骤S3～S6在试验表401的各试验中执行，因此与上述相同的判定最终还在试验No2～No5中进行。在图22～图25中示出了关于试验No2～No5的各信号线的对错的判定结果。

回到图5，在步骤S5之后进行步骤S6～S9。在图27所示的逻辑图2001中，在步骤S7中信号线对错结果统计部107所计算出的各信号线的对错结果统计值被备注为带下划线的值。另外，在图27的逻辑图2001中，通过信号线的宽度等来示出在步骤S8中错误信号线推测部108所推测的各信号线的错误可能性。此外，在图27所示的例子中，错误信号线推测部108将是“0”的信号线判定为“无错误可能性”，将是对错结果统计值的最大值“1/2”的信号线判定为“错误可能性大”，将是对错结果统计值的除了0之外的最小值“1/4”的信号线判定为“错误可能性小”。

在步骤S9中，显示部109以能够区分错误信号线推测部108所推测的各信号线的错误可能性的显示方式将各信号线显示到逻辑图2001上。由此，看到由显示部109所进行的逻辑图2001的显示的用户能够知道在从加压器压力信号输入203与上限监视器运算符205之间的分支点到上限监视器运算符205、逻辑与运算符209、加压器压力异常高信号输出213之间错误可能性高，作为其结果，能够容易地察觉到上限监视器运算符205的设定值的错误。

根据如以上那样的本实施方式的逻辑图显示装置及其方法，信号线对错判定部105根据信号线状态值来针对各试验判定逻辑图上的各信号线的对错，信号线对错结果统计部107根据该判定结果计算出各信号线的对错结果统计值，错误信号线推测部108根据各信号线的对错结果统计值来推测逻辑图上的各信号线的错误，显示部109以与该各信号线的错误相应的显示方式将信号线显示到逻辑图上。由此，能够不需要预先制作故障字典等，且能够以少的计算时间推测逻辑图上的错误位置。

此外，在以上的说明中，说明了在图5所示的流程图所示的处理开始之前信号状态值获取部104获取信号状态值，并将其保存到信号线状态值保存装置103。但是不限于此，也可以针对图5所示的流程图所示的每个处理，信号状态值获取部104获取信号状态值。在这种情况下，与运算(获取)信号状态值的时间相应地，图5所示的流程图所示的处理被延迟，但是无需设置信号线状态值保存装置103。

此外，本发明能够在其发明的范围内适当对实施方式进行变形、省略。

<实施方式2>

图28是示出本发明的实施方式2的逻辑图显示装置的结构的框图。此外，在本实施方式的逻辑图显示装置中，对与在实施方式1中说明了的结构要素相同或者类似的部分附加相同的标记，以不同点为中心进行说明。

本实施方式的逻辑图显示装置是在实施方式1的逻辑图显示装置中追加图对错结果统计部110、图特性值计算部111、以及错误图推测部112而构成。

图对错结果统计部110根据信号线对错结果统计部107所计算出的各信号线的对错结果统计值来针对多个逻辑图计算出各逻辑图的对错结果统计值。这里，图对错结果统计部110将各逻辑图中的各信号线的对错结果统计值的最大值计算为各逻辑图的对错结果统计值。

图特性值计算部111分析各逻辑图来计算出各逻辑图的图特性值。

错误图推测部112根据图对错结果统计部110所计算出的各逻辑图的对错结果统计值来推测各逻辑图的错误。这里，错误图推测部112根据图对错结果统计部110所计算出的各逻辑图的对错结果统计值、和图特性值计算部111所计算出的各逻辑图的图特性值来推测各逻辑图的错误。作为通过错误图推测部112所推测的各逻辑图的错误，有各逻辑图的有无错误、以及各逻辑图错误的可能性等，但是在本实施方式中，设成是各逻辑图错误的可能性(以下还称为“各逻辑图的错误可能性”)来进行说明。

显示部109以与通过错误图推测部112所判定的各逻辑图的错误可能性相应的显示方式来显示逻辑图。这里，显示部109以能够区分通过错误图推测部112所判定的各逻辑图的错误可能性的显示方式来显示多个逻辑图。

如以上那样构成的本实施方式的逻辑图显示装置推测保存在逻辑图保存装置101中的一组逻辑图上的错误信号线来显示到该一组逻辑图上。

图29是示出一组逻辑图的一个例子的图。图29所示的一组逻辑图2901包含有四张逻辑图2902～2905，在这些逻辑图2902～2905中分割地描述了一个控制逻辑。

逻辑图2902～2905彼此的信号线通过图3所示的运算元件等的描述规则中记载的跳越运算符来逻辑上连接。将逻辑图01(2902)的跳越运算符2910的输出向逻辑图04(2905)的跳越运算符2923输入。同样地，将逻辑图02(2903)的跳越运算符2915的输出向逻辑图04(2905)的跳越运算符2924输入，并将逻辑图03(2904)的跳越运算符2921的输出向逻辑图04(2905)的跳越运算符2922输入。另外，在逻辑图2904中包含有用于进行乘法运算的运算元件2919、以及用于进行减法运算的运算元件2920。

图30是示出保存在试验表保存装置102中的试验表的一个例子的图。在图30所示的试验表3001中，针对试验No1～No4的各个试验以表格形式记载了输入值和所期望的输出值(期望值)的组合。此外，图29所示的逻辑图2902～2905在输入了试验表3001的各试验的输入值的情况下，输出与试验表3001的各试验的输出值相同的输出值。因而，根据试验表3001，逻辑图2902～2905被判断为正确。

<动作>

图31是示出本实施方式的逻辑图显示装置推测包含在一组逻辑图中的多个逻辑图上的错误信号线并将其显示到该多个逻辑图上的动作的流程图。以下详细地说明本实施方式的逻辑图显示装置使用判断逻辑图2902～2905为正确的试验表3001来进行错误位置的推测等的动作。此外，在图31所示的流程图中，进行在实施方式1中说明的步骤S1～S8、和步骤S21～S25。因此，以下以步骤S21～S25为中心进行说明。

以下说明针对包含在图32所示的一组逻辑图3201中的四张逻辑图3202～3205的、本实施方式的逻辑图显示装置的动作。该逻辑图3202～3205分别与图29所示的逻辑图2902～2905相比，包含这样的错误，即，逻辑图3205的上限监视器运算符2925的设定值正确的应该是“100”，但被设定为“200”。如以下所说明，根据本实施方式的逻辑图显示装置的图31所示的动作，用户能够容易地察觉到逻辑图2001的错误位置(上限监视器运算符2925的设定值的错误)。

此外，在本实施方式中，也与实施方式1同样地，将逻辑图3202～3205保存在逻辑图保存装置101，并且将该逻辑图3202～3205的信号线状态值保存在信号线状态值保存装置103，直到进行图31所示的步骤S1为止。在图33所示的逻辑图3202～3205中，通过对逻辑图3202～3205实施试验表3001的试验No3所获取到的信号线状态值被备注为带下划线的值(TRUE、FALSE)。

首先，在图31所示的步骤S1～S3中，与实施方式1同样地进行步骤S1～S3。在步骤S4中，与实施方式1同样地，信号线对错判定部105比较来自信号线状态值获取部104的信号线状态值的输出值、和在步骤S1中读入的试验表的输出值(期望值)来判定相应试验的对错。

图34是示出综合了关于各试验的逻辑图3202～3205的信号线状态值的输出值、即对逻辑图3202～3205实施上述的试验No1～No4的结果的试验结果表3401的图。另外，在试验结果表3401的结果栏中，与在实施方式1中说明的试验结果表1201(图12)同样地，示出了在步骤S4中信号线对错判定部105进行了判定的情况下的各试验(试验No1～No4)的对错的判定结果(OK、NG)。

在步骤S5(图31)中，与实施方式1同样地，信号线追踪部106针对相应试验，根据各信号线的信号线状态值、试验表的输出值、以及追踪规则来从逻辑图的输出侧向输入侧追踪信号线。并且，在该步骤S5中，信号线对错判定部105根据信号线追踪部106的追踪结果来针对相应试验判定逻辑图上的各信号线的对错。在图33中以与实施方式1相同的形式来示出了在步骤S5中信号线对错判定部105针对试验No3进行了判定的、逻辑图3202～3205上的各信号线的对错结果。

在步骤S6(图31)中，与实施方式1同样地，针对全部试验(这里是试验No1～4)判定是否进行了以上的步骤S3～S5的动作。在判定为针对全部试验进行了的情况下进入步骤S7，在没有判定为针对全部试验进行了的情况下回到步骤S3，针对剩余的试验进行步骤S3～S5的动作。

因此，针对试验No3以外的成功的试验No1、No2、No4(图34)也进行步骤S5。然而，即使针对试验No1、No2、No4进行步骤S5，根据图13所示的追踪规则，关于逻辑图3202～3205也没有任何信号线被判定为“正确的信号线”。

在步骤S7(图31)中，与实施方式1同样地，信号线对错结果统计部107通过针对各信号线而统计信号线对错判定部105所进行的全部试验中的各信号线的对错的判定结果，来计算出各信号线的对错结果统计值。在图35所示的逻辑图3202～3205中，信号线对错结果统计部107所计算出的各信号线的对错结果统计值被备注为带下划线的值。

在步骤S8(图31)中，错误信号线推测部108根据信号线对错结果统计部107所计算出的各信号线的对错结果统计值来推测各信号线的错误可能性。在本实施方式中，错误信号线推测部108将对错结果统计值是“0”的信号线判定为“无错误可能性”，将是对错结果统计值的最大值“1/1”的信号线判定为“错误可能性大”。在图35所示的逻辑图3202～3205中，通过信号线的宽度等来表示错误信号线推测部108所推测的各信号线的错误可能性。

在步骤S21中，图对错结果统计部110根据信号线对错结果统计部107所计算出的各信号线的对错结果统计值来计算出各逻辑图的对错结果统计值(以下有时还称为“图对错结果统计值”)。在本实施方式中，图对错结果统计值被设成是各逻辑图的信号线的对错结果统计值的最大值。在图35所示的逻辑图3202～3205中，图对错结果统计部110所计算出的图对错结果统计值被备注为被设置在各逻辑图3202～3205的右侧的用四方形包围的上侧区域的值。逻辑图01(3202)、逻辑图02(3203)的图对错结果统计值是“0/1”，逻辑图03(3204)、逻辑图04(3205)的图对错结果统计值是“1/1”。

在步骤S22中，图特性值计算部111计算出各逻辑图的图特性值。在本实施方式中，图特性值包含有在逻辑图中混入错误的难易度的指标值。以下，设为图特性值是作为该指标值的一个例子的逻辑图的复杂度来进行说明。

具体地说，如图36所示，规定了与包含在逻辑图中的运算元件的类别相应的复杂度，图特性值计算部111作为各逻辑图的复杂度计算出包含在各逻辑图中的运算元件的复杂度的总和。在图35所示的逻辑图3202～3205中，图特性值计算部111所计算出的图特性值被备注为被设置在各逻辑图3202～3205的右侧的用四方形包围的下侧区域的值。逻辑图01(3202)的复杂度是“6”、逻辑图02(3203)的复杂度是“6”、逻辑图03(3204)的复杂度是“8”、逻辑图04(3205)的复杂度是“10”。

在步骤S23中，判定是否针对与在步骤S1中读入的试验表(这里是试验表3001)相对应的全部的逻辑图(这里是逻辑图3202～3205)进行了以上的步骤S2～S8、S21以及S22。在判定为针对全部的逻辑图进行了的情况下进入步骤S24，在没有判定为对全部的逻辑图进行了的情况下回到步骤S2，来针对剩余的逻辑图进行以上的步骤S2～S8、S21以及S22的动作。由此，与在步骤S1中读入的一组逻辑图的数量对应地，重复以上的步骤S2～S8、S21以及S22。

在步骤S24中，错误图推测部112根据图对错结果统计部110所计算出的图对错结果统计值、和图特性值计算部111所计算出的各逻辑图的图特性值来推测各逻辑图的错误可能性。

在本实施方式中，错误图推测部112判定为图对错结果统计值越高，则逻辑图的错误可能性越高，在图对错结果统计值相同的情况下，设为图特性值越高则逻辑图的错误可能性越高。在图35所示的例子中，错误图推测部112将图对错结果统计值高的逻辑图3204以及逻辑图3205中的、图特性值高的逻辑图3205的错误可能性判定为最高。

在步骤S25中，显示部109以能够区分通过错误图推测部112所推测的各逻辑图的错误可能性的显示方式来显示各逻辑图3202～3205，并且以能够区分通过错误信号线推测部108所推测的各信号线的错误可能性的显示方式将各信号线显示到逻辑图3202～3205。图37示出了本实施方式的逻辑图显示装置的显示部109所进行的逻辑图的显示例。显示部109按照错误可能性从高到低的逻辑图的顺序来重新排列(在图37所示的例子中从上侧向下侧重新排列)，并且针对图对错结果统计值不是“0”的逻辑图将其整体以灰色进行着色等来进行显示(在图37中，为了图的显示，不用灰色而取而代之附加了沙地阴影)。此外，各信号线的显示方法与实施方式1相同。

根据如以上那样的本实施方式的逻辑图显示装置及其方法，图对错结果统计部110根据信号线对错结果统计部107所计算出的各信号线的对错结果统计值来计算出各逻辑图的对错结果统计值，图特性值计算部111计算出各逻辑图的图特性值，错误图推测部112根据各逻辑图的对错结果统计值以及图特性值来推测各逻辑图的错误。由此，不需要针对将控制逻辑分割为多个而描述的复杂的逻辑图预先制作故障字典等，且能够以少的计算时间来推测具有错误位置的逻辑图。

另外，根据本实施方式，图特性值计算部111计算出的各逻辑图的图特性值包含逻辑图的复杂度等在逻辑图中混入错误的难易度的指标值。由此，能够实现对具有错误位置的逻辑图的更恰当的推测。

<实施方式3>

图特性值计算部111以包含在逻辑图中的运算元件等的内容为基础计算出图特性值(逻辑图的复杂度)。在实施方式2中，按预先确定的运算元件的每个类别规定了复杂度，作为与包含在逻辑图中的各运算元件的类别相应的复杂度的总和，计算出图特性值(逻辑图的复杂度)。但是不限于此，还考虑不按运算元件的每个类别规定复杂度地计算出图特性值的方法。例如，图特性值计算部111也可以如下式所示地作为包含在逻辑图中的各运算元件的输入点的总数、输出点的总数、以及设定参数的总数的总和来计算出图特性值(逻辑图的复杂度)。

图特性值＝Ni+No+Np

这里，Ni是逻辑图的运算元件的输入点的总数，No是逻辑图的运算元件的输出点的总数，Np是逻辑图的运算元件的设定参数的总数。

在该计算方法中，相当于各运算元件的复杂度被定义为输入点、输出点、以及设定参数的总和，逻辑图的图特性值作为逻辑图的运算元件的复杂度的总和来计算出。

例如，输入运算符、输出运算符、跳越运算符等输入输出运算符具有输入点以及输出点中的某一个，不具有设定参数，因此这些运算元件的复杂度为“1”。这里，设定参数例如应用上下限的设定参数等。例如，仅图36所示的运算元件中的具有上下限的设定参数的上限监视器运算符以及下限监视器运算符具有设定参数。因此，上限监视器运算符以及下限监视器运算符的设定参数的数量是“1”，但是其它的运算元件的设定参数的数量为“0”。

说明使用该计算方法针对图35所示的逻辑图计算出图特性值(逻辑图的复杂度)的情况。在逻辑图01(3202)中包含有三个输入运算符2906、2907、2908、一个逻辑与运算符2909、以及一个跳越运算符2910。逻辑与运算符2909的输入点是三个，跳越运算符2910的输入点是一个，因此Ni＝4。输入运算符2906、2907、2908各自的输出点是一个，逻辑与运算符2909的输出点是一个，因此No＝4。如上述那样，输入运算符、逻辑与运算符以及跳越运算符的设定参数是0，因此Np＝0。因而，逻辑图01(3202)的图特性值被计算为“8”(＝4+4+0)。逻辑图02(3203)的图特性值也同样地被计算为“8”(＝4+4+0)。

在逻辑图03(3204)中包含有三个输入运算符2916、2917、2918、用于进行乘法运算的运算元件2919、用于进行减法运算的运算元件2920、以及跳越运算符2921。用于进行乘法运算的运算元件2919的输入点是两个，用于进行减法运算的运算元件2920的输入点是两个，跳越运算符2921的输入点是一个，因此Ni＝5。输入运算符2916、2917、2918各自的输出点是一个，用于进行乘法运算的运算元件2919的输出点是一个，用于进行减法运算的运算元件2920的输出点是一个，因此No＝5。输入运算符、逻辑与运算符以及跳越运算符等的设定参数是0，因此Np＝0。因而，逻辑图03(3204)的图特性值被计算为“10”(＝5+5+0)。

在逻辑图04(3205)中包含有三个跳越运算符2922、2923、2924、上限监视器运算符2925、逻辑与运算符2926、以及输出运算符2927。上限监视器运算符2925的输入点是一个，逻辑与运算符2926的输入点是三个，输出运算符2927的输入点是一个，因此Ni＝5。跳越运算符2922、2923、2924各自的输出点是一个，上限监视器运算符2925的输出点是一个，逻辑与运算符2926的输出点是一个，因此No＝5。上限监视器运算符2925的设定参数是“1”，因此Np＝1。因而，逻辑图04(3205)的图特性值被计算为“11”(＝5+5+1)。

在以上的例子中，错误图推测部112将图对错结果统计值高的逻辑图3204以及逻辑图3205中的图特性值高的逻辑图3205的错误可能性判定为最高，与实施方式2同样地，以图37所示的显示方式显示逻辑图。

根据如以上那样的本实施方式，在具有错误位置的逻辑图的推测中，能够不针对运算元件的每个类别规定复杂度而计算出图特性值。

此外，本发明能够在其发明的范围内对实施方式进行适当变形、省略。

Claims (7)

1.一种逻辑图错误位置推测装置，推测包含进行运算的运算元件和连接所述运算元件彼此之间的信号线的逻辑图中的错误位置，该逻辑图错误位置推测装置的特征在于，具备：

逻辑图保存装置(101)，保存所述逻辑图；

试验表保存装置(102)，保存作为用于判断所述逻辑图的对错的各试验的输入值以及输出值的对应表的试验表；

信号线对错判定部(105)，根据通过针对所述逻辑图实施所述试验表的所述各试验而针对所述各试验获取到的、所述逻辑图上的各信号线的信号线状态值、和所述试验表，来针对所述各试验判定所述各信号线的对错；

信号线对错结果统计部(107)，根据基于所述信号线对错判定部(105)的所述各信号线的对错的判定结果，来计算出所述各信号线的对错结果统计值；

错误信号线推测部(108)，根据所述信号线对错结果统计部(107)所计算出的所述各信号线的对错结果统计值来推测所述各信号线的错误；以及

显示部(109)，以与通过所述错误信号线推测部(108)所推测的所述各信号线的错误相应的显示方式，将所述各信号线显示到所述逻辑图上。

2.根据权利要求1所述的逻辑图错误位置推测装置，其特征在于，

所述逻辑图错误位置推测装置还具备信号线追踪部(106)，该信号线追踪部(106)根据所述各信号线的所述信号线状态值、所述试验表的所述输出值、和按所述逻辑图的所述运算元件的每个类别确定的追踪规则，来从所述逻辑图的输出侧向输入侧追踪所述信号线，

所述信号线对错判定部(105)根据所述信号线追踪部(106)的追踪结果来判定所述逻辑图上的所述各信号线的对错。

3.根据权利要求1或者2所述的逻辑图错误位置推测装置，其特征在于，还具备：

图对错结果统计部(110)，根据所述信号线对错结果统计部(107)所计算出的所述各信号线的对错结果统计值来针对多个所述逻辑图计算出各所述逻辑图的对错结果统计值；以及

错误图推测部(112)，根据所述图对错结果统计部(110)所计算出的所述各逻辑图的对错结果统计值来推测所述各逻辑图的错误，

所述显示部(109)以与通过所述错误图推测部所推测的所述各逻辑图的错误相应的显示方式来显示所述逻辑图。

4.根据权利要求3所述的逻辑图错误位置推测装置，其特征在于，

所述逻辑图错误位置推测装置还具备图特性值计算部(111)，该图特性值计算部(111)计算出所述各逻辑图的图特性值，

所述错误图推测部(112)根据所述图对错结果统计部所计算出的所述各逻辑图的对错结果统计值、和所述图特性值计算部所计算出的所述各逻辑图的图特性值来推测所述各逻辑图的错误。

5.根据权利要求4所述的逻辑图错误位置推测装置，其特征在于，

所述图特性值计算部(111)计算出的所述各逻辑图的图特性值包含在所述各逻辑图中混入错误的难易度的指标值。

6.根据权利要求4所述的逻辑图错误位置推测装置，其特征在于，

所述图特性值计算部(111)作为包含在所述各逻辑图中的各所述运算元件的输入点的总数、输出点的总数、以及设定参数的总数的总和，来计算出所述各逻辑图的图特性值。

7.一种逻辑图错误位置推测方法，推测包含进行运算的运算元件和连接所述运算元件彼此之间的信号线的逻辑图中的错误位置，该逻辑图错误位置推测方法的特征在于，包括如下工序：

(a)通过针对所述逻辑图实施作为用于判断所述逻辑图的对错的各试验的输入值以及输出值的对应表的试验表的所述各试验，针对所述各试验获取该逻辑图上的各信号线的信号线状态值；

(b)根据在所述工序(a)中获取到的信号线状态值、和所述试验表来针对所述各试验判定所述各信号线的对错；

(c)根据基于所述工序(b)的所述各信号线的对错的判定结果来计算出所述各信号线的对错结果统计值；

(d)根据在所述工序(c)中计算出的所述各信号线的对错结果统计值来推测所述各信号线的错误；以及

(e)以与在所述工序(d)中推测的所述各信号线的错误相应的显示方式将所述各信号线显示到所述逻辑图上。