基于軟件內(nèi)建自測試的測試用例研究.pdf

1、在信息科技高速發(fā)展的今天，軟件已成為現(xiàn)代高新領(lǐng)域中不可缺少的一部分，被廣泛地應(yīng)用于通信網(wǎng)絡(luò)，尖端武器以及日常辦公處理中。但是，由于軟件以人為本，是一個主觀創(chuàng)造過程，因此在開發(fā)過程中，不可避免地存在著很多錯誤。且伴隨著軟件工程規(guī)模的迅速膨脹，軟件的復(fù)雜度也在迅速地增加。此時，如何盡可能地通過軟件測試來檢測和預(yù)防錯誤，成了目前軟件工程領(lǐng)域中一個重要的研究課題。 目前，上海大學(xué)計算機(jī)學(xué)院徐拾義教授主持研究的國家自然科學(xué)基金項目“軟件內(nèi)

2、建自測試技術(shù)(Built-in-self-testforsoftware，簡稱軟件BIST)”是軟件測試研究領(lǐng)域中的一個新概念?！癇IST”技術(shù)在硬件的可測性設(shè)計上是一個比較成熟的技術(shù)，我們把這個技術(shù)的思想移植到軟件測試中，來設(shè)計軟件自測試系統(tǒng)的框架。主要包括兩大部分：一，模板(Template)部分。二，自治測試部分。其基本思想是：首先為程序設(shè)計員提供一套預(yù)先設(shè)計好的模板，這套模板要求程序員在編寫程序時必須滿足模板中提出的相關(guān)條件，并

3、在模板中輸入所要求的有關(guān)數(shù)據(jù)。由模板對所編寫的程序進(jìn)行“包裝”(包括設(shè)置checkpoint，生成測試用例，結(jié)果比較等)，然后，由自治測試部分根據(jù)模板中信息生成一定的測試用例，并在checkpoint上進(jìn)行比較和測試，以完成基本的測試功能。 作為項目的一部分，本論文主要討論了怎樣使用模板所提供的數(shù)據(jù)庫，來生成符合一定覆蓋標(biāo)準(zhǔn)的測試用例。其中，為了使生成的測試用例達(dá)到較高的故障覆蓋率，我們研究了一種二叉化程序塊流程結(jié)構(gòu)的方法，并根

4、據(jù)二叉化后的程序結(jié)構(gòu)來生成測試用例。該方法是基本路徑法的擴(kuò)展，是一種全新的思想。目前已經(jīng)實(shí)現(xiàn)了對簡單程序塊的二叉化測試分析工作，提供給本系統(tǒng)其他模塊高標(biāo)準(zhǔn)的測試用例。將來進(jìn)一步的工作是要使該方法更加完善，適用面更廣。另外本文還探討了要做的其他部分工作：包括測試結(jié)果的比較及測試報告的自動生成部分。 軟件內(nèi)建自測試是軟件測試中的新生技術(shù)，這種新方法為軟件測試領(lǐng)域開拓了一個嶄新的發(fā)展方向，通過將已經(jīng)發(fā)展成熟的硬件內(nèi)建自測試技術(shù)(BIS