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

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

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