案例詳細(xì)分析

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

算法分析速度>=5，（信號(hào)時(shí)間/分析時(shí)間）

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

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