軟件內(nèi)建自測試模板的研究及其在科學(xué)計(jì)算程序中的應(yīng)用.pdf

1、軟件測試是軟件質(zhì)量保證的關(guān)鍵元素,并代表了規(guī)約、設(shè)計(jì)和編碼的最終評審.一方面,軟件系統(tǒng)作為系統(tǒng)元素的可見性不斷增加,而且軟件故障帶來的代價太高,使得人們注重于規(guī)劃良好的徹底測試,軟件開發(fā)組織將30﹪~40﹪的項(xiàng)目工作量花在測試上并不為怪.另一方面,與人命有關(guān)的軟件(如飛行控制和核反應(yīng)堆監(jiān)控)測試所花的時間往往是其他軟件工程師所花時間之和的三到五倍.導(dǎo)師徐拾義教授針對中國測試行業(yè)的現(xiàn)狀,提出了軟件測試新方法——軟件內(nèi)建自測試(BIST),

2、并得到了國家自然科學(xué)基金項(xiàng)目的資助.軟件內(nèi)建自測試擯棄了傳統(tǒng)的獨(dú)立的手工測試方法,提出在軟件開發(fā)階段預(yù)先埋入測試信息,這些測試信息是通過模板與程序開發(fā)人員交互得到并保存在模板中,然后編寫程序自動從模板中導(dǎo)出測試用例,并運(yùn)行測試用例進(jìn)行測試.本論文主要討論軟件內(nèi)建自測試中模板的設(shè)計(jì)以及它在科學(xué)計(jì)算程序中的實(shí)際應(yīng)用.論文研究了模板的概念、模板的內(nèi)容、模板內(nèi)容的組織、模板與程序員的交互內(nèi)容.此外還研究了模板庫概念、程序結(jié)構(gòu)流程、程序變量鏈表等