靖守讓,向 為,雍少為
(國防科技大學電子科學與工程學院 衛(wèi)星導航定位研發(fā)中心,湖南 長沙410073)
導航接收機是用于接收、處理、解碼星基導航信號的應用終端,它為用戶提供全天候的實時導航、測距、測速等功能,在車載、艦載、機載、彈載高動態(tài)應用、弱信號檢測、強干擾抑制等軍事和民用導航通信領域發(fā)揮著重要作用[1-2]。隨著我國導航定位技術的發(fā)展,接收機種類不斷增多,且功能日趨復雜,相應的導航接收機數(shù)據(jù)處理軟件(以下簡稱接收機軟件)的規(guī)模和復雜度也隨之增加。測試問題日益凸顯,提高測試效率越來越重要,軟件可測性設計是提高軟件測試效率的關鍵手段。
軟件測試是查找軟件設計錯誤、運行故障的重要手段,為保證軟件質量,就必須保證軟件測試的覆蓋率和有效性,提高測試效率。為提高軟件測試的效率,可以采取以下兩種手段,一是選擇有非常強的故障揭示能力的測試用例來進行測試;另一種方法是軟件進行初期規(guī)劃和設計是,采用可測性設計方法,提高軟件可測性,為后期測試提供便捷的條件[4]。顯然后一種方法更加可行、有效。
國內外一些學者對軟件可測性進行了深入研究[3-8]。軟件可測性是軟件在特定的輸入分布下進行隨機黑盒測試時暴露故障的能力,是軟件固有的品質特性[5],是在一定時間和成本的前提下,進行測試設計、測試執(zhí)行并以此發(fā)現(xiàn)故障、定位故障并隔離故障的能力特性。簡而言之,軟件可測性就是一個程序能夠被測試的容易程度?!?br>