TestChecker 管理系統聲明新的測試、生成有關文檔、定義啟動命令、以及自動執行的方法。
3)LOGISCOPE 用于維護階段
人們廣泛的認識到應用系統的維護費用與開發費用基本相等。經驗表明50%的軟件維
護時間化在對結構、邏輯和運行的理解上。LOGISCOPE 可以大大的減少對未知系統的理解所需的時間。
Audit 將應用系統的框架以文件形式(部件文件間的關系)和調用圖的形式(函數和過程間的關系)可視化。函數的邏輯結構以控制流圖的形式顯示。在控制流圖上選定一個節點,即可得到相對應的代碼?梢栽诓煌某橄髮由蠈孟到y進行分析,不同層次間的導航,促進對整體的理解。
4)對嵌入式領域的支持
LOGISCOPE 支持多種測試方式。特別是對嵌入式領域軟件的支持。
眾所周知,嵌入式系統軟件的測試是最為困難的。因為,它的開發是用交叉編譯方式進行的。在目標機(Target)上,不可能有多余的空間記錄測試的信息。必須實時地將測試信息通過網線/串口傳到宿主機(Host)上,并實時在線地顯示。因此,對源代碼的插裝和目標機上的信息收集與回傳成為問題的關鍵。
LOGISCOPE 很好地解決了這些技術,成為嵌入式領域測試工具的佼佼者。它支持各種實時操作系統(RTOS)上的應用程序的測試,也支持邏輯系統的測試。Logiscope 提供VxWorks 、pSOS 、VRTX 實時操作系統的測試庫。
5)對航空/航天/國防/核電站領域的支持
在航空/航天領域,安全是最關鍵的問題。因此,歐美的航空/航天制造廠商和使用單位聯合制定了RTCA/DO-178B。LOGISCOPE 通過對"Reviews and Analysis of the Source
Code " 和"Structural Coverage Analysis "能夠使開發的軟件達到RTCA/DO-178B 標準的A 、B 、C 三個系統級。
LOGISCOPE 是第一個提供MC/DC(Modified Condition/Decision Coverage)測試的工具。
6)軟件文檔和測試文檔的自動生成
Logiscope 提供了文檔自動生成工具。使用者可以將代碼評審的結果和動態測試情況實時生成所要求的文檔,這些文檔忠實地記錄代碼的情況和動態測試的結果。文檔的格式可以根據用戶的需要定制,如,GJB-438A。
支持的主機平臺:
UNIX:Sun OS/Solaris, HP 700 HP-UX, RS6000 AIX, Power PC, DEC UNIX;
IBM Mainframe MVS環境;
PC Windows/NT。
支持的語言:C, C++, Ada, Java
目標機環境:支持嵌入式實時操作系統VxWorks,PSOS,VRTX
文章來源于領測軟件測試網 http://www.kjueaiud.com/