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

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

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