1)LOGISCOPE 用于開發(fā)階段

　　定義質量模型

　　RuleChecker 預定義了50 個的編程規(guī)則：名稱約定(如：局部變量用小寫等);表示約定(如：每行一條指令); 限制(如：不能用GOTO 語句，不能修改循環(huán)體中的計數(shù)器等)。用戶可以從這些規(guī)則中選擇，也可以用Tcl 、腳本和編程語言定義新的規(guī)則。此外，還提供50 個面向安全-關鍵系統(tǒng)的編程規(guī)則。

　　Audit 以ISO9126 模型作為質量評價模型的基礎。質量評價模型描述了從Halstend 、McCabe 的度量方法學和VERILOG 引入的質量方法學中的質量因素(可維護性、可重用性、等)和質量準則(可測試性、可讀性、等)。

　　工程項目領導或質量管理人員可以根據(jù)準則、應用軟件的生存周期、合同需求等，挑選并采納適用于項目需求的質量模型。

　　驗證、評審和改進代碼

　　RuleChecker 用所選的規(guī)則對源代碼進行驗證。指出所有不符合編程規(guī)則的代碼，并提出改進源代碼的解釋和建議。RulrChecker 通過文本編輯器直接訪問源代碼并指出需要糾正的位置。

　　Audit 將被評價的軟件與規(guī)定的質量模型進行比較，用圖形形式顯示軟件質量的級別，因此，質量人員可以把精力集中到需要修改的代碼部分。對度量元素和質量模型不一致的地方作出解釋并提出糾正的方法。

　　2)LOGISCOPE 用于測試階段

　　定義測試準則

　　LOGISCOPE 推薦對指令(IB)、邏輯路徑(DDP)和調(diào)用路徑(PPP)的覆蓋測試。此外對安全-關鍵軟件還提供了MC/DC 的覆蓋測試。

　　測試的有效性

　　TestChecker 產(chǎn)生每個測試的測試覆蓋信息和累計信息。用直方圖顯示覆蓋比率，并根據(jù)測試運行情況實時在線更改。隨時顯示新的測試所反映的測試覆蓋情況。

　　TestChecker 允許所有的測試運行依據(jù)其有效性進行管理。用戶可以減少那些用于非回歸測試的測試。

　　測試的優(yōu)化

　　在測試階段的第一步，執(zhí)行的測試是功能性(黑箱)測試。其目的是檢查所期望的功能是否已實現(xiàn)。在測試初期，覆蓋率會迅速增加。象樣的測試工作一般能達到70%的覆蓋率。但是，要提高此比率是十分困難的。主要是由于測試用例覆蓋了相同的測試路徑。這時，需要對測試策略做一些改變。執(zhí)行結構化(白箱)測試，即，要檢測沒有執(zhí)行過的邏輯路徑，定義新的測試用例覆蓋這些路徑。

　　在執(zhí)行測試期間，當測試策略改變時，綜合的運用TestChecker 檢測關鍵因素以提高效率。將TestChecker與Audit 配合使用能夠幫助用戶分析未測試的代碼。

　　用戶可以顯示所關心的代碼，并通過對執(zhí)行未覆蓋的路徑的觀察得到有關的信息。信息以圖形(控制流圖)和文本(偽代碼和源文件)的形式提交，并在其間建立導航關聯(lián)。

　　TestChecker 管理系統(tǒng)聲明新的測試、生成有關文檔、定義啟動命令、以及自動執(zhí)行的方法。