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

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

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

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