哈尔滨工程大学 水下通信及测向系统代码审计项目

案例详细分析

该系统由哈尔滨工程大学提供，主要包括水下定位算法动态库、水下通信算法动态库等算法，对其进行功能测试、源代码测试。（开发语言C、C++，开发平台windows 7、windows 10）按照测试大纲进行测试：水下定位算法测试大纲、水下通信算法测试大纲。

算法分析速度>=5，（信号时间/分析时间）

功能测试：根据甲方提供的测试用例对输入输出做一个正确性的比较验证即可。甲方提供正向的测试样本为基础测试数据，乙方根据此样本设计一些逆向数据和正向数据的扩充测试数据。

代码审计（源代码测试）：静态分析，是一种不执行程序而进行测试的技术，主要目的是检查软件的表示和描述是否一致，没有冲突或者没有歧义。动态逻辑分析，当软件系统在模拟或真实的环境中执行前、过程中和执行后，对其行为分析。它显示了一个系统在检查状态下是否正确。在动态分析技术中，最重要的技术是路径和分支测试。下面六种覆盖测试方法属于动态分析方法：

1. 语句覆盖
2. 判定覆盖（分支覆盖）
3. 条件覆盖
4. 判定条件覆盖（分支条件覆盖）
5. 条件组合覆盖
6. 路径覆盖

以及代码人工审查。