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

1、軟、硬件測(cè)試從物理意義上看似乎完全是兩回事,因此長(zhǎng)期以來(lái),二者的研究都是分開(kā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-Test for Software)"的思想正是建立

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

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