黑盒預(yù)處理功能可測(cè)試性的研究

馮濟(jì)舟 項(xiàng)利萍 劉夢(mèng)飛

（中國(guó)電子科技集團(tuán)第三十八研究所，安徽 合肥 230088）

黑盒預(yù)處理功能可測(cè)試性的研究

馮濟(jì)舟 項(xiàng)利萍 劉夢(mèng)飛

（中國(guó)電子科技集團(tuán)第三十八研究所，安徽 合肥 230088）

通過(guò)對(duì)黑盒預(yù)處理功能可測(cè)試性的數(shù)學(xué)建模和理論證明，總結(jié)出可測(cè)試性黑盒預(yù)處理功能的判定步驟和測(cè)試方法，并通過(guò)一個(gè)實(shí)例進(jìn)行詳述。

黑盒預(yù)處理功能；可測(cè)試性；數(shù)學(xué)建模；理論證明

軟件測(cè)試作為能力成熟度模型集成（CMMI，Capability Maturity Model Integration）驗(yàn)證（Verification，Ver）和確認(rèn)（Validation，Val）過(guò)程域的重要實(shí)現(xiàn)手段，是軟件生命周期模型中的重要階段，是保證軟件質(zhì)量的重要途徑。近年來(lái)，隨著軟件規(guī)模和復(fù)雜程度的不斷提高，軟件測(cè)試的難度也不斷提高。

預(yù)處理是軟件執(zhí)行流程中最早經(jīng)歷的處理過(guò)程，是軟件系統(tǒng)重要的組成部分。如果預(yù)處理功能出現(xiàn)問(wèn)題，即使之后的業(yè)務(wù)功能均實(shí)現(xiàn)正確，最后也都會(huì)導(dǎo)致軟件運(yùn)行結(jié)果的失敗。但是當(dāng)出現(xiàn)測(cè)試結(jié)果失敗時(shí)，由于沒(méi)有定位到問(wèn)題的來(lái)源，軟件開(kāi)發(fā)人員往往將排查問(wèn)題的重心放在核心業(yè)務(wù)功能的實(shí)現(xiàn)上，如此造成了開(kāi)發(fā)時(shí)間、開(kāi)發(fā)資源和成本的浪費(fèi)，進(jìn)而導(dǎo)致軟件項(xiàng)目進(jìn)度的延誤。

如圖1所示黑盒軟件基本流程圖，圖中的被測(cè)軟件通過(guò)對(duì)輸入進(jìn)行預(yù)處理后轉(zhuǎn)入實(shí)際功能模塊，通過(guò)實(shí)際功能的輸出判定軟件是否滿足用戶的需要。在此情況下，當(dāng)軟件輸出出現(xiàn)問(wèn)題時(shí)，我們無(wú)法斷定究竟是軟件預(yù)處理功能的錯(cuò)誤，還是軟件實(shí)際功能的錯(cuò)誤。然而在實(shí)際過(guò)程中，預(yù)處理功能往往是用戶重要的隱性需求，并且預(yù)處理功能的正確實(shí)現(xiàn)往往是整個(gè)系統(tǒng)能否正確實(shí)現(xiàn)的前提，在軟件結(jié)構(gòu)流程中起到至關(guān)重要的作用。……