Automation of conformance testing for communication protocols

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 certai...

Full description

Bibliographic Details
Published in:	Труды Института системного программирования РАН
Main Authors:	Nikolay Pakulin, Victor Shnitman, Alexey Nikeshin
Format:	Article
Language:	English
Published:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Subjects:	тестирование соответствия unitesk формальные методы автоматизация тестирования тестирование основанное на моделях тестирование протоколов формальные спецификации моделирование протоколов
Online Access:	https://ispranproceedings.elpub.ru/jour/article/view/769

Similar Items

TLS clients testing
by: A. V. Nikeshin, et al.
Published: (2018-10-01)

Conformance testing of Extensible Authentication Protocol implementations
by: A. V. Nikeshin, et al.
Published: (2019-02-01)

Test Suite development for verification of TLS security protocol
by: A. V. Nikeshin, et al.
Published: (2018-10-01)

Model-based testing of Internet Mail Protocols
by: N. V. Pakulin, et al.
Published: (2018-10-01)

Evolution of UniTESK Test Development Technology
by: V. Kuliamin, et al.
Published: (2018-10-01)

Formal specifications-based automation of system testing of hardware designs
by: M. M. Chupilko.
Published: (2018-10-01)

Conformance testing based on a state relation
by: Igor B. Burdonov, et al.
Published: (2018-10-01)

Prosega/CPN: An Extension of CPN Tools for Automata-based Analysis and System Verification
by: J. C. Carrasquel, et al.
Published: (2018-10-01)

How the story of UniTESK technology applications mirrors development of model based testing
by: V. P. Ivannikov, et al.
Published: (2018-10-01)

Testing of Operating Systems
by: E. A. Gerlits, et al.
Published: (2018-10-01)

Conformance theory development: semantics, formal models, algorithms
by: Igor Burdonov, et al.
Published: (2018-10-01)

Mechanisms for functional testing of hardware models at different levels of abstraction
by: A. S. Kamkin, et al.
Published: (2018-10-01)

Cryptographic Stack Machine Notation One
by: S. E. Prokopev
Published: (2018-10-01)

Адаптация модели GOMS для мобильных приложений
by: А. В. Уженцева, et al.
Published: (2024-05-01)

ОБЗОР ИСПОЛЬЗУЕМЫХ ПРОГРАММНЫХ ПЛАТФОРМ ДЛЯ СОЗДАНИЯ АВТОМАТИЗИРОВАННОЙ СИСТЕМЫ ТЕСТИРОВАНИЯ ЗНАНИЙ
Published: (2021-01-01)

INFORMATION SYSTEM QUALITY CONTROL KNOWLEDGE
by: Vladimir Nikolaevich Babeshko
Published: (2017-02-01)

About formative controlling and feedback in projecting training courses on programming
by: O V Maksimenkova, et al.
Published: (2014-12-01)

The technique of probability reference distribution law finding at кеу sequence statistical testing
by: N. G. Kiyevets, et al.
Published: (2019-06-01)

Рекомендации по применению фармакогенетического тестирования в клинической практике
Published: (2018-06-01)

Моделирование адаптивного теста по результатам классического тестирования
by: Безруков, А.И., et al.
Published: (2023-06-01)

Method of selecting between manual and automated testing based on the software product features
by: EkaterinaY. . Galimova, et al.
Published: (2016-12-01)

Automated event trace analysis for regression testing
by: Vladimir Fedotov
Published: (2018-10-01)

Applying High-Level Function Loop Invariants for Machine Code Deductive Verification
by: Pavel Andreevitch Putro
Published: (2019-09-01)

Avalanche: Using dynamic analysis for automatic defect detection in programs based on network sockets
by: Ildar Isaev, et al.
Published: (2018-10-01)

Тестирование специальной подготовленности теннисистов: зарубежный опыт
by: Леонід Прокопович Сергієнко [Leonid Serhiyenko]
Published: (2013-12-01)

Methodology of assessing competencies of university graduates
by: R. B. Karaseva
Published: (2017-08-01)

Intelligent adaptive testing system
by: L. F. Tagirova, et al.
Published: (2024-12-01)

SOME DISADVANTAGES OF CENTRALIZED ONLINE TESTING
by: Lyubov M. Bukhman, et al.
Published: (2022-05-01)

Model Based Testing Framework Using Component Technologies
by: Victor V. Kuliamin.
Published: (2018-10-01)

Combining ACSL Specifications and Machine Code
by: P. A. Putro
Published: (2018-10-01)

Compile the Code Instrumentation Technique for Selective Debugging of Optimizing Transformations
by: D. A. Maksimenkov
Published: (2018-10-01)

Combinatorial generation of operation system software configurations
by: V. V. Kuliamin
Published: (2018-10-01)

Молекулярно-генетическая диагностика как инструмент персонализированной медицины. Возможности применения в многопрофильном стационаре
by: Наталья Александровна Бодунова, et al.
Published: (2025-07-01)

ОСОБЕННОСТИ РАЗВИТИЯ ВЗРЫВНОЙ СИЛЫ У ХОККЕИСТОВ НА ЭТАПЕ ВЫСШЕГО СПОРТИВНОГО МАСТЕРСТВА
by: Дунаев Константин Степанович, et al.
Published: (2023-05-01)

Optimization of Calculating Invariants in Petri Nets to Support the Creation of Integration Testing Scenarios
by: M. G. Dorrer, et al.
Published: (2012-01-01)

APPLYING OF NEURAL NETWORKS FOR SELECTING THE TOOLS FOR PENETRATION TESTING OF WEB APPLICATIONS
by: Артём Григорьевич Тецкий
Published: (2018-12-01)

Mirror-based method of constraints generation for test programs generation by test template
by: Evgeni V. Kornykhin
Published: (2018-10-01)

Recovery of binary data structures from program traces
by: A. I. Avetisyan, et al.
Published: (2018-10-01)

Survey of streaming processing field
by: R. S. Samarev
Published: (2018-10-01)

РАЗРАБОТКА И АПРОБАЦИЯ КОМПЛЕКСА ТЕСТОВ ДЛЯ ОЦЕНКИ ЭФФЕКТИВНОСТИ РЕАЛИЗАЦИИ СПОРТИВНОГО ТУРИЗМА В РАМКАХ ВАРИАТИВНОЙ ЧАСТИ ПРОГРАММЫ ФИЗИЧЕСКОЙ КУЛЬТУРЫ
by: Киселев Владимир Анатольевич
Published: (2025-09-01)