軟件內(nèi)建自測(cè)試中模板的實(shí)現(xiàn)和測(cè)試程序的生成.pdf

1、軟件測(cè)試是保證軟件質(zhì)量和軟件可靠性的重要手段，但隨著軟件規(guī)模的不斷擴(kuò)大，復(fù)雜度的不斷提高，以及面向?qū)ο蟪绦蛟O(shè)計(jì)方法和工具的使用，軟件測(cè)試的難度也進(jìn)一步加大，測(cè)試質(zhì)量更加難以度量。 軟件內(nèi)建自測(cè)試正是針對(duì)測(cè)試難的問(wèn)題而提出的，其理論基礎(chǔ)是軟、硬件測(cè)試一致性。它將硬件測(cè)試中內(nèi)建自測(cè)試的思想移植到軟件測(cè)試和軟件可測(cè)性設(shè)計(jì)中。內(nèi)建自測(cè)試在硬件測(cè)試和可測(cè)性設(shè)計(jì)上已是一個(gè)成熟的技術(shù)，利用這個(gè)成熟的技術(shù)到軟件測(cè)試中去可以大大降低軟件測(cè)試的復(fù)雜

2、度，提高可測(cè)性。借鑒硬件內(nèi)建自測(cè)試的設(shè)計(jì)，軟件內(nèi)建自測(cè)試提出在軟件開(kāi)發(fā)階段預(yù)先埋入測(cè)試信息，這些信息通過(guò)程序開(kāi)發(fā)人員與模板交互得到并保存在模板中，然后編寫(xiě)程序自動(dòng)從模板導(dǎo)出測(cè)試用例，自動(dòng)運(yùn)行測(cè)試用例進(jìn)行測(cè)試。系統(tǒng)基本結(jié)構(gòu)包括測(cè)試點(diǎn)、模板和自測(cè)試部分，模板中建立了該程序測(cè)試需要的數(shù)據(jù)；測(cè)試點(diǎn)負(fù)責(zé)向模板中寫(xiě)入測(cè)試需要的數(shù)據(jù)；自測(cè)試部分根據(jù)模板信息生成測(cè)試用例；最后由測(cè)試程序完成測(cè)試功能。 作為該項(xiàng)目的一部分，本論文主要討論：軟件內(nèi)建

3、自測(cè)試系統(tǒng)中模板的設(shè)計(jì)、測(cè)試步驟以及整體構(gòu)建方法。論文首先研究了模板的概念、模板的內(nèi)容、模板內(nèi)容的組織、模板與程序員的交互、模板的管理和模板的參數(shù)評(píng)估等內(nèi)容。詳細(xì)介紹了模板內(nèi)容的獲取，首先分析了C/C++語(yǔ)言中六類(lèi)常見(jiàn)的故障，包括：變量未初始化故障、空指針、數(shù)組越界故障、內(nèi)存泄漏、內(nèi)存操作的未定義故障和編譯器本身不足的故障，并介紹了根據(jù)故障模型靜態(tài)檢測(cè)故障和設(shè)計(jì)模板函數(shù)動(dòng)態(tài)檢測(cè)故障，給出了檢測(cè)故障的算法。討論了軟件內(nèi)建自測(cè)試系統(tǒng)中單元測(cè)

4、試、集成測(cè)試和回歸測(cè)試，引入關(guān)鍵模塊，并對(duì)關(guān)鍵模塊的量化作了詳細(xì)的介紹；同時(shí)詳細(xì)介紹了以關(guān)鍵模塊為核心的單元測(cè)試和集成測(cè)試。文中還介紹了軟件內(nèi)建自測(cè)試系統(tǒng)的代碼規(guī)范檢測(cè)，模板和測(cè)試點(diǎn)、測(cè)試用例之間的接口以及測(cè)試用例和測(cè)試點(diǎn)的管理方式，測(cè)試用例的生成、運(yùn)行測(cè)試用例并最終生成測(cè)試報(bào)告等內(nèi)容。 最后，本文介紹軟件內(nèi)建自測(cè)試系統(tǒng)在實(shí)際中運(yùn)用的效果，給出幾中故障，然后利用軟件內(nèi)建自測(cè)試系統(tǒng)進(jìn)行檢測(cè)。說(shuō)明軟件內(nèi)建自測(cè)試系統(tǒng)的可行性，驗(yàn)證了軟