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)

2、建自測(cè)試技術(shù)(Built-in-self-testforsoftware，簡稱軟件BIST)”是軟件測(cè)試研究領(lǐng)域中的一個(gè)新概念?！癇IST”技術(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)的方法，并根

4、據(jù)二叉化后的程序結(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ù)(BIS