Ivannikov Institute for System Programming of the RAS

Model Based Conformance Testing for Extensible Internet Protocols.


N. Pakulin, A. Tugaenko.


Many contemporary Internet protocols are extensible. Extensions may introduce new functionality, alter the format of protocol messages, affect basic functionality or even modify the protocol modus operandi. Model based testing of extensible protocols faces a number of problems, the most challenging one is that extensions altering basic functionality require changes in the protocol model. It is highly desirable to have a flexible protocol’s model which would let test developers to extend the model without rewriting existing parts of the model. The article presents the method for model based conformance testing for extensible Internet protocols which satisfies this requirement. Each extension is specified in a separate unit, the method presents facility to combine those units into entire model for testing the protocol’s implementations. The method uses Java language to formalize the requirements. As an example of the method application article presents test suite development for a number of SMTP extensions.

Full text of the paper in pdf


model based testing, conformance testing, extensible protocols.


Proceedings of SYRCoSE 2011.

DOI: 10.15514/SYRCOSE-2011-5-18

ISBN 978-5-91474-017-4

Research Group

Software Engineering

All publications during 2011 All publications