專(zhuān)利名稱(chēng)：利用控制程序信息注釋并呈現(xiàn)系統(tǒng)蹤跡的方法和系統(tǒng)的制作方法
技術(shù)領(lǐng)域：
本發(fā)明一般涉及對(duì)處于測(cè)試中的系統(tǒng)的操作進(jìn)行記錄和可視化，具體地，涉及用于對(duì)在其中利用控制程序信息注釋特定信號(hào)的蹤跡的模擬系統(tǒng)或模塊中的操作隨時(shí)間進(jìn)行記錄和可視化的方法、系統(tǒng)和程序產(chǎn)品。
背景技術(shù)：
在典型數(shù)字設(shè)計(jì)過(guò)程中，驗(yàn)證數(shù)字設(shè)計(jì)的邏輯正確性并對(duì)設(shè)計(jì)進(jìn)行調(diào)試(如果必要的話(huà))是在開(kāi)發(fā)線(xiàn)路布局進(jìn)行之前所進(jìn)行的設(shè)計(jì)過(guò)程的重要步驟。雖然通過(guò)實(shí)際構(gòu)建數(shù)字設(shè)計(jì)的來(lái)測(cè)試該數(shù)字設(shè)計(jì)的確是可能的，但數(shù)字設(shè)計(jì)、尤其是由集成電路實(shí)現(xiàn)的那些數(shù)字設(shè)計(jì)通常是通過(guò)在計(jì)算機(jī)上模擬該數(shù)字設(shè)計(jì)而被驗(yàn)證和調(diào)試的，這是部分由于集成電路制作所需的時(shí)間和費(fèi)用。
在典型的自動(dòng)化設(shè)計(jì)過(guò)程中，電路設(shè)計(jì)者使用諸如VHDL的硬件描述語(yǔ)言(HDL)向電子計(jì)算機(jī)輔助設(shè)計(jì)(ECAD)系統(tǒng)輸入要被模擬的數(shù)字設(shè)計(jì)的高級(jí)描述，從而產(chǎn)生各電路塊和它們的相互連接的數(shù)字表示。在該數(shù)字表示中，整個(gè)電路設(shè)計(jì)常常被劃分為較小部分，這些較小部分此后稱(chēng)作設(shè)計(jì)實(shí)體，其通常由不同設(shè)計(jì)者單獨(dú)設(shè)計(jì)，然后以分層方式進(jìn)行組合以創(chuàng)建一整個(gè)模型。這一分層設(shè)計(jì)技術(shù)在管理整體設(shè)計(jì)的巨大復(fù)雜性方面是非常有用的，且有利于在模擬期間的錯(cuò)誤檢測(cè)。
ECAD系統(tǒng)將設(shè)計(jì)的數(shù)字表示編譯成具有最適合于模擬的格式的模擬模型。然后，一模擬器試驗(yàn)該模擬模型，以檢測(cè)該數(shù)字設(shè)計(jì)中的邏輯錯(cuò)誤。
模擬器通常是通過(guò)施加表示數(shù)字系統(tǒng)的輸入的一系列輸入激勵(lì)來(lái)對(duì)模擬模型進(jìn)行操作的軟件工具。模擬器生成系統(tǒng)對(duì)輸入激勵(lì)的響應(yīng)的數(shù)字表示，然后，可以將該些響應(yīng)作為值的列表顯示在顯示屏上，或者通常通過(guò)分開(kāi)的軟件程序?qū)ζ溥M(jìn)行進(jìn)一步的解釋并以圖形形式呈現(xiàn)于顯示屏上。用于可視化所模擬系統(tǒng)的操作的一種通用工具是蹤跡查看器(有時(shí)稱(chēng)為AllEvents Trace(AET)查看器)，其隨著該系統(tǒng)內(nèi)的各感興趣信號(hào)狀態(tài)的時(shí)時(shí)變化而呈現(xiàn)該些信號(hào)狀態(tài)。
在當(dāng)前模擬環(huán)境中，對(duì)于控制模擬器的操作的控制程序來(lái)說(shuō)，調(diào)用模擬器內(nèi)的API功能，以讀取和改變模擬模型內(nèi)的值是可能的。本發(fā)明意識(shí)到當(dāng)以這種方式在模擬運(yùn)行期間在模型內(nèi)對(duì)值進(jìn)修改時(shí)，設(shè)計(jì)者可能對(duì)該系統(tǒng)的真正操作變得混淆。例如，處于測(cè)試中的設(shè)計(jì)內(nèi)的邏輯可能驅(qū)策某一信號(hào)為一特定值，然而實(shí)際上控制程序已驅(qū)策該感興趣信號(hào)為一個(gè)不同值。因?yàn)檫@些值的不同，設(shè)計(jì)者可能會(huì)浪費(fèi)大量時(shí)間來(lái)調(diào)試基于被認(rèn)為是錯(cuò)誤的而實(shí)際上是對(duì)系統(tǒng)狀態(tài)的外部操作的蹤跡。

發(fā)明內(nèi)容
鑒于上面的描述，本發(fā)明提供用于對(duì)處于測(cè)試中的系統(tǒng)的狀態(tài)進(jìn)行記錄和呈現(xiàn)的改進(jìn)的方法、系統(tǒng)和程序產(chǎn)品。
根據(jù)本發(fā)明的至少一個(gè)實(shí)施例，該處于測(cè)試中的系統(tǒng)內(nèi)的感興趣信號(hào)在該處于測(cè)試中的系統(tǒng)的多個(gè)操作周期中的每個(gè)周期期間具有的信號(hào)狀態(tài)被存儲(chǔ)在一蹤跡文件中。與信號(hào)狀態(tài)相關(guān)聯(lián)地，關(guān)于在該多個(gè)周期之中的特定周期期間由控制程序所請(qǐng)求的對(duì)該信號(hào)狀態(tài)的訪(fǎng)問(wèn)的信息也被存儲(chǔ)。
在本發(fā)明的至少一個(gè)實(shí)施例中，生成蹤跡文件內(nèi)的蹤跡數(shù)據(jù)的呈現(xiàn)。該呈現(xiàn)對(duì)于處于測(cè)試中的系統(tǒng)內(nèi)的至少一個(gè)感興趣信號(hào)，呈現(xiàn)多個(gè)信號(hào)狀態(tài)指示，其中每一個(gè)信號(hào)狀態(tài)指示在該處于測(cè)試中的系統(tǒng)的多個(gè)操作周期的一個(gè)周期期間該信號(hào)所具有的各狀態(tài)。該呈現(xiàn)還以圖形上有區(qū)別的方式，指示控制程序請(qǐng)求對(duì)該信號(hào)的狀態(tài)進(jìn)行訪(fǎng)問(wèn)的至少一個(gè)操作周期，以使控制程序?qū)μ幱跍y(cè)試中系統(tǒng)的狀態(tài)的影響在視覺(jué)上顯而易見(jiàn)。
在下面詳細(xì)描述的說(shuō)明中，本發(fā)明的所有目的、特征和優(yōu)點(diǎn)將變得顯而易見(jiàn)。


在所附權(quán)利要求中列出了被認(rèn)為是本發(fā)明特點(diǎn)的新穎性特征。然而，結(jié)合附圖參照下面對(duì)示例性實(shí)施例的詳細(xì)說(shuō)明，將更好地理解本發(fā)明以及優(yōu)選使用模式，在這些附圖中圖1是可用于實(shí)現(xiàn)本發(fā)明的數(shù)據(jù)處理系統(tǒng)的高級(jí)方框圖；圖2是示出根據(jù)本發(fā)明的模擬模型的模擬運(yùn)行期間易失性系統(tǒng)存儲(chǔ)器的內(nèi)容的方框圖；圖3是模擬器處理由模擬控制程序(例如Run Time eXecutive(RTX))發(fā)出的訪(fǎng)問(wèn)模擬模型中的一個(gè)或多個(gè)信號(hào)狀態(tài)的API調(diào)用的示例性過(guò)程的高級(jí)邏輯流程圖；圖4示出根據(jù)本發(fā)明的優(yōu)選實(shí)施例由模擬器生成的示例性蹤跡文件；圖5A示出圖形用戶(hù)界面(GUI)的示例性實(shí)施例的第一視圖，在該圖形用戶(hù)界面中以圖形上有區(qū)別的方式呈現(xiàn)由模擬控制程序訪(fǎng)問(wèn)的信號(hào)的蹤跡；以及圖5B示出圖形用戶(hù)界面(GUI)的示例性實(shí)施例的第二視圖，在該圖形用戶(hù)界面中以圖形上有區(qū)別的方式呈現(xiàn)由模擬控制程序訪(fǎng)問(wèn)的信號(hào)蹤跡。
具體實(shí)施例方式
現(xiàn)在參照附圖，尤其參照?qǐng)D1，其中示出了根據(jù)本發(fā)明的數(shù)據(jù)處理系統(tǒng)的示例性實(shí)施例。所示出的實(shí)施例可以例如被實(shí)現(xiàn)為工作站、服務(wù)器或大型計(jì)算機(jī)。
如圖所示，數(shù)據(jù)處理系統(tǒng)6包括一個(gè)或多個(gè)處理節(jié)點(diǎn)8a-8n，如果實(shí)現(xiàn)了一個(gè)以上的處理節(jié)點(diǎn)8，則這些處理節(jié)點(diǎn)8a-8n通過(guò)節(jié)點(diǎn)互連22互相連接。處理節(jié)點(diǎn)8a-8n中每一個(gè)可包括一個(gè)或多個(gè)處理器10、本地互連16、及通過(guò)存儲(chǔ)器控制器17被訪(fǎng)問(wèn)的系統(tǒng)存儲(chǔ)器18。處理器10a-10m優(yōu)選(但不是必須)是相同的，并可包括可從紐約Armonk的國(guó)際商業(yè)機(jī)器(IBM)公司獲得的PowerPCTM處理器系列中的處理器。除了通常被稱(chēng)為處理器內(nèi)核12的寄存器、指令流邏輯和用于執(zhí)行程序指令的執(zhí)行單元之外，處理器10a-10m中的每個(gè)還包括用于將數(shù)據(jù)從系統(tǒng)存儲(chǔ)器18分級(jí)存放到相關(guān)處理器內(nèi)核12的片上高速緩存層次結(jié)構(gòu)14。
處理節(jié)點(diǎn)8a-8n中每一個(gè)進(jìn)一步包括各自的在本地互連16和節(jié)點(diǎn)互連22之間連接的節(jié)點(diǎn)控制器20。每一個(gè)節(jié)點(diǎn)控制器20通過(guò)實(shí)現(xiàn)至少兩個(gè)功能起到用于遠(yuǎn)程處理節(jié)點(diǎn)8的本地代理的作用。第一，每個(gè)節(jié)點(diǎn)控制器20探聽(tīng)相關(guān)聯(lián)的本地互連16并助于將本地通信事務(wù)傳輸?shù)竭h(yuǎn)程處理節(jié)點(diǎn)8。第二，每個(gè)節(jié)點(diǎn)控制器20探聽(tīng)節(jié)點(diǎn)互連22上的通信事務(wù)，并控制相關(guān)聯(lián)的本地互連16上的有關(guān)通信事務(wù)。每個(gè)本地互連16上的通信由仲裁器24來(lái)控制。仲裁器24根據(jù)處理器10生成的總線(xiàn)請(qǐng)求信號(hào)調(diào)節(jié)對(duì)本地互連16的訪(fǎng)問(wèn)，并編輯用于本地互連16上的所探聽(tīng)通信事務(wù)的一致性(coherency)響應(yīng)。
本地互連16通過(guò)夾層(mezzanine)總線(xiàn)橋26與夾層總線(xiàn)30相連。夾層總線(xiàn)橋26提供低時(shí)延路徑和高帶寬路徑兩者，處理器10通過(guò)低時(shí)延路徑可直接訪(fǎng)問(wèn)映射到總線(xiàn)存儲(chǔ)器和/或I/O地址空間的I/O設(shè)備32和存儲(chǔ)設(shè)備34中的設(shè)備，I/O設(shè)備32和存儲(chǔ)設(shè)備34通過(guò)高帶寬路徑可訪(fǎng)問(wèn)系統(tǒng)存儲(chǔ)器18。I/O設(shè)備32可包括例如顯示設(shè)備、打印機(jī)、鍵盤(pán)、圖形指針(graphical pointer)、及用于連接外部網(wǎng)絡(luò)或附加設(shè)備的串行和并行端口。存儲(chǔ)設(shè)備34可包括例如光或磁盤(pán)，其為操作系統(tǒng)、中間件、和應(yīng)用軟件提供非易失性存儲(chǔ)。存儲(chǔ)設(shè)備34可進(jìn)一步存儲(chǔ)顯示為蹤跡文件35的、與所模擬的或處于測(cè)試中的硬件系統(tǒng)的操作相關(guān)的數(shù)據(jù)。
現(xiàn)在參照?qǐng)D2，其中示出了在模擬模型的模擬期間圖1的數(shù)據(jù)處理系統(tǒng)6的系統(tǒng)存儲(chǔ)器18的示例性?xún)?nèi)容的方框圖。如圖所示，系統(tǒng)存儲(chǔ)器18包括作為要被模擬的數(shù)字設(shè)計(jì)的邏輯表示的模擬模型200，以及包括測(cè)試工具(例如模擬器202)、模擬控制程序或Run Time eXecutive(RTX)204、及這里稱(chēng)作All Events Trace(AET)查看器206的查看工具的軟件。
模擬器202將諸如模擬模型200的模擬模型加載到系統(tǒng)存儲(chǔ)器18中，并通過(guò)它的應(yīng)用編程接口(API)直接與該模擬模型相交互。例如，在模擬運(yùn)行期間，模擬器202通過(guò)各API 210對(duì)模擬模型200進(jìn)行重置、計(jì)時(shí)、和評(píng)估。此外，模擬器202使用GETFAC() API 212讀取在一個(gè)特定時(shí)間點(diǎn)模擬模型200中的值(例如，信號(hào)狀態(tài)或鎖存器值)，而使用PUTFAC()API 214通常為單個(gè)模擬周期將值寫(xiě)到模擬模型200中。在所示的實(shí)施例中，模擬器202還提供STICKFAC()API 216和UNSTICKFAC()API 218，STICKFAC()API 216將模擬模型200中的信號(hào)(或鎖存器)持久設(shè)置為所指定狀態(tài)直到復(fù)位為止，UNSTICKFAC()API 218將模擬模型200內(nèi)永久設(shè)置的信號(hào)復(fù)位。模擬器202還將模擬模型200隨時(shí)間變化的狀態(tài)存儲(chǔ)在存儲(chǔ)設(shè)備34內(nèi)的蹤跡文件35中，以便可對(duì)模擬模型200隨時(shí)間變化的行為進(jìn)行分析和可視化。雖然模擬器202在圖2中完全以軟件實(shí)現(xiàn)于，但本領(lǐng)域技術(shù)人員將理解，模擬器另外也可至少部分地以硬件來(lái)實(shí)現(xiàn)。
RTX 204控制諸如模擬模型200的模擬模型的模擬。例如，RTX 204加載測(cè)試用例以應(yīng)用于模擬模型200。此外，RTX 204提供一組對(duì)模擬器202所提供的API的API調(diào)用，以初始化、配置和運(yùn)行模擬模型200。在模擬期間及之后，RTX 204還調(diào)用由模擬器202所提供的API，以通過(guò)訪(fǎng)問(wèn)模擬模型200內(nèi)的各信號(hào)和鎖存器來(lái)檢驗(yàn)?zāi)M模型200的正確性。
AET查看器206通過(guò)呈現(xiàn)模擬模型200內(nèi)的感興趣信號(hào)(或鎖存器)的狀態(tài)以作為模擬時(shí)鐘周期的函數(shù)，來(lái)支持模擬模型200的基于周期的分析。為了呈現(xiàn)這一數(shù)據(jù)，AET查看器206訪(fǎng)問(wèn)存儲(chǔ)設(shè)備34內(nèi)的蹤跡文件35，并以選定格式呈現(xiàn)包含在其中的蹤跡數(shù)據(jù)，其中選定格式例如為硬拷貝打印輸出上或圖形用戶(hù)界面(GUI)呈現(xiàn)中的表格格式或圖形格式。如本領(lǐng)域技術(shù)人員所理解的，以這一方式分析和可視化隨時(shí)間變化的信號(hào)的狀態(tài)的能力提供了強(qiáng)大的工具，用于對(duì)模擬模型200所表示的處于測(cè)試中的系統(tǒng)進(jìn)行調(diào)試。
如上面所簡(jiǎn)要討論的，本發(fā)明認(rèn)識(shí)到如果在蹤跡數(shù)據(jù)的呈現(xiàn)中清楚地顯示RTX 204對(duì)處于測(cè)試中的系統(tǒng)(例如模擬模型200)的訪(fǎng)問(wèn)和操作，則AET查看器206在呈現(xiàn)和調(diào)試處于測(cè)試中的系統(tǒng)隨時(shí)間變化的狀態(tài)方面的效用得以增強(qiáng)。以這一方式，由RTX 204所強(qiáng)加的系統(tǒng)狀態(tài)的改變可更容易地與模擬模型200內(nèi)的錯(cuò)誤區(qū)別開(kāi)。為了允許AET查看器206呈現(xiàn)RTX 204對(duì)模擬模型200的訪(fǎng)問(wèn)，模擬器202優(yōu)選地以有關(guān)RTX 204發(fā)出的API調(diào)用的信息注釋蹤跡文件35，如下面所詳細(xì)描述的那樣。
現(xiàn)在參照?qǐng)D3，其中示出了根據(jù)本發(fā)明優(yōu)選實(shí)施例模擬器202處理由RTX 204發(fā)出的API調(diào)用的示例性過(guò)程的高級(jí)邏輯流程圖。如圖所示，該過(guò)程開(kāi)始于塊300，此后前進(jìn)到塊302，該塊302示出模擬器202接收到來(lái)自RTX 204內(nèi)的一例程的請(qǐng)求訪(fǎng)問(wèn)模擬模型200內(nèi)的信號(hào)(或鎖存器)狀態(tài)的API調(diào)用。例如，如圖2所示，RTX例程Write_Signal 230可發(fā)出對(duì)PUTFAC()API 214的調(diào)用，RTX例程Read_Signal 232可發(fā)出對(duì)GETFAC()API 212的調(diào)用，或RTX例程Pin_Signal 234可發(fā)出對(duì)STICKFAC()API216或UNSTICKFAC()API 218的調(diào)用。如圖3的塊302所示，這些API調(diào)用中的每個(gè)優(yōu)選地在其參數(shù)列表中包括調(diào)用例程的名稱(chēng)(例如Write_Signal)、信號(hào)(或鎖存器)名稱(chēng)、及如果是PUT型訪(fǎng)問(wèn)則還有所指定信號(hào)或鎖存器將被強(qiáng)制到的信號(hào)(或鎖存器)狀態(tài)。
在塊302之后，該過(guò)程前進(jìn)到塊304，該塊304示出模擬器202執(zhí)行所指示的對(duì)模擬模型200的訪(fǎng)問(wèn)。例如，對(duì)GETFAC()API 212的API調(diào)用使得GETFAC() API 212從模擬模型200讀取所選定信號(hào)的狀態(tài)，而對(duì)PUTFAC() API 214的API調(diào)用使得PUTFAC() API 214對(duì)于給定模擬周期將模擬模型200內(nèi)所指定的信號(hào)設(shè)置為所指示的狀態(tài)。接著，如塊306所示，模擬器202在蹤跡文件35中存儲(chǔ)有關(guān)當(dāng)前模擬周期的信息。例如，如塊306內(nèi)所示，模擬器202以與當(dāng)前模擬周期關(guān)聯(lián)的方式存儲(chǔ)API調(diào)用的類(lèi)型(PUT或GET)、RTX 204內(nèi)調(diào)用例程的名稱(chēng)、響應(yīng)于該API調(diào)用所訪(fǎng)問(wèn)的信號(hào)的信號(hào)名稱(chēng)、及信號(hào)狀態(tài)。如塊308所示，對(duì)于修改模擬模型200內(nèi)的信號(hào)狀態(tài)的PUT類(lèi)型的訪(fǎng)問(wèn)，模擬器202可以可選地存儲(chǔ)未修改過(guò)的信號(hào)狀態(tài)，及再次可選地存儲(chǔ)對(duì)于在該P(yáng)UT類(lèi)型API調(diào)用中指定的信號(hào)狀態(tài)是否修改了該信號(hào)狀態(tài)的進(jìn)一步指示。如果在同一周期內(nèi)對(duì)一特定信號(hào)進(jìn)行了多個(gè)PUT類(lèi)型訪(fǎng)問(wèn)，則以發(fā)出這些PUT類(lèi)型API調(diào)用的順序?qū)⒏鳡顟B(tài)應(yīng)用于該信號(hào)，從而最終信號(hào)狀態(tài)為在對(duì)模擬模型200進(jìn)行循環(huán)之前最后一次PUT類(lèi)型API調(diào)用所指定的信號(hào)狀態(tài)。
在塊308之后，該過(guò)程前進(jìn)到塊310，該塊310示出模擬器202提供響應(yīng)，如果存在任何響應(yīng)的話(huà)，給發(fā)出調(diào)用的RTX例程。例如，如果模擬器202從Read Signal例程232接收到對(duì)GETFAC()API 212的API調(diào)用，則模擬器202向Read Signal例程232返回所指定信號(hào)的狀態(tài)。模擬器202可能不向其他RTX調(diào)用例程提供響應(yīng)，或可能僅提供完成響應(yīng)。在塊310之后，該過(guò)程于塊312終止。
現(xiàn)在參照?qǐng)D4，其中示出了根據(jù)本發(fā)明的由模擬器202創(chuàng)建的示例性蹤跡文件35的邏輯表示。本領(lǐng)域的技術(shù)人員將理解所示出的數(shù)據(jù)結(jié)構(gòu)只是示例性的，可使用多種用于蹤跡文件35的其他格式。例如，在其他實(shí)施例中，可通過(guò)只記錄對(duì)信號(hào)狀態(tài)的改變或通過(guò)選擇性地僅存儲(chǔ)用戶(hù)指定的對(duì)模擬模型的訪(fǎng)問(wèn)(例如，僅GET或僅PUT)，獲得更緊湊的蹤跡文件。
如圖所示，示例性蹤跡文件35邏輯上被安排為一系列表400a-400n，其每一個(gè)存儲(chǔ)在模擬運(yùn)行中用于各自感興趣信號(hào)的蹤跡數(shù)據(jù)。每個(gè)表400邏輯上包含多行和多列，每一行對(duì)應(yīng)于一特定模擬周期，而列用于存儲(chǔ)與該些周期相關(guān)的跟蹤數(shù)據(jù)。在所顯示的實(shí)施例中，每一個(gè)表400中列包括信號(hào)狀態(tài)列404，用于存儲(chǔ)所指定的模擬周期期間的信號(hào)狀態(tài)；調(diào)用例程名稱(chēng)列406，用于存儲(chǔ)在所指定的模擬周期期間訪(fǎng)問(wèn)該信號(hào)的RTX調(diào)用例程的名稱(chēng)，如果存在這樣的例程的話(huà)；調(diào)用類(lèi)型列408，用于存儲(chǔ)RTX調(diào)用例程的類(lèi)型(GET或PUT)指示；及未修改信號(hào)狀態(tài)列410，如果是PUT類(lèi)型例程請(qǐng)求訪(fǎng)問(wèn)模擬模型200則該列用于存儲(chǔ)該信號(hào)的未修改狀態(tài)。
使用以上蹤跡文件35內(nèi)的信息，AET查看器206可呈現(xiàn)蹤跡數(shù)據(jù)的表格或圖形表示，該表示以圖形上有區(qū)別的方式指示出響應(yīng)于RTX 204發(fā)出的API調(diào)用而對(duì)模擬模型200的訪(fǎng)問(wèn)。在本發(fā)明的一個(gè)優(yōu)選實(shí)施例中，AET查看器206以圖形形式(例如在硬拷貝打印輸出內(nèi)或顯示設(shè)備上)呈現(xiàn)蹤跡數(shù)據(jù)，并且響應(yīng)于RTX 204發(fā)出的API調(diào)用而對(duì)模擬模型200的訪(fǎng)問(wèn)是以圖形上有區(qū)別的方式顯示的。
現(xiàn)在參照?qǐng)D5A，其中示出了圖形用戶(hù)界面(GUI)500的示例性實(shí)施例的第一視圖，該圖形用戶(hù)界面是由AET查看器206根據(jù)蹤跡文件35內(nèi)的蹤跡數(shù)據(jù)在I/O設(shè)備32中的顯示設(shè)備的顯示區(qū)內(nèi)產(chǎn)生的。根據(jù)本發(fā)明，諸如RTX的模擬控制程序所訪(fǎng)問(wèn)的信號(hào)狀態(tài)的圖形表示以圖形上有區(qū)別的方式呈現(xiàn)于GUI 500內(nèi)。
如圖所示，GUI 500包括常規(guī)的GUI部件，例如窗口502、控制按鈕504、下拉菜單506、及由諸如鼠標(biāo)的用戶(hù)輸入設(shè)備所控制的光標(biāo)508。雖然未示出，但GUI 500當(dāng)然可以包括其他附加的常規(guī)或非常規(guī)的GUI特征，例如工具欄、滾動(dòng)條等，以有助于用戶(hù)與GUI 500的交互和對(duì)其的操縱。
窗口502進(jìn)一步包含幀510，在其中呈現(xiàn)了隨時(shí)間變化的感興趣信號(hào)的圖形表示。例如，GUI 500在幀510內(nèi)呈現(xiàn)了作為模擬周期的函數(shù)的、模擬模型200的信號(hào)X、Y和Z的狀態(tài)的各自的圖形信號(hào)表示520a、520b和520c。如圖所示，每一圖形信號(hào)表示520包括多個(gè)段，每一段表示在一個(gè)或多個(gè)模擬周期期間相關(guān)信號(hào)的狀態(tài)。圖形信號(hào)表示520a-520c的呈現(xiàn)可很容易地例如根據(jù)表400的信號(hào)狀態(tài)列404而為感興趣信號(hào)產(chǎn)生。
為了使用戶(hù)能夠在視覺(jué)上區(qū)別其中RTX 204發(fā)出API調(diào)用以訪(fǎng)問(wèn)信號(hào)狀態(tài)的模擬周期，GUI 500以圖形上有區(qū)別的方式呈現(xiàn)了響應(yīng)于RTX API調(diào)用所訪(fǎng)問(wèn)的信號(hào)段。該有區(qū)別的顯示可包括線(xiàn)型、線(xiàn)條粗細(xì)、顏色、反相顯示、加下劃線(xiàn)、文本或任何其他視覺(jué)上可辨別的參數(shù)。此外，顯示參數(shù)可是用戶(hù)可選擇的，例如通過(guò)使用光標(biāo)508在“視圖”下拉菜單中作出適當(dāng)選擇。在所顯示的實(shí)施例中，GUI 500使用下劃線(xiàn)呈現(xiàn)段522a、522b和522c，這些段對(duì)應(yīng)于響應(yīng)于RTX API調(diào)用GETFAC() API 212從模擬模型200中讀出的信號(hào)狀態(tài)。以這一方式，用戶(hù)一眼就可確定RTX 204在模擬周期0222期間調(diào)用了GETFAC()API 212以讀取信號(hào)X的狀態(tài)，并在模擬周期0223和0229期間讀取信號(hào)Y的狀態(tài)。
AET查看器206的GUI 500同樣以圖形上有區(qū)別的方式呈現(xiàn)了段524a、524b，這些段對(duì)應(yīng)于由PUTFAC() API 214或STICKFAC()API 216在模擬模型200上所強(qiáng)加的信號(hào)狀態(tài)。在所例示的實(shí)施例中，使用虛線(xiàn)來(lái)呈現(xiàn)這樣的信號(hào)狀態(tài)。這樣，用戶(hù)可容易地確定RTX 204在模擬周期227期間在信號(hào)X上強(qiáng)加了邏輯高狀態(tài)，且在模擬周期0219到0223期間強(qiáng)加了為邏輯高狀態(tài)。
如將理解的那樣，AET查看器206可根據(jù)包含在表400的列408中的數(shù)據(jù)確定哪些段以圖形上有區(qū)別的方式呈現(xiàn)，且將哪一種圖形上有區(qū)別的特征應(yīng)用到這樣的段。
GUI 500還有利地向用戶(hù)提供有關(guān)哪個(gè)RTX例程發(fā)出了每一API調(diào)用的信息。在所顯示的實(shí)施例中，響應(yīng)于用戶(hù)將光標(biāo)508置于環(huán)繞表示對(duì)模擬模型200的GET或PUT類(lèi)型訪(fǎng)問(wèn)的信號(hào)段的限定區(qū)域內(nèi)，將這一信息呈現(xiàn)為飛行文本(flyover text)。例如，GUI 500響應(yīng)于光標(biāo)508被置于段524a附近，而呈現(xiàn)飛行文本526，以指示由RTX 204的Write_Signal例程230發(fā)出了對(duì)PUTFAC()API 214的調(diào)用。類(lèi)似地，在圖5B中所示的GUI 500的第二視圖中，GUI 500響應(yīng)于光標(biāo)508被置于段524b附近，而呈現(xiàn)飛行文本528，以指示由RTX 204的Pin_Signal例程234發(fā)出了對(duì)STICKFAC()API 216的調(diào)用。有利地，對(duì)于PUTFAC()API 214和STICKFAC() API 216發(fā)出的PUT類(lèi)型的訪(fǎng)問(wèn)，飛行文本可進(jìn)一步指示在沒(méi)有該API調(diào)用時(shí)該信號(hào)本來(lái)會(huì)具有的狀態(tài)(例如“0”或“1”)?？捎葾ET查看器206例如從表400的列406和410內(nèi)的蹤跡數(shù)據(jù)獲得RTX例程名稱(chēng)和未修改過(guò)的信號(hào)值。當(dāng)在單個(gè)模擬周期內(nèi)對(duì)一個(gè)信號(hào)執(zhí)行多個(gè)PUT和/或GET的情況下，在GUI 500內(nèi)呈現(xiàn)的信號(hào)值和例程名稱(chēng)是對(duì)于該模擬周期將最后一個(gè)被記錄在記錄中的。
如已經(jīng)描述的，本發(fā)明支持使用響應(yīng)于控制程序的請(qǐng)求而對(duì)處于測(cè)試中系統(tǒng)的訪(fǎng)問(wèn)的指示來(lái)對(duì)蹤跡數(shù)據(jù)進(jìn)行注釋。本發(fā)明進(jìn)一步支持呈現(xiàn)已注釋過(guò)的蹤跡數(shù)據(jù)，從而以圖形上有區(qū)別的方式呈現(xiàn)控制程序所訪(fǎng)問(wèn)的信號(hào)狀態(tài)。
盡管本發(fā)明已顯示為參照優(yōu)選實(shí)施例所描述的那樣，本領(lǐng)域的技術(shù)人員將理解，可在其中作出各種形式上和細(xì)節(jié)上變化，而不脫離本發(fā)明的精神和范圍。例如，可以理解，盡管已針對(duì)一個(gè)其中采用軟件模擬器的優(yōu)選實(shí)施例描述了本發(fā)明，但這里所公開(kāi)的發(fā)明構(gòu)思同樣可應(yīng)用于由硬件模擬器實(shí)現(xiàn)的對(duì)處于測(cè)試中的系統(tǒng)的系統(tǒng)狀態(tài)的調(diào)試和呈現(xiàn)。此外，本領(lǐng)域的技術(shù)人員將理解，本發(fā)明不僅可應(yīng)用于基于周期的模擬器，還可應(yīng)用于事件驅(qū)動(dòng)的模擬器。
此外，盡管參照?qǐng)?zhí)行實(shí)現(xiàn)本發(fā)明的功能的軟件的計(jì)算機(jī)系統(tǒng)描述了本發(fā)明的各方面，應(yīng)該理解，本發(fā)明也可以實(shí)現(xiàn)為用于與數(shù)據(jù)處理系統(tǒng)一起使用的程序產(chǎn)品?？赏ㄟ^(guò)各種信號(hào)承載介質(zhì)將定義本發(fā)明的功能的程序提供給數(shù)據(jù)處理系統(tǒng)，這些介質(zhì)包括但不限于不可重寫(xiě)存儲(chǔ)介質(zhì)(例如CD-ROM)、可重寫(xiě)存儲(chǔ)介質(zhì)(例如軟盤(pán)或硬盤(pán)驅(qū)動(dòng)器)、及諸如數(shù)字和模擬網(wǎng)絡(luò)的通信介質(zhì)。因此，應(yīng)該理解，這種信號(hào)承載介質(zhì)當(dāng)承載或編碼實(shí)現(xiàn)本發(fā)明的功能的計(jì)算機(jī)可讀指令時(shí)，代表本發(fā)明的其他可選實(shí)施例。
權(quán)利要求
1.一種記錄處于測(cè)試中的系統(tǒng)的操作的方法，所述方法包括在存儲(chǔ)設(shè)備內(nèi)的蹤跡文件中，存儲(chǔ)在該處于測(cè)試中的系統(tǒng)的多個(gè)操作周期中的每個(gè)周期期間該處于測(cè)試中的系統(tǒng)內(nèi)的感興趣信號(hào)的信號(hào)狀態(tài)；以及在該蹤跡文件中與該信號(hào)狀態(tài)相關(guān)聯(lián)地存儲(chǔ)關(guān)于控制程序在所述多個(gè)周期之中的特定周期期間所請(qǐng)求的對(duì)所述信號(hào)狀態(tài)的訪(fǎng)問(wèn)的信息。
2.權(quán)利要求1的方法，其中存儲(chǔ)關(guān)于所請(qǐng)求的訪(fǎng)問(wèn)的信息的步驟包括存儲(chǔ)請(qǐng)求所述訪(fǎng)問(wèn)的控制程序例程的標(biāo)識(shí)。
3.權(quán)利要求1的方法，其中存儲(chǔ)關(guān)于所請(qǐng)求的訪(fǎng)問(wèn)的信息的步驟包括存儲(chǔ)所述訪(fǎng)問(wèn)是GET類(lèi)型訪(fǎng)問(wèn)還是PUT類(lèi)型訪(fǎng)問(wèn)的指示。
4.權(quán)利要求1的方法，其中存儲(chǔ)關(guān)于所請(qǐng)求的訪(fǎng)問(wèn)的信息的步驟包括存儲(chǔ)所述特定信號(hào)在沒(méi)有所述訪(fǎng)問(wèn)時(shí)本來(lái)會(huì)具有的狀態(tài)的指示。
5.權(quán)利要求1的方法，其中所述處于測(cè)試中的系統(tǒng)是模擬模型；以及所述存儲(chǔ)關(guān)于所述請(qǐng)求的訪(fǎng)問(wèn)的信息的步驟包括模擬器存儲(chǔ)關(guān)于模擬控制程序所請(qǐng)求的訪(fǎng)問(wèn)的信息。
6.權(quán)利要求1的方法，進(jìn)一步包括對(duì)于處于測(cè)試中的系統(tǒng)內(nèi)的感興趣信號(hào)，呈現(xiàn)多個(gè)信號(hào)狀態(tài)指示，每個(gè)信號(hào)狀態(tài)指示指示在該處于測(cè)試中的系統(tǒng)的多個(gè)操作周期的一個(gè)周期期間所述信號(hào)所具有的相應(yīng)狀態(tài)；以及以圖形上有區(qū)別的方式，指示至少一個(gè)其中控制程序請(qǐng)求對(duì)所述信號(hào)的狀態(tài)進(jìn)行訪(fǎng)問(wèn)的操作周期。
7.一種呈現(xiàn)處于測(cè)試中的系統(tǒng)隨時(shí)間變化的狀態(tài)的方法，所述方法包括對(duì)于在該處于測(cè)試中的系統(tǒng)內(nèi)的至少一感興趣信號(hào)，呈現(xiàn)多個(gè)信號(hào)狀態(tài)指示，每個(gè)信號(hào)狀態(tài)指示指示在該處于測(cè)試中的系統(tǒng)的多個(gè)操作周期中的一個(gè)周期期間所述信號(hào)所具有的相應(yīng)狀態(tài)；以及以圖形上有區(qū)別的方式，指示至少一個(gè)其中控制程序請(qǐng)求對(duì)所述信號(hào)的狀態(tài)進(jìn)行訪(fǎng)問(wèn)的操作周期。
8.權(quán)利要求7的方法，其中呈現(xiàn)多個(gè)信號(hào)狀態(tài)指示的步驟包括呈現(xiàn)圖形信號(hào)表示，該圖形信號(hào)表示包括多個(gè)段，每一個(gè)段指示一特定信號(hào)狀態(tài)。
9.權(quán)利要求8的方法，其中所述指示包括以圖形上有區(qū)別的方式呈現(xiàn)所述多個(gè)段中的一個(gè)或多個(gè)。
10.權(quán)利要求7的方法，進(jìn)一步包括與其中控制程序請(qǐng)求對(duì)所述信號(hào)的狀態(tài)進(jìn)行訪(fǎng)問(wèn)的所述操作周期相關(guān)聯(lián)地，呈現(xiàn)所述控制程序內(nèi)調(diào)用例程的標(biāo)識(shí)。
11.權(quán)利要求7的方法，進(jìn)一步包括與其中控制程序請(qǐng)求對(duì)所述信號(hào)的狀態(tài)進(jìn)行訪(fǎng)問(wèn)的所述操作周期相關(guān)聯(lián)地，呈現(xiàn)所述信號(hào)在沒(méi)有所述訪(fǎng)問(wèn)時(shí)本來(lái)會(huì)具有的信號(hào)狀態(tài)。
12.一種用于記錄處于測(cè)試中的系統(tǒng)的操作的數(shù)據(jù)處理系統(tǒng)，所述數(shù)據(jù)處理系統(tǒng)包括處理器；以及數(shù)據(jù)存儲(chǔ)器，其連接到所述處理器且包含測(cè)試工具，該測(cè)試工具可由所述處理器執(zhí)行以使所述數(shù)據(jù)處理系統(tǒng)在該數(shù)據(jù)存儲(chǔ)器內(nèi)的蹤跡文件中存儲(chǔ)在該處于測(cè)試中的系統(tǒng)的多個(gè)操作周期中的每個(gè)周期期間該處于測(cè)試中的系統(tǒng)內(nèi)的感興趣信號(hào)的信號(hào)狀態(tài)，并在蹤跡文件中與該信號(hào)狀態(tài)相關(guān)聯(lián)地存儲(chǔ)關(guān)于控制程序在所述多個(gè)周期之中的特定周期期間所請(qǐng)求的對(duì)所述信號(hào)狀態(tài)的訪(fǎng)問(wèn)的信息。
13.權(quán)利要求12的數(shù)據(jù)處理系統(tǒng)，其中所述信息包括請(qǐng)求所述訪(fǎng)問(wèn)的控制程序例程的標(biāo)識(shí)。
14.權(quán)利要求12的數(shù)據(jù)處理系統(tǒng)，其中所述信息包括所述訪(fǎng)問(wèn)是GET類(lèi)型訪(fǎng)問(wèn)還是PUT類(lèi)型訪(fǎng)問(wèn)的指示。
15.權(quán)利要求12的數(shù)據(jù)處理系統(tǒng)，其中所述信息包括所述特定信號(hào)在沒(méi)有所述訪(fǎng)問(wèn)時(shí)本來(lái)會(huì)具有的狀態(tài)的指示。
16.權(quán)利要求12的數(shù)據(jù)處理系統(tǒng)，其中所述處于測(cè)試中的系統(tǒng)是模擬模型；所述控制程序包括模擬控制程序；以及所述測(cè)試工具包括模擬器。
17.權(quán)利要求12的數(shù)據(jù)處理系統(tǒng)，進(jìn)一步包括查看器工具，其在上述數(shù)據(jù)存儲(chǔ)器之內(nèi)，并可由所述數(shù)據(jù)處理系統(tǒng)執(zhí)行以使該數(shù)據(jù)處理系統(tǒng)生成這樣的呈現(xiàn)，該呈現(xiàn)對(duì)于處于測(cè)試中的系統(tǒng)內(nèi)的感興趣信號(hào)呈現(xiàn)多個(gè)信號(hào)狀態(tài)指示，每個(gè)信號(hào)狀態(tài)指示指示在該處于測(cè)試中的系統(tǒng)的多個(gè)操作周期的一個(gè)周期期間所述信號(hào)所具有的相應(yīng)狀態(tài)，并以圖形上有區(qū)別的方式指示其中控制程序請(qǐng)求對(duì)所述信號(hào)的狀態(tài)進(jìn)行訪(fǎng)問(wèn)的至少一個(gè)操作周期。
18.一種用于在呈現(xiàn)設(shè)備內(nèi)生成處于測(cè)試中的系統(tǒng)隨時(shí)間變化的狀態(tài)的呈現(xiàn)的數(shù)據(jù)處理系統(tǒng)，所述數(shù)據(jù)處理系統(tǒng)包括處理器；以及數(shù)據(jù)存儲(chǔ)器，其連接到所述處理器并包含可由所述處理器執(zhí)行以生成這樣的呈現(xiàn)的查看器工具，該呈現(xiàn)對(duì)于在該處于測(cè)試中的系統(tǒng)內(nèi)的至少一感興趣信號(hào)呈現(xiàn)多個(gè)信號(hào)狀態(tài)指示，每個(gè)信號(hào)狀態(tài)指示指示在該處于測(cè)試中的系統(tǒng)的多個(gè)操作周期中的一個(gè)周期期間所述信號(hào)所具有的相應(yīng)狀態(tài)，并以圖形上有區(qū)別的方式，指示其中控制程序請(qǐng)求對(duì)所述信號(hào)的狀態(tài)進(jìn)行訪(fǎng)問(wèn)的至少一個(gè)操作周期。
19.權(quán)利要求18的數(shù)據(jù)處理系統(tǒng)，其中所述多個(gè)信號(hào)狀態(tài)指示包括圖形信號(hào)表示，該圖形信號(hào)表示包括多個(gè)段，每一個(gè)段指示一特定信號(hào)狀態(tài)。
20.權(quán)利要求19的數(shù)據(jù)處理系統(tǒng)，其中所述呈現(xiàn)通過(guò)以圖形上有區(qū)別的方式呈現(xiàn)所述多個(gè)段中的一個(gè)或多個(gè)來(lái)指示所述至少一個(gè)操作周期。
21.權(quán)利要求18的數(shù)據(jù)處理系統(tǒng)，其中所述查看器工具的所述呈現(xiàn)進(jìn)一步與其中控制程序請(qǐng)求對(duì)所述信號(hào)的狀態(tài)進(jìn)行訪(fǎng)問(wèn)的所述操作周期相關(guān)聯(lián)地，呈現(xiàn)所述控制程序內(nèi)調(diào)用例程的標(biāo)識(shí)。
22.權(quán)利要求18的數(shù)據(jù)處理系統(tǒng)，其中所述查看器工具的所述呈現(xiàn)進(jìn)一步與其中控制程序請(qǐng)求對(duì)所述信號(hào)的狀態(tài)進(jìn)行訪(fǎng)問(wèn)的所述操作周期相關(guān)聯(lián)地，呈現(xiàn)所述信號(hào)在沒(méi)有所述訪(fǎng)問(wèn)時(shí)本來(lái)會(huì)具有的信號(hào)狀態(tài)。
23.權(quán)利要求18的數(shù)據(jù)處理系統(tǒng)，進(jìn)一步包括連接到所述處理器的呈現(xiàn)裝置。
24.一種用于記錄處于測(cè)試中的系統(tǒng)的操作的程序產(chǎn)品，所述程序產(chǎn)品包括計(jì)算機(jī)可用介質(zhì)；以及測(cè)試工具，其在所述計(jì)算機(jī)可用介質(zhì)內(nèi)并可由數(shù)據(jù)處理系統(tǒng)執(zhí)行以使所述數(shù)據(jù)處理系統(tǒng)在數(shù)據(jù)存儲(chǔ)器內(nèi)的蹤跡文件中存儲(chǔ)在該處于測(cè)試中的系統(tǒng)的多個(gè)操作周期中的每個(gè)周期期間該處于測(cè)試中的系統(tǒng)內(nèi)的感興趣信號(hào)的信號(hào)狀態(tài)，并在蹤跡文件中與該信號(hào)狀態(tài)相關(guān)聯(lián)地存儲(chǔ)關(guān)于控制程序在所述多個(gè)周期之中的特定周期期間所請(qǐng)求的對(duì)所述信號(hào)狀態(tài)的訪(fǎng)問(wèn)的信息。
25.權(quán)利要求24的程序產(chǎn)品，其中所述信息包括請(qǐng)求所述訪(fǎng)問(wèn)的控制程序例程的標(biāo)識(shí)。
26.權(quán)利要求24的程序產(chǎn)品，其中所述信息包括所述訪(fǎng)問(wèn)是GET類(lèi)型訪(fǎng)問(wèn)還是PUT類(lèi)型訪(fǎng)問(wèn)的指示。
27.權(quán)利要求24的程序產(chǎn)品，其中所述信息包括所述特定信號(hào)在沒(méi)有所述訪(fǎng)問(wèn)時(shí)本來(lái)會(huì)具有的狀態(tài)的指示。
28.權(quán)利要求24的程序產(chǎn)品，其中所述處于測(cè)試中的系統(tǒng)是模擬模型；所述控制程序包括模擬控制程序；以及所述測(cè)試工具包括模擬器。
29.權(quán)利要求24的程序產(chǎn)品，進(jìn)一步包括查看器工具，其在上述計(jì)算機(jī)可用介質(zhì)之內(nèi)，并可由數(shù)據(jù)處理系統(tǒng)執(zhí)行以使該數(shù)據(jù)處理系統(tǒng)生成這樣的呈現(xiàn)，該呈現(xiàn)對(duì)于處于測(cè)試中的系統(tǒng)內(nèi)的感興趣信號(hào)呈現(xiàn)多個(gè)信號(hào)狀態(tài)指示，每個(gè)信號(hào)狀態(tài)指示指示在該處于測(cè)試中的系統(tǒng)的多個(gè)操作周期的一個(gè)周期期間所述信號(hào)所具有的相應(yīng)狀態(tài)，并以圖形上有區(qū)別的方式指示其中控制程序請(qǐng)求對(duì)所述信號(hào)的狀態(tài)進(jìn)行訪(fǎng)問(wèn)的至少一個(gè)操作周期。
30.一種用于在呈現(xiàn)裝置內(nèi)生成處于測(cè)試中的系統(tǒng)隨時(shí)間變化的狀態(tài)的呈現(xiàn)的程序產(chǎn)品，所述程序產(chǎn)品包括計(jì)算機(jī)可用介質(zhì)；以及查看器工具，其在所述計(jì)算機(jī)可用介質(zhì)之內(nèi)，并可由數(shù)據(jù)處理系統(tǒng)執(zhí)行以生成這樣的呈現(xiàn)，該呈現(xiàn)對(duì)于處于測(cè)試中的系統(tǒng)內(nèi)的至少一個(gè)感興趣信號(hào)呈現(xiàn)多個(gè)信號(hào)狀態(tài)指示，每個(gè)信號(hào)狀態(tài)指示指示在該處于測(cè)試中的系統(tǒng)的多個(gè)操作周期的一個(gè)周期期間所述信號(hào)所具有的相應(yīng)狀態(tài)，并以圖形上有區(qū)別的方式指示其中控制程序請(qǐng)求對(duì)所述信號(hào)的狀態(tài)進(jìn)行訪(fǎng)問(wèn)的至少一個(gè)操作周期。
31.權(quán)利要求30的程序產(chǎn)品，其中所述多個(gè)信號(hào)狀態(tài)指示包括圖形信號(hào)表示，該圖形信號(hào)表示包括多個(gè)段，每一個(gè)段指示一特定信號(hào)狀態(tài)。
32.權(quán)利要求31的程序產(chǎn)品，其中所述呈現(xiàn)通過(guò)以圖形上有區(qū)別的方式呈現(xiàn)所述多個(gè)段中的一個(gè)或多個(gè)來(lái)指示所述至少一個(gè)操作周期。
33.權(quán)利要求30的程序產(chǎn)品，其中所述查看器工具的所述呈現(xiàn)進(jìn)一步與其中控制程序請(qǐng)求對(duì)所述信號(hào)的狀態(tài)進(jìn)行訪(fǎng)問(wèn)的所述操作周期相關(guān)聯(lián)地，呈現(xiàn)所述控制程序內(nèi)調(diào)用例程的標(biāo)識(shí)。
34.權(quán)利要求30的程序產(chǎn)品，其中所述查看器工具的所述呈現(xiàn)進(jìn)一步與其中控制程序請(qǐng)求對(duì)所述信號(hào)的狀態(tài)進(jìn)行訪(fǎng)問(wèn)的所述操作周期相關(guān)聯(lián)地，呈現(xiàn)所述信號(hào)在沒(méi)有所述訪(fǎng)問(wèn)時(shí)本來(lái)會(huì)具有的信號(hào)狀態(tài)。
全文摘要
本發(fā)明提供了一種將在處于測(cè)試中的系統(tǒng)的多個(gè)操作周期中的每個(gè)周期期間，該處于測(cè)試中的系統(tǒng)內(nèi)的感興趣信號(hào)的信號(hào)狀態(tài)存儲(chǔ)在蹤跡文件中的方法。在該方法中，與信號(hào)狀態(tài)相關(guān)聯(lián)地，還存儲(chǔ)關(guān)于控制程序在該多個(gè)周期之中的特定周期期間所請(qǐng)求的對(duì)所述信號(hào)狀態(tài)的訪(fǎng)問(wèn)的信息。根據(jù)蹤跡文件生成呈現(xiàn)，該呈現(xiàn)對(duì)于處于測(cè)試中的系統(tǒng)內(nèi)的至少一感興趣信號(hào)，呈現(xiàn)多個(gè)信號(hào)狀態(tài)指示，每個(gè)信號(hào)狀態(tài)指示指示在該處于測(cè)試中的系統(tǒng)的多個(gè)操作周期的某一個(gè)周期期間該信號(hào)所具有的各狀態(tài)。該呈現(xiàn)還以圖形上有區(qū)別的方式，指示其中控制程序請(qǐng)求對(duì)該信號(hào)的狀態(tài)進(jìn)行訪(fǎng)問(wèn)的至少一個(gè)操作周期，以使控制程序?qū)μ幱跍y(cè)試中的系統(tǒng)的狀態(tài)影響在視覺(jué)上顯而易見(jiàn)。
文檔編號(hào)G06F17/50GK1716264SQ20051006996
公開(kāi)日2006年1月4日 申請(qǐng)日期2005年5月11日 優(yōu)先權(quán)日2004年6月30日
發(fā)明者W·勒斯納, D·E·威廉斯 申請(qǐng)人:國(guó)際商業(yè)機(jī)器公司