案例詳細(xì)分析

該系統(tǒng)由哈爾濱工程大學(xué)提供，主要包括水下定位算法動態(tài)庫、水下通信算法動態(tài)庫等算法，對其進(jìn)行功能測試、源代碼測試。（開發(fā)語言C、C++，開發(fā)平臺windows 7、windows 10）按照測試大綱進(jìn)行測試：水下定位算法測試大綱、水下通信算法測試大綱。

算法分析速度>=5，（信號時間/分析時間）

功能測試：根據(jù)甲方提供的測試用例對輸入輸出做一個正確性的比較驗證即可。甲方提供正向的測試樣本為基礎(chǔ)測試數(shù)據(jù)，乙方根據(jù)此樣本設(shè)計一些逆向數(shù)據(jù)和正向數(shù)據(jù)的擴(kuò)充測試數(shù)據(jù)。

代碼審計（源代碼測試）：靜態(tài)分析，是一種不執(zhí)行程序而進(jìn)行測試的技術(shù)，主要目的是檢查軟件的表示和描述是否一致,沒有沖突或者沒有歧義。動態(tài)邏輯分析，當(dāng)軟件系統(tǒng)在模擬或真實的環(huán)境中執(zhí)行前、過程中和執(zhí)行后,對其行為分析。它顯示了一個系統(tǒng)在檢查狀態(tài)下是否正確。在動態(tài)分析技術(shù)中,最重要的技術(shù)是路徑和分支測試。下面六種覆蓋測試方法屬于動態(tài)分析方法。1、語句覆蓋2、判定覆蓋（分支覆蓋）3、條件覆蓋4、判定條件覆蓋（分支條件覆蓋）5、條件組合覆蓋6、路徑覆蓋。以及代碼人工審查。