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. The correctness of the implementation is checked with the test suite, which is typically designed in TTCN-3. 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, and formal verification.Statistical usage testing. The first four types of activities stem from traditional software engineering, whereas the last two originate from Cleanroom engineering. The philosophy of integration testing starts from the fact that some of the units have successfully undergone unit testing and that they are available for further testing, whereas the rest of them are not.
