5. 對嵌入式領域的支持
LOGISCOPE支持多種測試方式。特別是對嵌入式領域軟件的支持。
眾所周知,嵌入式系統軟件的測試是最為困難的。因為,它的開發是用交叉編譯方式進行的。在目標機( Target)上,不可能有多余的空間記錄測試的信息。必須實時地將測試信息通過網線/串口傳到宿主機(Host)上,并實時在線地顯示。因此,對源代碼 的插裝和目標機上的信息收集與回傳成為問題的關鍵。
LOGISCOPE很好地解決了這些技術,成為嵌入式領域測試工具的佼佼者。它支持各種實時操作系統(RTOS)上的應用程序的測試,也支持邏輯系統的測試。其工作原理圖如下:
Logiscope 提供 VxWorks 、 pSOS 、 VRTX 實時操作系統的測試庫。
6. 對航空/航天/國防/核電站領域的支持
在航空/航天領域,安全是最關鍵的問題。因此,歐美的航空/航天制造廠商和使用單位聯合制定了RTCA/DO-178B[5] 。 LOGISCOPE 通過對“Reviews and Analysis of the Source Code” 和“Structural Coverage Analysis”能夠使開發的軟件達到RTCA/DO-178B標準的A 、B 、C 三個系統級。
LOGISCOPE 是第一個提供 MC/DC(Modified Condition/Decision Coverage) 測試的工具。
VERILOG 公司另一個產品 SCADE 是完全支持RTCA/DO-178B、IEC1508[6] 、IEC880[7] 的工具。將 SCADE 和 LOGISCOPE 配置成生產線,確保航空 / 航天安全關鍵系統的軟件安全可靠。
7. 軟件文檔和測試文檔的自動生成
Logiscope 提供了文檔自動生成工具。使用者可以將代碼評審的結果和動態測試情況實時生成所要求的文檔,這些文檔忠實地記錄代碼的情況和動態測試的結果。文檔的格式可以根據用戶的需要定制,如, GJB-438A[8] 。因此:
1) 避免了代碼和文檔的不一致性;
2) 避免測試結果和測試報告的不一致性;
3) 減輕了開發人員和測試人員編寫文檔的工作。
8. 總結
LOGISCOPE 的使用能夠在最短的時間內,提高軟的質量和效率。
LOGISCOPE 在開發階段,查找可尋找潛在的錯誤。
在代碼評審階段, LOGISCOPE 定位那些具有 80% 錯誤的程序模塊。
通過對未被測試代碼的定位, LOGISCOPE 幫助找到隱藏在未測試代碼中的缺陷。
項目領導和質量工程師用 LOGISCOPE 定期地檢查整個軟件的質量。
在各個階段用 LOGISCOPE ,改進軟件工程的實踐,訓練程序員的編寫良好的代碼和測試活動,確保系統易于維護,減少風險。
在有合同關系時,合同方可以用 LOGISCOPE 明確定義驗收時質量等級和執行測試。承制方可以用 LOGISCOPE 演示其軟件的質量。
LOGISCOPE 獲取 ISO/IEC9126 定義的“ Quality Characteristics ”;
LOGISCOPE 為 ISO-9001[9] 提供需求( test acceptance criteria and qulity records );
LOGISCOPE 為開發者提供 SEI/CMM[10] 在第 2 級( Repeatable )所要求的軟件質量跟蹤等關鍵實踐的要求,推進開發組織盡快達到 SEI/SMM 的 3 級。
文章來源于領測軟件測試網 http://www.kjueaiud.com/