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

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

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

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

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