軟件內(nèi)建自測試驅(qū)動(dòng)模塊模型及測試程序的研究.pdf

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

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

3、動(dòng)模塊模型的建立、測試程序的生成以及靜態(tài)分析器的實(shí)現(xiàn).在對傳統(tǒng)過程化程序分析的基礎(chǔ)上提出建立驅(qū)動(dòng)模塊模型的思想,使其面向?qū)ο蠡蟠鎯?chǔ)在模板中,單元測試中加以利用,同時(shí)提出模塊關(guān)系圖(MRD),利用這一思想有效的減少了樁模塊的構(gòu)造,提高了測試的效率.另外,在動(dòng)態(tài)測試實(shí)現(xiàn)的基礎(chǔ)上研究了靜態(tài)分析,實(shí)現(xiàn)了一個(gè)基于C語言的靜態(tài)分析器,強(qiáng)化編程規(guī)范,提高代碼質(zhì)量.軟件內(nèi)建自測試是軟件測試中的一個(gè)新概念,根據(jù)這一思想,在軟件測試的研究和技術(shù)開發(fā)中可以