專利名稱：故障搜索方法和故障搜索設(shè)備的制作方法
技術(shù)領(lǐng)域：
本發(fā)明涉及一種故障搜索方法和一種裝置，該方法用于具有例如硬件模型，軟件程序與/或一個(gè)測試裝置模型這樣的不同仿真模型的系統(tǒng)，該裝置用于在具有這些不同仿真模型的系統(tǒng)中進(jìn)行故障搜索，這些不同的仿真模型可非常好地用在電子電路的設(shè)計(jì)中等等，在這種情況下，被仿真的系統(tǒng)是一個(gè)電子電路。
背景技術(shù)：
通過一個(gè)測試環(huán)境中受控的并裝有測量儀表的程序的處理步驟(如眾所周知的調(diào)試)來仿真一個(gè)系統(tǒng)，故障被找到并且被不同的仿真模型仿真。本發(fā)明的上下文中，術(shù)語“仿真模型”包括特定的硬件模型，軟件程序和測試裝置模型。這樣一個(gè)系統(tǒng)可以用下面的例子來描述，例如使用三類語言用于硬件的一個(gè)或多個(gè)硬件描述語言(HDL)，用于軟件的一個(gè)或多個(gè)程序語言(PL)，和用于測試裝置的測試語言(TL)或硬件確認(rèn)語言(HVL)。
當(dāng)在數(shù)據(jù)處理程序中進(jìn)行故障搜索的時(shí)候，通常被搜索檢查故障的模型或程序在一個(gè)故障搜索工具或被稱為調(diào)試器的故障搜索程序的控制下來執(zhí)行。此時(shí)故障搜索程序被檢索，這是順序檢索模型和程序以檢查通常包含一個(gè)中斷點(diǎn)的模型或程序。當(dāng)?shù)竭_(dá)中斷點(diǎn)時(shí)，將被檢查的程序的下一步處理被停止并且調(diào)試器回朔。
在用于上述語言的每一類的傳統(tǒng)故障搜索程序中，例如用于每個(gè)模型，都是使用具有它自己的命令和接口的單獨(dú)故障搜索程序。優(yōu)勢在于對各類語言可以使用最適宜的調(diào)試器，相對應(yīng)的缺點(diǎn)是用于不同模型的各種調(diào)試器的運(yùn)行是不同的并且用戶必須監(jiān)控計(jì)算機(jī)工作站屏幕上的許多命令接口和窗口。
發(fā)明概述因此本發(fā)明的目的是制造一個(gè)用于具有不同的仿真模型的系統(tǒng)的故障搜索處理以及相應(yīng)的故障搜索設(shè)備，該處理可以避免上述的缺點(diǎn)，特別是對用戶來說容易使用和控制。
這個(gè)任務(wù)通過具有權(quán)利要求1特征的故障搜索程序或具有權(quán)利要求9特征的故障搜索設(shè)備來解決。本發(fā)明在設(shè)計(jì)和改進(jìn)方面的優(yōu)點(diǎn)是從屬權(quán)利要求的主題。
依照本發(fā)明的在具有幾個(gè)不同仿真模型例如硬件模型，軟件模型/程序和測試臺(tái)模型的系統(tǒng)中進(jìn)行故障搜索，用戶執(zhí)行一個(gè)高級故障搜索工具(調(diào)試器)，該調(diào)試器依次激活各個(gè)分配給不同仿真模型的輔助故障搜索工具(調(diào)試器)并與其通信。每個(gè)輔助故障搜索工具可訪問它的已分配仿真模型以便跟蹤系統(tǒng)中(或者在有關(guān)的仿真模塊中)的故障。通過提供更高的命令，相同的和普遍的故障搜索工具，用戶用自己的命令，自己的命令解釋程序和自己的接口來訪問統(tǒng)一的接口以簡單化在用戶的單獨(dú)仿真模型中的故障搜索。同時(shí)不同仿真模型的最優(yōu)調(diào)試器可用作輔助故障搜索工具，因此盡管為用戶簡化了操作，最優(yōu)故障搜索的結(jié)果仍能夠得到保證。
高級故障搜索工具也能夠直接干涉與控制和分析有關(guān)的仿真模型，也就是無需相應(yīng)的輔助故障搜索工具的中間物。
通信最好是以主工作站或主從屬通信的形式在統(tǒng)一的高級故障搜索工具及單獨(dú)輔助的且特定的故障搜索工具之間產(chǎn)生，高極故障搜索工具作為主機(jī)進(jìn)行操作，輔助故障搜索工具作為工作站或從屬進(jìn)行操作。
本發(fā)明最后用在電子電路(硬件設(shè)計(jì))的開發(fā)或仿真/檢驗(yàn)。


參考所公開的附圖，利用各種實(shí)施例在下面對本發(fā)明進(jìn)行更詳細(xì)的說明。這些表示圖1是一個(gè)依據(jù)本發(fā)明的用于故障搜索的設(shè)備的第一個(gè)實(shí)施例的結(jié)構(gòu)示意圖。
圖2是一個(gè)依據(jù)本發(fā)明的用于故障搜索的設(shè)備的第二個(gè)實(shí)施例的結(jié)構(gòu)示意圖。
圖3是說明依據(jù)本發(fā)明的故障搜索處理的一個(gè)功能過程的示意性流程圖。
圖4是說明依據(jù)本發(fā)明的故障搜索處理的另一個(gè)功能過程的示意性流程圖。
圖5是說明依據(jù)本發(fā)明的故障搜索處理的又一個(gè)功能過程的示意性流程圖。
具體實(shí)施例方式
圖1首先給出了依據(jù)本發(fā)明的用于執(zhí)行故障搜索處理的設(shè)備的第一個(gè)實(shí)施例的基本結(jié)構(gòu)。
本例中被仿真的系統(tǒng)1被構(gòu)造為三個(gè)不同的仿真模塊2-4，為了簡單在下邊被引證為模型。例如，模型2，3，4(圖1中用I到III標(biāo)記)是一個(gè)硬件模型，軟件模型/程序和一個(gè)測試臺(tái)模型，在這些模型中通過與最初解釋相關(guān)的語言對系統(tǒng)進(jìn)行描述。另外存在于所存儲(chǔ)形式之中的不同模型2，3，4通常相互通信。模型的數(shù)目或所使用的語言類沒有被確定，只有兩種語言例如硬件描述語言和測試語言被使用，即它也可仿真只包含一個(gè)硬件模型和一個(gè)軟件程序的系統(tǒng)并且對這個(gè)系統(tǒng)進(jìn)行搜索故障。
被模擬的系統(tǒng)1的所有的模型2，3，4以調(diào)試器5至7的形式具有與故障搜索工具相對應(yīng)的接口8，9，10，故障搜索工具特別與有關(guān)的模型相匹配，即每個(gè)模型2，3，4都被提供一個(gè)具有其自己不同命令的最優(yōu)調(diào)試器。
與傳統(tǒng)的故障搜索設(shè)備相比，依照本發(fā)明中的故障搜索設(shè)備，用戶不需要處理并控制幾個(gè)不同的特定的調(diào)試器5-7。更適合的，用戶以統(tǒng)一的調(diào)試器11的形式來訪問一個(gè)高級的命令故障搜索工具，經(jīng)由一個(gè)適當(dāng)?shù)挠脩艚涌?2他可使用該調(diào)試器。統(tǒng)一的調(diào)試器11具有對它自己的命令進(jìn)行解釋的它自己的命令解釋程序并且可適用在自己特有圖形接口上。這個(gè)命令解釋程序把自己特有的命令轉(zhuǎn)換成為不同的特定調(diào)試器5，6，7的相應(yīng)的命令并且將已轉(zhuǎn)換命令提供給單獨(dú)的特定調(diào)試器5，6，7以通過訪問有關(guān)的模型來處理相應(yīng)的故障搜索操作。相反，統(tǒng)一調(diào)試器11的命令解釋程序轉(zhuǎn)換由不同的特定調(diào)試器5，6，7提供的命令或輸出和反饋，使得他們能夠輸出給用戶并且經(jīng)由用戶接口12顯示在一個(gè)標(biāo)準(zhǔn)的窗口。
在依據(jù)這個(gè)實(shí)施例的故障搜查裝置中，如在模型系統(tǒng)中，用戶不必并行控制幾個(gè)調(diào)試器5-7，而是該用戶僅僅操作或控制統(tǒng)一的調(diào)試器11。因此對于用戶來說故障搜查的執(zhí)行是相當(dāng)簡單化。
根據(jù)本發(fā)明的故障搜查裝置的另一實(shí)施例如圖2.所示。相同配置的元件使用和如圖1的第一實(shí)施例中相同的數(shù)字標(biāo)號。
第二實(shí)施例與如圖1所示的實(shí)施例的不同之處是省略了用于軟件程序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與/或測試臺(tái)模型4，同樣地當(dāng)統(tǒng)一的調(diào)試器11能夠直接地作用于硬件模型2或測試臺(tái)模型4時(shí)硬件調(diào)試器5和測試臺(tái)調(diào)試器7可以省略。
用在根據(jù)本發(fā)明兩個(gè)實(shí)施例的故障搜查裝置中的統(tǒng)的調(diào)試器11和特定輔助調(diào)試器5，6及7之間的通信最好是以所謂的主-從通信為基礎(chǔ)。貫穿整個(gè)仿真，統(tǒng)一的調(diào)試器11為主而單獨(dú)的特定調(diào)試器5，6和7為輔。因此所使用的從統(tǒng)一調(diào)試器11到調(diào)試器5，6和7中的一個(gè)可通過認(rèn)可被確認(rèn)。這樣的認(rèn)可可以例如僅僅是提示，也就是由有關(guān)的調(diào)試器5-7所請求的更新輸入。除需要這個(gè)認(rèn)可之外，例如如果高級的統(tǒng)一調(diào)試器11下命令給輔助特定調(diào)試器5，6，7計(jì)算一對象的值的話，相關(guān)的特定調(diào)試器5，6，7將例如這個(gè)對象的值這樣的進(jìn)一步信息反饋到統(tǒng)一的調(diào)試器11。因此統(tǒng)一的調(diào)試器11和特定的調(diào)試器5-7間的通信是完全自動(dòng)的并計(jì)算機(jī)輔助的，也就是說統(tǒng)一的調(diào)試器11自動(dòng)地探測用戶輸入和將此轉(zhuǎn)換成特定調(diào)試器5-7的相應(yīng)的觸發(fā)/驅(qū)動(dòng)，特定調(diào)試器5-7在計(jì)算機(jī)輔助下依次自動(dòng)執(zhí)行相應(yīng)的故障搜查操作。
利用圖3到5，例如，現(xiàn)在解釋發(fā)生在上述故障搜查裝置的故障搜索過程中的各種功能程序。明顯地依據(jù)本發(fā)明的故障搜索方法不局限于這個(gè)三基本功能程序，而是這些僅僅用于幫助更透徹地理解本發(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的等價(jià)命令，例如＂開動(dòng)＂或＂開始＂，并且將這些命令傳送到單獨(dú)的特定調(diào)試器5，6，7。如圖1所示的例子，當(dāng)特定的輔助調(diào)試器使用一個(gè)硬件(HW)調(diào)試器5存取硬件(HW)模型2，使用軟件(SW)調(diào)試器6存取軟件(SW)程序/模型3，以及使用測試臺(tái)(TB)調(diào)試器7存取測試臺(tái)(TB)模型4。
由于由統(tǒng)一的調(diào)試器11提供了開始命令，最終調(diào)試器5，6，7開始處理他們的模型或程序2，3，4，通常一個(gè)相互作用的隨機(jī)順序發(fā)生在如圖3的箭頭所示的模型或程序間。當(dāng)模型2，3，4的執(zhí)行結(jié)束時(shí)，已分配的調(diào)試器5，6，7都會(huì)向統(tǒng)一的調(diào)試器11發(fā)送一個(gè)明確的結(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的對象。這就意味著不同名稱范圍(硬件，軟件，測試臺(tái))都必須被一起管理。所以原則上如軟件程序3中的一個(gè)變量與硬件模型2中的一個(gè)信號同名是可能的，這有利于如果統(tǒng)一的調(diào)試器11為了區(qū)別它們可將單獨(dú)模型2，3，4的本地名稱范圍擴(kuò)展到全局的名稱。
參考圖4，現(xiàn)在說明用于由用戶送入的一命令的功能過程以查詢一個(gè)特殊模型的對象的值。
首先統(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)試器的控制下運(yùn)行對象屬于其的特定模型3。特定的調(diào)試器6把所請求的對象的值送回將該值傳遞給用戶接口12的統(tǒng)一調(diào)試器11，這適用于在進(jìn)一步過程以后。
以類似的方式，中斷條件可以被用戶設(shè)置或刪除或可是對象值設(shè)置。在此情況下有關(guān)的特定調(diào)試器5，6和7，代替返回上述的對象值，而僅僅返回對統(tǒng)一調(diào)試器11的確認(rèn)。
最后作為功能過程的第三個(gè)例子，圖5給出了單步命令的過程。
在用戶通過用戶接口12輸入的單步命令的基礎(chǔ)上，統(tǒng)一的調(diào)試器11為所請求的模型(此際測試臺(tái)模型4)產(chǎn)生相應(yīng)的單步命令并且將此傳送到已分配給模型4的調(diào)試器7。然后當(dāng)其他模型2，3可以無間斷運(yùn)行與不是單步執(zhí)行模式時(shí)，模型4以單步模式操作。在完成單步執(zhí)行后，調(diào)試器7發(fā)送確認(rèn)模型4單步完成，回到統(tǒng)一的調(diào)試器11，該調(diào)試器11將這個(gè)確認(rèn)轉(zhuǎn)換為相應(yīng)的用于用戶接口12的命令。
在上述的功能過程中它通常與是否通過單獨(dú)的指令進(jìn)行單步執(zhí)行還是通過幾個(gè)組合的單一指令進(jìn)行單步執(zhí)行無關(guān)。并且依靠用戶命令，單步命令可以應(yīng)用到一個(gè)模型或幾個(gè)或全部的模型2，3，4。
權(quán)利要求
1.用于由幾個(gè)不同的仿真模型所仿真的系統(tǒng)的故障搜索方法，其中系統(tǒng)(1)是通過不同的類的描述語言所描述的單獨(dú)的仿真模型(2-4)，并且其中已被分配的單獨(dú)的仿真模型(2-4)具有不同的第一故障搜索設(shè)備(5-7)用于在每一情況下通過訪問相應(yīng)的仿真模型(2-4)來跟蹤故障，其特征為以下步驟a)利用比第一故障搜索工具(5-7)更高級的第二故障搜索設(shè)備(11)來自動(dòng)檢測用戶的輸入，以及b)通過依靠用戶輸入的第二故障搜索設(shè)備(11)來自動(dòng)控制第一故障搜索設(shè)備(5-7)，以便通過訪問有關(guān)仿真模型(2-4)發(fā)現(xiàn)系統(tǒng)故障。
2.根據(jù)權(quán)利要求1所述的故障搜索方法，其特征在于一個(gè)仿真模型(2)是硬件仿真模型，其中系統(tǒng)(1)是由硬件描述語言描述的，其分配給該仿真模型(2)作為相應(yīng)的第一故障搜索設(shè)備是一個(gè)硬件調(diào)試器(5)。
3.根據(jù)權(quán)利要求1所述故障搜索方法，其特征在于一個(gè)仿真模型(4)是測試臺(tái)仿真模型，其中系統(tǒng)(1)是由測試臺(tái)語言描述的，其分配給該仿真模型(4)作為相應(yīng)的第一故障搜索設(shè)備是一個(gè)測試臺(tái)調(diào)試器(7)。
4.根據(jù)權(quán)利要求1所述故障搜索方法，其特征在于一個(gè)仿真模型(3)是軟件仿真模型，其中系統(tǒng)(1)是由程序語言描述的，其分配給該仿真模型(3)作為相應(yīng)的第一故障搜索設(shè)備是一個(gè)軟件調(diào)試器(6)。
5.根據(jù)權(quán)利要求1述的故障搜索方法，其特征在于更高級的第二故障搜索工具(11)直接訪問至少一個(gè)仿真模型(3)，無需使用第一故障搜索設(shè)備。
6.根據(jù)權(quán)力要求1所述故障搜索方法，其特征在于第二故障搜索設(shè)備(11)自動(dòng)地將用戶輸入轉(zhuǎn)換成相應(yīng)的用于單獨(dú)的第一故障搜索設(shè)備(5-7)的命令。
7.根據(jù)權(quán)利要求1所述故障搜索方法，其特征在于如同第二故障搜索設(shè)備(11)的控制功能，第一故障搜索工具(5-7)自動(dòng)地通過訪問相關(guān)的模擬模型(2-4)來執(zhí)行相應(yīng)的故障搜索操作，其中第二故障搜索設(shè)備(11)在相關(guān)故障操作期間自動(dòng)探測由單獨(dú)的第一故障搜索設(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.用于對由幾個(gè)不同的仿真模型所仿真的系統(tǒng)進(jìn)行故障搜索的裝置，其中系統(tǒng)(1)是通過不同類的描述語言所描述的單獨(dú)的仿真模型(2-4)，具有各個(gè)被分配給相應(yīng)的仿真模型(2-4)的幾個(gè)不同的第一故障搜索設(shè)備(5-7)，以通過訪問相應(yīng)的仿真模型(2-4)來發(fā)現(xiàn)系統(tǒng)故障，其特征在于提供比第一故障搜索設(shè)備(5-7)更高級的第二故障搜索設(shè)備(11)，其中第二故障搜索設(shè)備(11)被設(shè)計(jì)為作為自動(dòng)檢測用戶輸入和自動(dòng)控制第一故障搜索設(shè)備(5-7)，以作為用戶輸入功能以通過訪問相關(guān)的仿真模型(2-4)來發(fā)現(xiàn)故障，
10.根據(jù)權(quán)利要求9所述的用于故障搜索的裝置，其特征在于一個(gè)仿真模型(2)是硬件仿真模型，其中系統(tǒng)(1)是由硬件描述語言描述的，其分配給該仿真模型(2)作為相應(yīng)的第一故障搜索設(shè)備是一個(gè)硬件調(diào)試器(5)。
11.根據(jù)權(quán)利要求9所述的裝置，其特征在于一個(gè)仿真模型(4)是測試臺(tái)仿真模型，其中系統(tǒng)(1)是由測試臺(tái)語言描述的，其分配給該仿真模型(4)作為相應(yīng)的第一故障搜索設(shè)備是一個(gè)測試臺(tái)調(diào)試器(7)。
12.根據(jù)權(quán)利要求9所述的用于故障搜索裝置，其特征在于一個(gè)仿真模型(3)是軟件仿真模型，其中系統(tǒng)(1)是由程序語言描述的，其分配給該仿真模型(3)作為相應(yīng)的第一故障搜索設(shè)備是一個(gè)軟件調(diào)試器(6)。
13.根據(jù)權(quán)利要求9所述的故障搜索裝置，其特征在于第二故障搜索工具(11)沒有使用相應(yīng)的第一故障搜索設(shè)備而直接操作至少一個(gè)仿真模型(3)。
14.根據(jù)權(quán)利要求9所述故障搜索裝置，其特征在于第二故障搜索設(shè)備(11)被設(shè)計(jì)成自動(dòng)地將用戶輸入轉(zhuǎn)換成相應(yīng)的用于單獨(dú)的第一故障搜索設(shè)備(5-7)的命令。
15.根據(jù)權(quán)利要求9所述的故障搜索的裝置，其特征在于單獨(dú)的故障搜索設(shè)備(5-7)被設(shè)計(jì)成根據(jù)控制第二故障搜索工具(11)訪問相關(guān)的仿真模型(2-4)來自動(dòng)執(zhí)行相應(yīng)的故障搜索操作，而且第二故障搜索工具(11)被設(shè)計(jì)成自動(dòng)檢測和向用戶輸出在各個(gè)故障搜索操作期間由第一故障搜索工具(5-7)所產(chǎn)生的反饋。
16.根據(jù)權(quán)利要求書9所述的故障搜索的裝置，其特征在于單獨(dú)的第一故障搜索工具(5-7)和第二故障搜索工具(11)被設(shè)計(jì)用來在一側(cè)作為主控的第一故障搜索工具(11)與另一側(cè)作為工作者的單獨(dú)的第二故障搜索工具(5-7)之間執(zhí)行主-從通信。
17.根據(jù)權(quán)利要求9所述用于故障搜索的裝置，其特征在于在每一種情況下已被分配給單獨(dú)的仿真模型(2-4)的是一接口(8-10)，用于連接相應(yīng)的第一故障搜索工具(5-7)。
18.根據(jù)權(quán)利要求9所述用于故障搜索的裝置，其特征在于單獨(dú)的仿真模型(2-4)包含被設(shè)計(jì)成相互通信的工具。
19.利用根據(jù)權(quán)利要求9任何的設(shè)備以設(shè)計(jì)電子電路。
全文摘要
在一個(gè)具有一些例如硬件模型,軟件程序和試驗(yàn)臺(tái)模型的不同的模型(2,3,4)的系統(tǒng)(1)中用于簡單化使用和控制的故障搜索,用戶激活統(tǒng)一的調(diào)試器(11),該調(diào)試器依次檢索并且執(zhí)行各種輔助調(diào)試器(5,6,7),每個(gè)調(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ù)股份公司