ABSTRACT
The test and verification phase is a phase of communication protocol engineering work that follows the implementation phase. The primary goal of this phase is to verify that the implementation in the higher-level programming language is correct. Typical testing activities conducted in the communication protocol engineering test and verification phase are the following: unit testing, integration testing, conformance testing, load testing, in-field testing, formal verification, and statistical usage testing. The first four types of activities are stemming from the traditional software engineering, whereas the last two are originating from the Cleanroom engineering. Unit testing of communication protocols is relatively straightforward. The aim of unit testing is to check the correctness of an individual software unit. A generally accepted belief is that unit testing should be conducted by the programmer who is implementing the target software unit because it greatly improves programmer’s productivity.
