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

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

2、是建立在上述軟、硬件測試一致性理論上的一個實際例子。它將硬件測試中的內(nèi)建自測試(BIST)的思想移植到軟件測試和軟件可測性設(shè)計研究領(lǐng)域中?！癇IST”在硬件測試和可測性設(shè)計上已是一個成熟的技術(shù)，利用這個成熟的技術(shù)到軟件測試中去可以大大降低軟件測試的復(fù)雜度，提高可測性。基本結(jié)構(gòu)包括模板和自測試部分。模板中建立了該程序需要測試的數(shù)據(jù)以供自測試部分使用；自測試部分根據(jù)模板信息生成測試用例、測試程序完成測試功能。 作為該項目的一部分，本

3、論文主要討論：靜態(tài)測試的內(nèi)容和方法，驅(qū)動模塊和樁模塊模型的建立以及測試程序的生成。在本文中，具體討論了代碼規(guī)范靜態(tài)測試和故障模型靜態(tài)測試并分別給出了其具體的實現(xiàn)方法。在對不同類型的被測程序分析的基礎(chǔ)上，本文給出了相應(yīng)的驅(qū)動模塊和樁模塊模型。最后，本文提出了測試程序的產(chǎn)生方法，其中整合了測試點、測試用例、模板等測試要素，達(dá)到了BIST軟件測試框架的目的。 軟件內(nèi)建自測試是軟件測試中的一個新概念，根據(jù)這一思想，在軟件測試的研究和技術(shù)