Automation of conformance testing for communication protocols

Abstract

This article summarizes the experience gained while developing test suites for conformance testing of implementations of Internet protocols. The projects described in this article used the UniTESK technology as a base for constructing tests. During the development of test suites we identified certain features of the protocols that make it difficult to apply UniTESK unmodified to protocol conformance testing, as well as some limitations of UniTESK toolkits. Nevertheless all these obstacles were successfully overcome without going beyond UniTESK concepts.

Keywords

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