專利名稱:故障搜索方法和故障搜索設(shè)備的制作方法
技術(shù)領(lǐng)域:
本發(fā)明涉及一種故障搜索方法和一種裝置,該方法用于具有例如硬件模型,軟件程序與/或一個測試裝置模型這樣的不同仿真模型的系統(tǒng),該裝置用于在具有這些不同仿真模型的系統(tǒng)中進行故障搜索,這些不同的仿真模型可非常好地用在電子電路的設(shè)計中等等,在這種情況下,被仿真的系統(tǒng)是一個電子電路。
背景技術(shù):
通過一個測試環(huán)境中受控的并裝有測量儀表的程序的處理步驟(如眾所周知的調(diào)試)來仿真一個系統(tǒng),故障被找到并且被不同的仿真模型仿真。本發(fā)明的上下文中,術(shù)語“仿真模型”包括特定的硬件模型,軟件程序和測試裝置模型。這樣一個系統(tǒng)可以用下面的例子來描述,例如使用三類語言用于硬件的一個或多個硬件描述語言(HDL),用于軟件的一個或多個程序語言(PL),和用于測試裝置的測試語言(TL)或硬件確認(rèn)語言(HVL)。
當(dāng)在數(shù)據(jù)處理程序中進行故障搜索的時候,通常被搜索檢查故障的模型或程序在一個故障搜索工具或被稱為調(diào)試器的故障搜索程序的控制下來執(zhí)行。此時故障搜索程序被檢索,這是順序檢索模型和程序以檢查通常包含一個中斷點的模型或程序。當(dāng)?shù)竭_(dá)中斷點時,將被檢查的程序的下一步處理被停止并且調(diào)試器回朔。
在用于上述語言的每一類的傳統(tǒng)故障搜索程序中,例如用于每個模型,都是使用具有它自己的命令和接口的單獨故障搜索程序。優(yōu)勢在于對各類語言可以使用最適宜的調(diào)試器,相對應(yīng)的缺點是用于不同模型的各種調(diào)試器的運行是不同的并且用戶必須監(jiān)控計算機工作站屏幕上的許多命令接口和窗口。
發(fā)明概述因此本發(fā)明的目的是制造一個用于具有不同的仿真模型的系統(tǒng)的故障搜索處理以及相應(yīng)的故障搜索設(shè)備,該處理可以避免上述的缺點,特別是對用戶來說容易使用和控制。
這個任務(wù)通過具有權(quán)利要求1特征的故障搜索程序或具有權(quán)利要求9特征的故障搜索設(shè)備來解決。本發(fā)明在設(shè)計和改進方面的優(yōu)點是從屬權(quán)利要求的主題。
依照本發(fā)明的在具有幾個不同仿真模型例如硬件模型,軟件模型/程序和測試臺模型的系統(tǒng)中進行故障搜索,用戶執(zhí)行一個高級故障搜索工具(調(diào)試器),該調(diào)試器依次激活各個分配給不同仿真模型的輔助故障搜索工具(調(diào)試器)并與其通信。每個輔助故障搜索工具可訪問它的已分配仿真模型以便跟蹤系統(tǒng)中(或者在有關(guān)的仿真模塊中)的故障。通過提供更高的命令,相同的和普遍的故障搜索工具,用戶用自己的命令,自己的命令解釋程序和自己的接口來訪問統(tǒng)一的接口以簡單化在用戶的單獨仿真模型中的故障搜索。同時不同仿真模型的最優(yōu)調(diào)試器可用作輔助故障搜索工具,因此盡管為用戶簡化了操作,最優(yōu)故障搜索的結(jié)果仍能夠得到保證。
高級故障搜索工具也能夠直接干涉與控制和分析有關(guān)的仿真模型,也就是無需相應(yīng)的輔助故障搜索工具的中間物。
通信最好是以主工作站或主從屬通信的形式在統(tǒng)一的高級故障搜索工具及單獨輔助的且特定的故障搜索工具之間產(chǎn)生,高極故障搜索工具作為主機進行操作,輔助故障搜索工具作為工作站或從屬進行操作。
本發(fā)明最后用在電子電路(硬件設(shè)計)的開發(fā)或仿真/檢驗。
參考所公開的附圖,利用各種實施例在下面對本發(fā)明進行更詳細(xì)的說明。這些表示圖1是一個依據(jù)本發(fā)明的用于故障搜索的設(shè)備的第一個實施例的結(jié)構(gòu)示意圖。
圖2是一個依據(jù)本發(fā)明的用于故障搜索的設(shè)備的第二個實施例的結(jié)構(gòu)示意圖。
圖3是說明依據(jù)本發(fā)明的故障搜索處理的一個功能過程的示意性流程圖。
圖4是說明依據(jù)本發(fā)明的故障搜索處理的另一個功能過程的示意性流程圖。
圖5是說明依據(jù)本發(fā)明的故障搜索處理的又一個功能過程的示意性流程圖。
具體實施例方式
圖1首先給出了依據(jù)本發(fā)明的用于執(zhí)行故障搜索處理的設(shè)備的第一個實施例的基本結(jié)構(gòu)。
本例中被仿真的系統(tǒng)1被構(gòu)造為三個不同的仿真模塊2-4,為了簡單在下邊被引證為模型。例如,模型2,3,4(圖1中用I到III標(biāo)記)是一個硬件模型,軟件模型/程序和一個測試臺模型,在這些模型中通過與最初解釋相關(guān)的語言對系統(tǒng)進行描述。另外存在于所存儲形式之中的不同模型2,3,4通常相互通信。模型的數(shù)目或所使用的語言類沒有被確定,只有兩種語言例如硬件描述語言和測試語言被使用,即它也可仿真只包含一個硬件模型和一個軟件程序的系統(tǒng)并且對這個系統(tǒng)進行搜索故障。
被模擬的系統(tǒng)1的所有的模型2,3,4以調(diào)試器5至7的形式具有與故障搜索工具相對應(yīng)的接口8,9,10,故障搜索工具特別與有關(guān)的模型相匹配,即每個模型2,3,4都被提供一個具有其自己不同命令的最優(yōu)調(diào)試器。
與傳統(tǒng)的故障搜索設(shè)備相比,依照本發(fā)明中的故障搜索設(shè)備,用戶不需要處理并控制幾個不同的特定的調(diào)試器5-7。更適合的,用戶以統(tǒng)一的調(diào)試器11的形式來訪問一個高級的命令故障搜索工具,經(jīng)由一個適當(dāng)?shù)挠脩艚涌?2他可使用該調(diào)試器。統(tǒng)一的調(diào)試器11具有對它自己的命令進行解釋的它自己的命令解釋程序并且可適用在自己特有圖形接口上。這個命令解釋程序把自己特有的命令轉(zhuǎn)換成為不同的特定調(diào)試器5,6,7的相應(yīng)的命令并且將已轉(zhuǎn)換命令提供給單獨的特定調(diào)試器5,6,7以通過訪問有關(guān)的模型來處理相應(yīng)的故障搜索操作。相反,統(tǒng)一調(diào)試器11的命令解釋程序轉(zhuǎn)換由不同的特定調(diào)試器5,6,7提供的命令或輸出和反饋,使得他們能夠輸出給用戶并且經(jīng)由用戶接口12顯示在一個標(biāo)準(zhǔn)的窗口。
在依據(jù)這個實施例的故障搜查裝置中,如在模型系統(tǒng)中,用戶不必并行控制幾個調(diào)試器5-7,而是該用戶僅僅操作或控制統(tǒng)一的調(diào)試器11。因此對于用戶來說故障搜查的執(zhí)行是相當(dāng)簡單化。
根據(jù)本發(fā)明的故障搜查裝置的另一實施例如圖2.所示。相同配置的元件使用和如圖1的第一實施例中相同的數(shù)字標(biāo)號。
第二實施例與如圖1所示的實施例的不同之處是省略了用于軟件程序3的特定調(diào)制器6。這意味著統(tǒng)一的調(diào)試器11在這種情況下直接訪問軟件程序3的調(diào)試器接口9用于控制和分析。在UNIX操作系統(tǒng)中術(shù)語"公共的對象格式"用于與這樣的調(diào)試器接口9連接。在這種情況下通用接口8或10被提供給有關(guān)的硬件模型2與/或測試臺模型4,同樣地當(dāng)統(tǒng)一的調(diào)試器11能夠直接地作用于硬件模型2或測試臺模型4時硬件調(diào)試器5和測試臺調(diào)試器7可以省略。
用在根據(jù)本發(fā)明兩個實施例的故障搜查裝置中的統(tǒng)的調(diào)試器11和特定輔助調(diào)試器5,6及7之間的通信最好是以所謂的主-從通信為基礎(chǔ)。貫穿整個仿真,統(tǒng)一的調(diào)試器11為主而單獨的特定調(diào)試器5,6和7為輔。因此所使用的從統(tǒng)一調(diào)試器11到調(diào)試器5,6和7中的一個可通過認(rèn)可被確認(rèn)。這樣的認(rèn)可可以例如僅僅是提示,也就是由有關(guān)的調(diào)試器5-7所請求的更新輸入。除需要這個認(rèn)可之外,例如如果高級的統(tǒng)一調(diào)試器11下命令給輔助特定調(diào)試器5,6,7計算一對象的值的話,相關(guān)的特定調(diào)試器5,6,7將例如這個對象的值這樣的進一步信息反饋到統(tǒng)一的調(diào)試器11。因此統(tǒng)一的調(diào)試器11和特定的調(diào)試器5-7間的通信是完全自動的并計算機輔助的,也就是說統(tǒng)一的調(diào)試器11自動地探測用戶輸入和將此轉(zhuǎn)換成特定調(diào)試器5-7的相應(yīng)的觸發(fā)/驅(qū)動,特定調(diào)試器5-7在計算機輔助下依次自動執(zhí)行相應(yīng)的故障搜查操作。
利用圖3到5,例如,現(xiàn)在解釋發(fā)生在上述故障搜查裝置的故障搜索過程中的各種功能程序。明顯地依據(jù)本發(fā)明的故障搜索方法不局限于這個三基本功能程序,而是這些僅僅用于幫助更透徹地理解本發(fā)明并且對所屬技術(shù)領(lǐng)域的專業(yè)人員可以依據(jù)本發(fā)明的結(jié)構(gòu)推論出故障搜索系統(tǒng)所需要的不同的模型的其他功能程序。
圖3給出了用于一命令的第一功能過程,該命令被統(tǒng)一調(diào)試器11發(fā)送到全部可用的特定調(diào)試器5-7。
在該例子中所給出的用戶,通過用戶接口12,把例如命令"開始"給統(tǒng)一的調(diào)試器11。統(tǒng)一的或主要的調(diào)試器11將"開始"命令轉(zhuǎn)換成用于特定調(diào)試器5,6,7的等價命令,例如"開動"或"開始",并且將這些命令傳送到單獨的特定調(diào)試器5,6,7。如圖1所示的例子,當(dāng)特定的輔助調(diào)試器使用一個硬件(HW)調(diào)試器5存取硬件(HW)模型2,使用軟件(SW)調(diào)試器6存取軟件(SW)程序/模型3,以及使用測試臺(TB)調(diào)試器7存取測試臺(TB)模型4。
由于由統(tǒng)一的調(diào)試器11提供了開始命令,最終調(diào)試器5,6,7開始處理他們的模型或程序2,3,4,通常一個相互作用的隨機順序發(fā)生在如圖3的箭頭所示的模型或程序間。當(dāng)模型2,3,4的執(zhí)行結(jié)束時,已分配的調(diào)試器5,6,7都會向統(tǒng)一的調(diào)試器11發(fā)送一個明確的結(jié)束信息,其中這些結(jié)束信息也可以被關(guān)聯(lián)。然后主要的故障搜索程序11轉(zhuǎn)換這些“結(jié)束”信息并且將相應(yīng)的“結(jié)束”反饋輸出給用戶接口12。
為管理系統(tǒng)1的仿真中所包括的所有對象,統(tǒng)一的調(diào)試器11必須聯(lián)合所有模型2,3,4的對象。這就意味著不同名稱范圍(硬件,軟件,測試臺)都必須被一起管理。所以原則上如軟件程序3中的一個變量與硬件模型2中的一個信號同名是可能的,這有利于如果統(tǒng)一的調(diào)試器11為了區(qū)別它們可將單獨模型2,3,4的本地名稱范圍擴展到全局的名稱。
參考圖4,現(xiàn)在說明用于由用戶送入的一命令的功能過程以查詢一個特殊模型的對象的值。
首先統(tǒng)一的調(diào)試器11,使用其值被檢查的全局對象名,來必須確定在模型2,3和4中當(dāng)前請求的對象。然后統(tǒng)一的調(diào)試器11確定相應(yīng)的對象的本地名并且通過相應(yīng)的命令請求來自相關(guān)輔助特定調(diào)試器的對象的值(此際軟件調(diào)試器6),在該特定調(diào)試器的控制下運行對象屬于其的特定模型3。特定的調(diào)試器6把所請求的對象的值送回將該值傳遞給用戶接口12的統(tǒng)一調(diào)試器11,這適用于在進一步過程以后。
以類似的方式,中斷條件可以被用戶設(shè)置或刪除或可是對象值設(shè)置。在此情況下有關(guān)的特定調(diào)試器5,6和7,代替返回上述的對象值,而僅僅返回對統(tǒng)一調(diào)試器11的確認(rèn)。
最后作為功能過程的第三個例子,圖5給出了單步命令的過程。
在用戶通過用戶接口12輸入的單步命令的基礎(chǔ)上,統(tǒng)一的調(diào)試器11為所請求的模型(此際測試臺模型4)產(chǎn)生相應(yīng)的單步命令并且將此傳送到已分配給模型4的調(diào)試器7。然后當(dāng)其他模型2,3可以無間斷運行與不是單步執(zhí)行模式時,模型4以單步模式操作。在完成單步執(zhí)行后,調(diào)試器7發(fā)送確認(rèn)模型4單步完成,回到統(tǒng)一的調(diào)試器11,該調(diào)試器11將這個確認(rèn)轉(zhuǎn)換為相應(yīng)的用于用戶接口12的命令。
在上述的功能過程中它通常與是否通過單獨的指令進行單步執(zhí)行還是通過幾個組合的單一指令進行單步執(zhí)行無關(guān)。并且依靠用戶命令,單步命令可以應(yīng)用到一個模型或幾個或全部的模型2,3,4。
權(quán)利要求
1.用于由幾個不同的仿真模型所仿真的系統(tǒng)的故障搜索方法,其中系統(tǒng)(1)是通過不同的類的描述語言所描述的單獨的仿真模型(2-4),并且其中已被分配的單獨的仿真模型(2-4)具有不同的第一故障搜索設(shè)備(5-7)用于在每一情況下通過訪問相應(yīng)的仿真模型(2-4)來跟蹤故障,其特征為以下步驟a)利用比第一故障搜索工具(5-7)更高級的第二故障搜索設(shè)備(11)來自動檢測用戶的輸入,以及b)通過依靠用戶輸入的第二故障搜索設(shè)備(11)來自動控制第一故障搜索設(shè)備(5-7),以便通過訪問有關(guān)仿真模型(2-4)發(fā)現(xiàn)系統(tǒng)故障。
2.根據(jù)權(quán)利要求1所述的故障搜索方法,其特征在于一個仿真模型(2)是硬件仿真模型,其中系統(tǒng)(1)是由硬件描述語言描述的,其分配給該仿真模型(2)作為相應(yīng)的第一故障搜索設(shè)備是一個硬件調(diào)試器(5)。
3.根據(jù)權(quán)利要求1所述故障搜索方法,其特征在于一個仿真模型(4)是測試臺仿真模型,其中系統(tǒng)(1)是由測試臺語言描述的,其分配給該仿真模型(4)作為相應(yīng)的第一故障搜索設(shè)備是一個測試臺調(diào)試器(7)。
4.根據(jù)權(quán)利要求1所述故障搜索方法,其特征在于一個仿真模型(3)是軟件仿真模型,其中系統(tǒng)(1)是由程序語言描述的,其分配給該仿真模型(3)作為相應(yīng)的第一故障搜索設(shè)備是一個軟件調(diào)試器(6)。
5.根據(jù)權(quán)利要求1述的故障搜索方法,其特征在于更高級的第二故障搜索工具(11)直接訪問至少一個仿真模型(3),無需使用第一故障搜索設(shè)備。
6.根據(jù)權(quán)力要求1所述故障搜索方法,其特征在于第二故障搜索設(shè)備(11)自動地將用戶輸入轉(zhuǎn)換成相應(yīng)的用于單獨的第一故障搜索設(shè)備(5-7)的命令。
7.根據(jù)權(quán)利要求1所述故障搜索方法,其特征在于如同第二故障搜索設(shè)備(11)的控制功能,第一故障搜索工具(5-7)自動地通過訪問相關(guān)的模擬模型(2-4)來執(zhí)行相應(yīng)的故障搜索操作,其中第二故障搜索設(shè)備(11)在相關(guān)故障操作期間自動探測由單獨的第一故障搜索設(shè)備(5-7)所產(chǎn)生的反饋并輸出給用戶。
8.根據(jù)權(quán)利要求1所述故障搜索方法,其特征在于在第二故障搜索設(shè)備(11)與第一故障搜索設(shè)備(5-7)之間的通信以主控-工作者的通信形式出現(xiàn),其中第二故障搜索設(shè)備(11)擔(dān)當(dāng)主控并且第一故障搜索設(shè)備(5-7)擔(dān)當(dāng)工作者。
9.用于對由幾個不同的仿真模型所仿真的系統(tǒng)進行故障搜索的裝置,其中系統(tǒng)(1)是通過不同類的描述語言所描述的單獨的仿真模型(2-4),具有各個被分配給相應(yīng)的仿真模型(2-4)的幾個不同的第一故障搜索設(shè)備(5-7),以通過訪問相應(yīng)的仿真模型(2-4)來發(fā)現(xiàn)系統(tǒng)故障,其特征在于提供比第一故障搜索設(shè)備(5-7)更高級的第二故障搜索設(shè)備(11),其中第二故障搜索設(shè)備(11)被設(shè)計為作為自動檢測用戶輸入和自動控制第一故障搜索設(shè)備(5-7),以作為用戶輸入功能以通過訪問相關(guān)的仿真模型(2-4)來發(fā)現(xiàn)故障,
10.根據(jù)權(quán)利要求9所述的用于故障搜索的裝置,其特征在于一個仿真模型(2)是硬件仿真模型,其中系統(tǒng)(1)是由硬件描述語言描述的,其分配給該仿真模型(2)作為相應(yīng)的第一故障搜索設(shè)備是一個硬件調(diào)試器(5)。
11.根據(jù)權(quán)利要求9所述的裝置,其特征在于一個仿真模型(4)是測試臺仿真模型,其中系統(tǒng)(1)是由測試臺語言描述的,其分配給該仿真模型(4)作為相應(yīng)的第一故障搜索設(shè)備是一個測試臺調(diào)試器(7)。
12.根據(jù)權(quán)利要求9所述的用于故障搜索裝置,其特征在于一個仿真模型(3)是軟件仿真模型,其中系統(tǒng)(1)是由程序語言描述的,其分配給該仿真模型(3)作為相應(yīng)的第一故障搜索設(shè)備是一個軟件調(diào)試器(6)。
13.根據(jù)權(quán)利要求9所述的故障搜索裝置,其特征在于第二故障搜索工具(11)沒有使用相應(yīng)的第一故障搜索設(shè)備而直接操作至少一個仿真模型(3)。
14.根據(jù)權(quán)利要求9所述故障搜索裝置,其特征在于第二故障搜索設(shè)備(11)被設(shè)計成自動地將用戶輸入轉(zhuǎn)換成相應(yīng)的用于單獨的第一故障搜索設(shè)備(5-7)的命令。
15.根據(jù)權(quán)利要求9所述的故障搜索的裝置,其特征在于單獨的故障搜索設(shè)備(5-7)被設(shè)計成根據(jù)控制第二故障搜索工具(11)訪問相關(guān)的仿真模型(2-4)來自動執(zhí)行相應(yīng)的故障搜索操作,而且第二故障搜索工具(11)被設(shè)計成自動檢測和向用戶輸出在各個故障搜索操作期間由第一故障搜索工具(5-7)所產(chǎn)生的反饋。
16.根據(jù)權(quán)利要求書9所述的故障搜索的裝置,其特征在于單獨的第一故障搜索工具(5-7)和第二故障搜索工具(11)被設(shè)計用來在一側(cè)作為主控的第一故障搜索工具(11)與另一側(cè)作為工作者的單獨的第二故障搜索工具(5-7)之間執(zhí)行主-從通信。
17.根據(jù)權(quán)利要求9所述用于故障搜索的裝置,其特征在于在每一種情況下已被分配給單獨的仿真模型(2-4)的是一接口(8-10),用于連接相應(yīng)的第一故障搜索工具(5-7)。
18.根據(jù)權(quán)利要求9所述用于故障搜索的裝置,其特征在于單獨的仿真模型(2-4)包含被設(shè)計成相互通信的工具。
19.利用根據(jù)權(quán)利要求9任何的設(shè)備以設(shè)計電子電路。
全文摘要
在一個具有一些例如硬件模型,軟件程序和試驗臺模型的不同的模型(2,3,4)的系統(tǒng)(1)中用于簡單化使用和控制的故障搜索,用戶激活統(tǒng)一的調(diào)試器(11),該調(diào)試器依次檢索并且執(zhí)行各種輔助調(diào)試器(5,6,7),每個調(diào)試器被分配給一不同的模型(2,3,4)。輔助調(diào)試器(5,6,7)然后訪問已分配給它們的不同模型以便執(zhí)行相應(yīng)的故障搜索操作。
文檔編號G06F11/36GK1389829SQ0212628
公開日2003年1月8日 申請日期2002年6月4日 優(yōu)先權(quán)日2001年6月5日
發(fā)明者R·亨弗林, W·埃克, A·津恩, M·鮑爾, M·贊巴蒂 申請人:因芬尼昂技術(shù)股份公司