Constructing a Tester for Checking Student Protocol Implementations
Andrey Shabaldin · Proceedings of the Spring/Summer young researchers' colloquium on software engineering · 2007
The paper is devoted to constructing a tester for checking student implementations of application-layer protocols.There are two testing modes for checking a protocol implementation: the active testing and the passive testing.We automate the testing process in both modes for checking student protocol implementations through Internet programming labs.Test set that contains test cases for detecting most frequent student faults, is derived for active testing of server protocol implementations.For passive testing of client protocol implementations, the paper uses the invariant approach.The approach is illustrated by a part of Dynamic Host Configuration Protocol (DHCP).The structure of the tester is also described.