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


Автоматизация тестирования соответствия для телекоммуникационных протоколов.

Н.В. Пакулин, В.З. Шнитман, А.В. Никешин.

Аннотация

В данной статье обобщается опыт разработки тестовых наборов для тестирования соответствия реализаций спецификациям протоколов Интернета. Во всех проектах, представленных в статье, использовалась технология UniTESK в качестве базы для построения тестов. В ходе разработки тестовых наборов были выявлены особенности протоколов, затрудняющие тестирование реализаций с помощью технологии UniTESK, а также особенности инструментов, поддерживающих ее работу, однако все эти особенности удавалось успешно преодолеть, не выходя за рамки ее ограничений.

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

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

Издание

Труды Института системного программирования РАН, том 26, вып. 1, 2014, стр. 109-148.

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

DOI: 10.15514/ISPRAS-2014-26(1)-4

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