軟件內建自測試驅動模塊模型及測試程序的研究.pdf

1、軟、硬件測試從物理意義上看似乎完全是兩回事,因此長期以來,二者的研究都是分開進行的,很少進行交流.然而,從邏輯上分析,二者的理念幾乎是一致的,有著相似的理論和方法.只是長期以來人們疏于將二者進行比較、分析和利用,從而喪失了很多相互借鑒、共同發(fā)展的機遇.如果我們能將二者結合起來充分利用其相似性和一致性,則可以促進軟件測試和硬件測試的發(fā)展."軟件內建自測試技術(Built-In-Self-Test for Software)"的思想正是建立

2、在上述軟、硬件測試一致性理論上的一個實際例子.它將硬件測試中的內建自測試(BIST)的思想移植到軟件測試和軟件可測性設計研究領域中."BIST"在硬件測試和可測性設計上已是一個成熟的技術,利用這個成熟的技術到軟件測試中去可以大大降低軟件測試的復雜度,提高可測性.基本結構包括模板和自測試部分.模板中建立了該程序需要測試的數據以供自測試部分使用;自測試部分根據模板信息生成測試用例、測試程序完成測試功能.作為該項目的一部分,本論文主要討論:驅

3、動模塊模型的建立、測試程序的生成以及靜態(tài)分析器的實現.在對傳統(tǒng)過程化程序分析的基礎上提出建立驅動模塊模型的思想,使其面向對象化后存儲在模板中,單元測試中加以利用,同時提出模塊關系圖(MRD),利用這一思想有效的減少了樁模塊的構造,提高了測試的效率.另外,在動態(tài)測試實現的基礎上研究了靜態(tài)分析,實現了一個基于C語言的靜態(tài)分析器,強化編程規(guī)范,提高代碼質量.軟件內建自測試是軟件測試中的一個新概念,根據這一思想,在軟件測試的研究和技術開發(fā)中可以