高校類軟件技術參數與環境配置
- 開發語言
- C/C++
- 開發工具
- 水下通信與定位
- 體系結構
- C/S
- 工作模式
- 遠程
案例詳細分析
該系統由哈爾濱工程大學提供，主要包括水下定位算法動態庫、水下通信算法動態庫等算法，對其進行功能測試、源代碼測試。（開發語言C、C++，開發平臺windows 7、windows 10）按照測試大綱進行測試：水下定位算法測試大綱、水下通信算法測試大綱。
算法分析速度>=5，（信號時間/分析時間）
功能測試：根據甲方提供的測試用例對輸入輸出做一個正確性的比較驗證即可。甲方提供正向的測試樣本為基礎測試數據，乙方根據此樣本設計一些逆向數據和正向數據的擴充測試數據。
代碼審計（源代碼測試）：靜態分析，是一種不執行程序而進行測試的技術，主要目的是檢查軟件的表示和描述是否一致,沒有沖突或者沒有歧義。動態邏輯分析，當軟件系統在模擬或真實的環境中執行前、過程中和執行后,對其行為分析。它顯示了一個系統在檢查狀態下是否正確。在動態分析技術中,最重要的技術是路徑和分支測試。下面六種覆蓋測試方法屬于動態分析方法。1、語句覆蓋2、判定覆蓋（分支覆蓋）3、條件覆蓋4、判定條件覆蓋（分支條件覆蓋）5、條件組合覆蓋6、路徑覆蓋。以及代碼人工審查。
