1. 軟件的質量要求
軟件，是大系統中的重要組成部分；嵌入式軟件，是指將軟件作為系統的一部分嵌入在系統中，作為系統的一部分使用的軟件，這種軟件最關鍵的要求是安全性和高可靠性。特別是在軍用領域中更是如此。
因此，必須用有效的手段和軟件工具支持和滿足嵌入式軟件開發、軟件測試和評審等單位，以保證他們進行軟件質量保證活動。即，要有相應的軟件工具支持開發者，以保證在最短的時間內、用最少的費用，開發高質量的軟件，以滿足客戶的需求，同時減少產品交付后的維護費用。
通過對實際工程的統計，會發現在不同的階段發現和更改一個錯誤的費用是不同的，下表表明了具體的數據 [1] 。
軟件開發階段 發現和更改錯誤的費用
編碼階段 1倍
測試階段 4倍
維護階段 16倍
另一方面，統計表明一個項目中， 80% 的錯誤往往是由 20% 的程序引起的。因此，如何有效的確認和標識出這 20% 的部件是十分重要的。
經驗也告訴我們，錯誤多的程序，其結構、算法、程序風格往往非常復雜。
下表是在各個軟件開發階段各種活動（評審和測試）發現錯誤的情況 [1] ：
發現錯誤活動 需求評審 設計評審 代碼評審 集成測試 驗收測試
每1000 行發現的錯誤數 2.5 5.0 10.0 3.0 2.0
軟件產品同其它工業產品一樣，其質量取決于軟件的開發過程中對質量的控制。要提高好軟件的質量，必須從各個階段來控制。
LOGISCOPE 是一組工具集。它貫穿于軟件開發、代碼評審、單元 / 集成測試、系統測試、以及軟件維護階段。
LOGISCOPE 是面向源代碼進行工作的。 LOGISCOPE 針對編碼、測試和維護。因此， LOGISCOPE 的重點是幫助代碼評審（ Review ）和動態覆蓋測試（ Testing ）。
2. LOGISCOPE 用于開發階段
2.1 定義質量模型
重視軟件開發質量的公司，應當定義程序員編程規則[2]和質量評價模型。以保證公司所開發的源代碼的穩定性性、易維護性、高可靠性和可移植性。
RuleChecker 預定義了 50個的編程規則：
· 名稱約定（如：局部變量用小寫等）；
· 表示約定（如：每行一條指令）；
· 限制（如：不能用GOTO語句，不能修改循環體中的計數器等）；
用戶可以從這些規則中選擇，也可以用Tcl、腳本和編程語言定義新的規則。
此外，還提供50個面向安全-關鍵系統的編程規則。
Audit 以 ISO9126 [3]模型作為質量評價模型的基礎。質量評價模型描述了從Halstend、McCabe的度量方法學和VERILOG引入的質量方法學中的質量因素（可維護性、可重用性、等）和質量準則（可測試性、可讀性、等）。
工程項目領導或質量管理人員可以根據準則、應用軟件的生存周期、合同需求等，挑選并采納適用于項目需求的質量模型。
文章來源于領測軟件測試網 http://www.anti-gravitydesign.com/