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

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

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

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