可重構(gòu)系統(tǒng)編譯平臺的可信軟件測試過程研究及應(yīng)用.pdf

1、現(xiàn)代社會，無論各行各業(yè)，都離不開軟件應(yīng)用的支持。軟件測試作為軟件開發(fā)過程中必不可少的質(zhì)量保障手段，將其視為伴隨軟件開發(fā)的一個過程，而不是軟件開發(fā)后期的一個環(huán)節(jié)，這種思想已成為工業(yè)界的主導(dǎo)思想。同時，不同軟件有其獨特的需求和資源，如何能夠根據(jù)每個軟件的特點，進(jìn)行更有針對性的測試過程管理，在保證軟件可信度的同時提升軟件測試的效率成為人們關(guān)注的焦點。
　　本文針對軟件的多樣性和復(fù)雜性，提出了一種基于目標(biāo)軟件可信度的軟件測試過程框架。通過

2、對軟件進(jìn)行目標(biāo)可信度建模，根據(jù)該模型指導(dǎo)后續(xù)的測試工作。結(jié)合形式化測試需求分析等方法，解決了軟件測試過程中資源浪費和測試不精確的問題，達(dá)到合理利用測試資源，提升測試效率的目的。
　　在可信軟件測試過程框架的基礎(chǔ)上，本文針對GRVM編譯器的軟硬件結(jié)合的特征，給出了軟硬件協(xié)同測試以支持軟件開發(fā)工作的管理方案。通過對目標(biāo)硬件進(jìn)行測試和通用算法分析，總結(jié)其架構(gòu)的優(yōu)缺點和不同算法應(yīng)用在硬件結(jié)構(gòu)上的映射，為軟件開發(fā)工作起指導(dǎo)作用，提升了軟件的