Logiscope測試機理[1]

　　Logiscope測試機理[1]   軟件測試

　　1前言

　　本文介紹了靜態測試工具Logiscope的測試機理。通過對Logiscope測試機理的了解，能幫助我們更好的使用這個工具。

　　通過閱讀本文，你可以了解到以下信息：

　　◆Logiscope是如何分析軟件產品質量的;

　　◆Logiscope是如何檢測代碼的編碼規范的;

　　◆Logiscope是如何統計測試覆蓋率的;

　　2 Logiscope總覽

　　Logiscope有三項主要功能，以三個獨立工具的形式出現，分別是：

　　軟件質量分析工具——Audit;

　　代碼規范性檢測工具——Rulechecker;

　　測試覆蓋率統計工具——TestChecker。

　　Audit和Rulechecker提供了對軟件進行靜態分析的功能，TestChecker提供了測試覆蓋率統計的功能。

　　Logiscope可以對多種語言實現的代碼進行分析，比如C、C++、Java、Ada，等等。下面的內容與具體的語言基本是沒有關系的，但如果某些地方確實要涉及具體的語言，則我都是以C++為例。

　　下面，我對Audit、Rulechecker和TestChecker的測試機理，分別進行介紹。

　　3 Audit測試機理;

　　3.1軟件質量模型

　　前面已經說過，Audit是審查程序代碼質量的。要討論代碼的質量，就需要先說明一下軟件質量模型的概念，因為理解下面的內容需要軟件質量模型的相關知識。

　　如果你原來學習過軟件質量保證的相關知識，那么應該會對軟件質量模型這個概念有印象。為了說明Audit的測試機理，在這里只對軟件質量模型做個簡單的介紹。如果你對軟件質量模型的概念比較陌生，建議找一本講述軟件工程方面的書，閱讀一下軟件質量保證部分的內容。

　　軟件質量模型是一個分層結構，它的一般形式如下圖所示：

　　質量因素處于質量模型中最高一級。軟件的質量因素包括功能性、可靠性、易用性、效率、可維護性、可移植性這六個方面(在ISO/IEC 9126中有詳細的描述)。

　　在質量因素之下，又細分成多個質量標準。

　　每個質量標準又由多個質量度量元組成。這些質量度量元處于質量模型分層結構中的最底層。

　　質量因素、質量標準一般是固定的，就是這幾類，但質量度量元不是固定的，可以根據不同的情況發生變化。

　　軟件質量模型就是一個將程序信息由底層到高層、由細節到概括的一個過程模型，它由簡單、可測量的數據入手，最后分析概括出軟件的特征。

　　3.2 Audit對軟件質量模型的實現

　　上面我們了解了軟件質量模型的大體結構，Audit也是按照這種分層、量化的方式來審查代碼質量的。

原文轉自：http://www.anti-gravitydesign.com