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

案例详细分析

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

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

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

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