Институт системного программирования им. В.П. Иванникова РАН


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.

Полный текст статьи в формате 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

Научная группа

Технологии программирования

Все публикации за 2011 год Все публикации