軟件內(nèi)建自測試中測試用例的生成.pdf

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

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

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

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