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


Test suite development for conformance testing of email protocols.

Авторы

A. Tugaenko, N. Pakulin.

Аннотация

The method for testing electronic mail protocols in the Internet to conform to the standards based on formal specifications is presented. The method is based on automated testing technology UniTESK in which functional requirements are formalized as pre- and postconditions and test sequence is generated on-the-fly from finite state machine (test state machine) traversal. The method is illustrated by the test suite development for SMTP and POP3 protocols using JavaTESK – a specification extension of Java language.

Полный текст статьи в формате pdf (на английском)

Ключевые слова

formal specifications; model based testing; protocols testing; conformance testing.

Издание

Proceedings of Spring/Summer Young Researchers' Colloquium on Software Engineering, Nizhniy Novgorod, 2010, pp. 87-91.

DOI: 10.15514/SYRCOSE-2010-4-16

ISBN 978-5-91474-015-0

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

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

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