Higher Education Institution

Code Audit Project of Underwater Communication and Direction-finding System of Harbin Engineering University

This system is provided by Harbin Engineering University and mainly includes dynamic libraries of underwater positioning algorithms, dynamic libraries of underwater communication algorithms and other algorithms. Functional tests and source code tests are conducted on them. (Development languages: C, C++, development platforms: windows 7, windows 10) Conduct tests in accordance with the test outline: underwater positioning algorithm test outline, underwater communication algorithm test outline.

2 Reading

Detailed analysis of the case

This system is provided by Harbin Engineering University and mainly includes algorithms such as the dynamic library of underwater positioning algorithms and the dynamic library of underwater communication algorithms, which are applied to itFunctional testingSource code testing. (Development languages: C, C++; development platforms: windows 7, windows 10)Test according to the test outline:Test Outline for Underwater Positioning AlgorithmTest Outline for Underwater Communication Algorithms

Algorithm analysis speed >=5, (signal time/analysis time)


Functional testingJust conduct a correctness comparison and verification of the input and output based on the test cases provided by Party A. Party A provides positive test samples as the basic test data, and Party B designs some expanded test data based on these samples, including reverse data and positive data.

Code auditing (source code testing) : Static analysis is a testing technique that does not execute the program. Its main purpose is to check whether the representation and description of the software are consistent, without conflict or ambiguity. Dynamic logic analysis refers to the analysis of the behavior of a software system before, during and after its execution in a simulated or real environment. It shows whether a system is correct in the check state. In dynamic analysis technology, the most important techniques are path and branch testing. The following six coverage testing methods belong to dynamic analysis methods. 1. Statement coverage 2. Decision coverage (branch coverage) 3. Condition coverage 4. Decision condition coverage (branch condition coverage) 5. Condition combination coverage 6. Path coverage. And manual code review.



More cases of "higher education institutions"