Сборники трудов ИСП РАН


Тестирование протоколов электронной почты Интернета с использованием моделей.

Н.В. Пакулин, А.Н. Тугаенко.

Аннотация

В статье рассматриваются вопросы тестирования почтовых протоколов с использованием формальных моделей протоколов: предложен метод моделирования почтовых протоколов, рассмотрены особенности почтовых протоколов в контексте тестирования, представлены результаты тестирования популярных почтовых серверов с открытым кодом. В качестве примера представлена разработка тестовых наборов для протоколов SMTP и POP3 на языке JavaTESK – расширении языка Java, реализующем тестирование с формальными методами. Тестовые наборы состоят из двух частей: независимого тестирования соответствия протоколов спецификациям и совместного теста, имитирующего работу почтовых протоколов в сети.

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

Формальные методы, верификация, тестирование, электронная почта, UniTESK

Издание

Труды Института системного программирования РАН, том 20, 2011, стр. 125-141.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Полный текст статьи в формате pdf Вернуться к содержанию тома