特性值高的邏輯圖3205的錯(cuò)誤可能性判定為最高。
[0171]在步驟S25中，顯示部109以能夠區(qū)分通過(guò)錯(cuò)誤圖推測(cè)部112所推測(cè)的各邏輯圖的錯(cuò)誤可能性的顯示方式來(lái)顯示各邏輯圖3202?3205，并且以能夠區(qū)分通過(guò)錯(cuò)誤信號(hào)線推測(cè)部108所推測(cè)的各信號(hào)線的錯(cuò)誤可能性的顯示方式將各信號(hào)線顯示到邏輯圖3202?3205。圖37示出了本實(shí)施方式的邏輯圖顯示裝置的顯示部109所進(jìn)行的邏輯圖的顯示例。顯示部109按照錯(cuò)誤可能性從高到低的邏輯圖的順序來(lái)重新排列(在圖37所示的例子中從上側(cè)向下側(cè)重新排列)，并且針對(duì)圖對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)值不是“O”的邏輯圖將其整體以灰色進(jìn)行著色等來(lái)進(jìn)行顯示(在圖37中，為了圖的顯示，不用灰色而取而代之附加了沙地陰影)。此外，各信號(hào)線的顯示方法與實(shí)施方式I相同。
[0172]根據(jù)如以上那樣的本實(shí)施方式的邏輯圖顯示裝置及其方法，圖對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)部110根據(jù)信號(hào)線對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)部107所計(jì)算出的各信號(hào)線的對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)值來(lái)計(jì)算出各邏輯圖的對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)值，圖特性值計(jì)算部111計(jì)算出各邏輯圖的圖特性值，錯(cuò)誤圖推測(cè)部112根據(jù)各邏輯圖的對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)值以及圖特性值來(lái)推測(cè)各邏輯圖的錯(cuò)誤。由此，不需要針對(duì)將控制邏輯分割為多個(gè)而描述的復(fù)雜的邏輯圖預(yù)先制作故障字典等，且能夠以少的計(jì)算時(shí)間來(lái)推測(cè)具有錯(cuò)誤位置的邏輯圖。
[0173]另外，根據(jù)本實(shí)施方式，圖特性值計(jì)算部111計(jì)算出的各邏輯圖的圖特性值包含邏輯圖的復(fù)雜度等在邏輯圖中混入錯(cuò)誤的難易度的指標(biāo)值。由此，能夠?qū)崿F(xiàn)對(duì)具有錯(cuò)誤位置的邏輯圖的更恰當(dāng)?shù)耐茰y(cè)。
[0174]〈實(shí)施方式3>
[0175]圖特性值計(jì)算部111以包含在邏輯圖中的運(yùn)算元件等的內(nèi)容為基礎(chǔ)計(jì)算出圖特性值(邏輯圖的復(fù)雜度)。在實(shí)施方式2中，按預(yù)先確定的運(yùn)算元件的每個(gè)類別規(guī)定了復(fù)雜度，作為與包含在邏輯圖中的各運(yùn)算元件的類別相應(yīng)的復(fù)雜度的總和，計(jì)算出圖特性值(邏輯圖的復(fù)雜度)。但是不限于此，還考慮不按運(yùn)算元件的每個(gè)類別規(guī)定復(fù)雜度地計(jì)算出圖特性值的方法。例如，圖特性值計(jì)算部111也可以如下式所示地作為包含在邏輯圖中的各運(yùn)算元件的輸入點(diǎn)的總數(shù)、輸出點(diǎn)的總數(shù)、以及設(shè)定參數(shù)的總數(shù)的總和來(lái)計(jì)算出圖特性值(邏輯圖的復(fù)雜度)。
[0176]圖特性值=Ni+No+Np
[0177]這里，Ni是邏輯圖的運(yùn)算元件的輸入點(diǎn)的總數(shù)，No是邏輯圖的運(yùn)算元件的輸出點(diǎn)的總數(shù)，Np是邏輯圖的運(yùn)算元件的設(shè)定參數(shù)的總數(shù)。
[0178]在該計(jì)算方法中，相當(dāng)于各運(yùn)算元件的復(fù)雜度被定義為輸入點(diǎn)、輸出點(diǎn)、以及設(shè)定參數(shù)的總和，邏輯圖的圖特性值作為邏輯圖的運(yùn)算元件的復(fù)雜度的總和來(lái)計(jì)算出。
[0179]例如，輸入運(yùn)算符、輸出運(yùn)算符、跳越運(yùn)算符等輸入輸出運(yùn)算符具有輸入點(diǎn)以及輸出點(diǎn)中的某一個(gè)，不具有設(shè)定參數(shù)，因此這些運(yùn)算元件的復(fù)雜度為“ I”。這里，設(shè)定參數(shù)例如應(yīng)用上下限的設(shè)定參數(shù)等。例如，僅圖36所示的運(yùn)算元件中的具有上下限的設(shè)定參數(shù)的上限監(jiān)視器運(yùn)算符以及下限監(jiān)視器運(yùn)算符具有設(shè)定參數(shù)。因此，上限監(jiān)視器運(yùn)算符以及下限監(jiān)視器運(yùn)算符的設(shè)定參數(shù)的數(shù)量是“ 1”，但是其它的運(yùn)算元件的設(shè)定參數(shù)的數(shù)量為“O”。
[0180]說(shuō)明使用該計(jì)算方法針對(duì)圖35所示的邏輯圖計(jì)算出圖特性值(邏輯圖的復(fù)雜度)的情況。在邏輯圖01 (3202)中包含有三個(gè)輸入運(yùn)算符2906、2907、2908、一個(gè)邏輯與運(yùn)算符2909、以及一個(gè)跳越運(yùn)算符2910。邏輯與運(yùn)算符2909的輸入點(diǎn)是三個(gè)，跳越運(yùn)算符2910的輸入點(diǎn)是一個(gè)，因此Ni =4。輸入運(yùn)算符2906、2907、2908各自的輸出點(diǎn)是一個(gè)，邏輯與運(yùn)算符2909的輸出點(diǎn)是一個(gè)，因此No = 4。如上述那樣，輸入運(yùn)算符、邏輯與運(yùn)算符以及跳越運(yùn)算符的設(shè)定參數(shù)是0，因此Np = O。因而，邏輯圖01 (3202)的圖特性值被計(jì)算為“8”(=4+4+0) ο邏輯圖02(3203)的圖特性值也同樣地被計(jì)算為“8”( = 4+4+0)。
[0181]在邏輯圖03(3204)中包含有三個(gè)輸入運(yùn)算符2916、2917、2918、用于進(jìn)行乘法運(yùn)算的運(yùn)算元件2919、用于進(jìn)行減法運(yùn)算的運(yùn)算元件2920、以及跳越運(yùn)算符2921。用于進(jìn)行乘法運(yùn)算的運(yùn)算元件2919的輸入點(diǎn)是兩個(gè)，用于進(jìn)行減法運(yùn)算的運(yùn)算元件2920的輸入點(diǎn)是兩個(gè)，跳越運(yùn)算符2921的輸入點(diǎn)是一個(gè)，因此Ni = 5。輸入運(yùn)算符2916、2917、2918各自的輸出點(diǎn)是一個(gè)，用于進(jìn)行乘法運(yùn)算的運(yùn)算元件2919的輸出點(diǎn)是一個(gè)，用于進(jìn)行減法運(yùn)算的運(yùn)算元件2920的輸出點(diǎn)是一個(gè)，因此No = 5。輸入運(yùn)算符、邏輯與運(yùn)算符以及跳越運(yùn)算符等的設(shè)定參數(shù)是0，因此Np = O0因而，邏輯圖03(3204)的圖特性值被計(jì)算為“ 10” (=5+5+0)。
[0182]在邏輯圖04(3205)中包含有三個(gè)跳越運(yùn)算符2922、2923、2924、上限監(jiān)視器運(yùn)算符2925、邏輯與運(yùn)算符2926、以及輸出運(yùn)算符2927。上限監(jiān)視器運(yùn)算符2925的輸入點(diǎn)是一個(gè)，邏輯與運(yùn)算符2926的輸入點(diǎn)是三個(gè)，輸出運(yùn)算符2927的輸入點(diǎn)是一個(gè)，因此Ni = 5。跳越運(yùn)算符2922、2923、2924各自的輸出點(diǎn)是一個(gè)，上限監(jiān)視器運(yùn)算符2925的輸出點(diǎn)是一個(gè)，邏輯與運(yùn)算符2926的輸出點(diǎn)是一個(gè)，因此No = 5。上限監(jiān)視器運(yùn)算符2925的設(shè)定參數(shù)是“1”，因此Np = 1因而，邏輯圖04(3205)的圖特性值被計(jì)算為“ 11” ( = 5+5+1)。
[0183]在以上的例子中，錯(cuò)誤圖推測(cè)部112將圖對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)值高的邏輯圖3204以及邏輯圖3205中的圖特性值高的邏輯圖3205的錯(cuò)誤可能性判定為最高，與實(shí)施方式2同樣地，以圖37所示的顯示方式顯示邏輯圖。
[0184]根據(jù)如以上那樣的本實(shí)施方式，在具有錯(cuò)誤位置的邏輯圖的推測(cè)中，能夠不針對(duì)運(yùn)算元件的每個(gè)類別規(guī)定復(fù)雜度而計(jì)算出圖特性值。
[0185] 此外，本發(fā)明能夠在其發(fā)明的范圍內(nèi)對(duì)實(shí)施方式進(jìn)行適當(dāng)變形、省略。
【主權(quán)項(xiàng)】
1.一種邏輯圖錯(cuò)誤位置推測(cè)裝置，推測(cè)包含進(jìn)行運(yùn)算的運(yùn)算元件和連接所述運(yùn)算元件彼此之間的信號(hào)線的邏輯圖中的錯(cuò)誤位置，該邏輯圖錯(cuò)誤位置推測(cè)裝置的特征在于，具備: 邏輯圖保存裝置(101)，保存所述邏輯圖； 試驗(yàn)表保存裝置(102)，保存作為用于判斷所述邏輯圖的對(duì)錯(cuò)的各試驗(yàn)的輸入值以及輸出值的對(duì)應(yīng)表的試驗(yàn)表； 信號(hào)線對(duì)錯(cuò)判定部(105)，根據(jù)通過(guò)針對(duì)所述邏輯圖實(shí)施所述試驗(yàn)表的所述各試驗(yàn)而針對(duì)所述各試驗(yàn)獲取到的、所述邏輯圖上的各信號(hào)線的信號(hào)線狀態(tài)值、和所述試驗(yàn)表，來(lái)針對(duì)所述各試驗(yàn)判定所述各信號(hào)線的對(duì)錯(cuò)； 信號(hào)線對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)部(107)，根據(jù)基于所述信號(hào)線對(duì)錯(cuò)判定部(105)的所述各信號(hào)線的對(duì)錯(cuò)的判定結(jié)果，來(lái)計(jì)算出所述各信號(hào)線的對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)值； 錯(cuò)誤信號(hào)線推測(cè)部(108)，根據(jù)所述信號(hào)線對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)部(107)所計(jì)算出的所述各信號(hào)線的對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)值來(lái)推測(cè)所述各信號(hào)線的錯(cuò)誤；以及 顯示部(109)，以與通過(guò)所述錯(cuò)誤信號(hào)線推測(cè)部(108)所推測(cè)的所述各信號(hào)線的錯(cuò)誤相應(yīng)的顯示方式，將所述各信號(hào)線顯示到所述邏輯圖上。
2.根據(jù)權(quán)利要求1所述的邏輯圖錯(cuò)誤位置推測(cè)裝置，其特征在于， 所述邏輯圖錯(cuò)誤位置推測(cè)裝置還具備信號(hào)線追蹤部(106)，該信號(hào)線追蹤部(106)根據(jù)所述各信號(hào)線的所述信號(hào)線狀態(tài)值、所述試驗(yàn)表的所述輸出值、和按所述邏輯圖的所述運(yùn)算元件的每個(gè)類別確定的追蹤規(guī)則，來(lái)從所述邏輯圖的輸出側(cè)向輸入側(cè)追蹤所述信號(hào)線， 所述信號(hào)線對(duì)錯(cuò)判定部(105)根據(jù)所述信號(hào)線追蹤部(106)的追蹤結(jié)果來(lái)判定所述邏輯圖上的所述各信號(hào)線的對(duì)錯(cuò)。
3.根據(jù)權(quán)利要求1或者2所述的邏輯圖錯(cuò)誤位置推測(cè)裝置，其特征在于，還具備: 圖對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)部(110)，根據(jù)所述信號(hào)線對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)部(107)所計(jì)算出的所述各信號(hào)線的對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)值來(lái)針對(duì)多個(gè)所述邏輯圖計(jì)算出各所述邏輯圖的對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)值；以及 錯(cuò)誤圖推測(cè)部(112)，根據(jù)所述圖對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)部(110)所計(jì)算出的所述各邏輯圖的對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)值來(lái)推測(cè)所述各邏輯圖的錯(cuò)誤， 所述顯示部(109)以與通過(guò)所述錯(cuò)誤圖推測(cè)部所推測(cè)的所述各邏輯圖的錯(cuò)誤相應(yīng)的顯示方式來(lái)顯示所述邏輯圖。
4.根據(jù)權(quán)利要求3所述的邏輯圖錯(cuò)誤位置推測(cè)裝置，其特征在于， 所述邏輯圖錯(cuò)誤位置推測(cè)裝置還具備圖特性值計(jì)算部(111)，該圖特性值計(jì)算部(111)計(jì)算出所述各邏輯圖的圖特性值， 所述錯(cuò)誤圖推測(cè)部(112)根據(jù)所述圖對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)部所計(jì)算出的所述各邏輯圖的對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)值、和所述圖特性值計(jì)算部所計(jì)算出的所述各邏輯圖的圖特性值來(lái)推測(cè)所述各邏輯圖的錯(cuò)誤。
5.根據(jù)權(quán)利要求4所述的邏輯圖錯(cuò)誤位置推測(cè)裝置，其特征在于， 所述圖特性值計(jì)算部(111)計(jì)算出的所述各邏輯圖的圖特性值包含在所述各邏輯圖中混入錯(cuò)誤的難易度的指標(biāo)值。
6.根據(jù)權(quán)利要求4所述的邏輯圖錯(cuò)誤位置推測(cè)裝置，其特征在于， 所述圖特性值計(jì)算部(111)作為包含在所述各邏輯圖中的各所述運(yùn)算元件的輸入點(diǎn)的總數(shù)、輸出點(diǎn)的總數(shù)、以及設(shè)定參數(shù)的總數(shù)的總和，來(lái)計(jì)算出所述各邏輯圖的圖特性值。
7.一種邏輯圖錯(cuò)誤位置推測(cè)方法，推測(cè)包含進(jìn)行運(yùn)算的運(yùn)算元件和連接所述運(yùn)算元件彼此之間的信號(hào)線的邏輯圖中的錯(cuò)誤位置，該邏輯圖錯(cuò)誤位置推測(cè)方法的特征在于，包括如下工序: (a)通過(guò)針對(duì)所述邏輯圖實(shí)施作為用于判斷所述邏輯圖的對(duì)錯(cuò)的各試驗(yàn)的輸入值以及輸出值的對(duì)應(yīng)表的試驗(yàn)表的所述各試驗(yàn)，針對(duì)所述各試驗(yàn)獲取該邏輯圖上的各信號(hào)線的信號(hào)線狀態(tài)值； (b)根據(jù)在所述工序(a)中獲取到的信號(hào)線狀態(tài)值、和所述試驗(yàn)表來(lái)針對(duì)所述各試驗(yàn)判定所述各信號(hào)線的對(duì)錯(cuò)； (C)根據(jù)基于所述工序(b)的所述各信號(hào)線的對(duì)錯(cuò)的判定結(jié)果來(lái)計(jì)算出所述各信號(hào)線的對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)值； (d)根據(jù)在所述工序(C)中計(jì)算出的所述各信號(hào)線的對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)值來(lái)推測(cè)所述各信號(hào)線的錯(cuò)誤；以及 (e)以與在所述工序(d)中推測(cè)的所述各信號(hào)線的錯(cuò)誤相應(yīng)的顯示方式將所述各信號(hào)線顯示到所述邏輯圖上。
【專利摘要】本發(fā)明的目的在于提供一種能夠恰當(dāng)?shù)赝茰y(cè)邏輯圖的錯(cuò)誤位置的技術(shù)。邏輯圖顯示裝置具備：信號(hào)線對(duì)錯(cuò)判定部(105)，根據(jù)邏輯圖上的各信號(hào)線的信號(hào)線狀態(tài)值、和試驗(yàn)表來(lái)針對(duì)各試驗(yàn)判定各信號(hào)線的對(duì)錯(cuò)；以及信號(hào)線對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)部(107)，根據(jù)各信號(hào)線的對(duì)錯(cuò)的判定結(jié)果來(lái)計(jì)算出各信號(hào)線的對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)值。另外，邏輯圖顯示裝置具備：錯(cuò)誤信號(hào)線推測(cè)部(108)，根據(jù)各信號(hào)線的對(duì)錯(cuò)結(jié)果統(tǒng)計(jì)值來(lái)推測(cè)各信號(hào)線的錯(cuò)誤；以及顯示部(109)，以與各信號(hào)線的錯(cuò)誤相應(yīng)的顯示方式將各信號(hào)線顯示到邏輯圖上。
【IPC分類】G05B19-05
【公開(kāi)號(hào)】CN104520778
【申請(qǐng)?zhí)枴緾N201380041755
【發(fā)明人】吉永光伸, 大井忠, 津高新一郎, 中川雅代
【申請(qǐng)人】三菱電機(jī)株式會(huì)社
【公開(kāi)日】2015年4月15日
【申請(qǐng)日】2013年7月12日
【公告號(hào)】US20150177322, WO2014024640A1