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.kjueaiud.com/