軟件內(nèi)建自測試中模板和基準程序設(shè)計.pdf

1、軟件內(nèi)建自測試擯棄了傳統(tǒng)的獨立的手工測試方法,提出在軟件開發(fā)過程中通過模板與程序開發(fā)人員交互得到有用的測試信息并將其保存在模板中,然后編寫程序自動從模板導出測試用例,自動運行測試用例進行測試的自動測試方法.該論文主要討論模板的設(shè)計.論文提出了可信系統(tǒng)并闡述了其特點,然后根據(jù)可信系統(tǒng)的特點提出建立可信模板系統(tǒng)和建立步驟.論文還給出了模板的概念、模板的內(nèi)容、模板內(nèi)容的組織、模板與程序員交互的機制和模板的參數(shù).論文提出并設(shè)計了基準程序來計算模

2、板的參數(shù)以便于評測、挑選模板及判斷模板的可信性.基準程序是根據(jù)某類程序的特點來設(shè)計的一系列特殊程序.它的提出是受基準電路的啟發(fā),基準電路是一組專門設(shè)計的電路,用以評測了各種硬件測試算法,它很好地達到了預期效果.我們希望所設(shè)計的基準程序也能很好的解決模板的評測問題.最后論文根據(jù)以上理論的指導,為科學計算程序建立了一系列的基準程序,然后設(shè)計和實現(xiàn)了科學計算程序的測試模板,利用基準程序計算了模板的特征參數(shù)并驗證了所設(shè)計科學計算程序的測試模板的