Automation of conformance testing for communication protocols

Authors: Nikolay Pakulin, Victor Shnitman, Alexey Nikeshin

Source: Труды Института системного программирования РАН, Vol 26, Iss 1, Pp 109-148 (2018)

Subject Terms: тестирование соответствия, unitesk, формальные методы, автоматизация тестирования, тестирование, основанное на моделях, тестирование протоколов, формальные спецификации, моделирование протоколов, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/769; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Access URL: https://doaj.org/article/c012a2dc12f440438eb024dcbe166cc5

АВТОМАТИЗАЦИЯ ТЕСТИРОВАНИЯ СООТВЕТСТВИЯ ДЛЯ ТЕЛЕКОММУНИКАЦИОННЫХ ПРОТОКОЛОВ

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

Subject Terms: ТЕСТИРОВАНИЕ СООТВЕТСТВИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, АВТОМАТИЗАЦИЯ ТЕСТИРОВАНИЯ, ТЕСТИРОВАНИЕ, ОСНОВАННОЕ НА МОДЕЛЯХ, ТЕСТИРОВАНИЕ ПРОТОКОЛОВ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, МОДЕЛИРОВАНИЕ ПРОТОКОЛОВ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/avtomatizatsiya-testirovaniya-sootvetstviya-dlya-telekommunikatsionnyh-protokolov
http://cyberleninka.ru/article_covers/14987277.png

РЕШЕНИЕ ЗАДАЧИ ВЫБОРА ПРЕДПОЧТИТЕЛЬНОГО ПРОТОКОЛА МАРШРУТИЗАЦИИ В AD HOC - СЕТЯХ НА ОСНОВЕ ИСПОЛЬЗОВАНИЯ АППАРАТА НЕЙРОННЫХ СЕТЕЙ

Authors: Шаваша, А.

Subject Terms: ПРОТОКОЛЫ МАРШРУТИЗАЦИИ, МОДЕЛИРОВАНИЕ ПРОТОКОЛОВ, НАДЕЖНОСТЬ, ЗАДЕРЖКА ДОСТАВКИ ПАКЕТОВ, ПРОПУСКНАЯ СПОСОБНОСТЬ СЕТИ, НЕЙРОННАЯ СЕТЬ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/reshenie-zadachi-vybora-predpochtitelnogo-protokola-marshrutizatsii-v-ad-hoc-setyah-na-osnove-ispolzovaniya-apparata-neyronnyh-setey
http://cyberleninka.ru/article_covers/14642258.png

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

Source: Труды Института системного программирования РАН.

Subject Terms: ТЕСТИРОВАНИЕ СООТВЕТСТВИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, АВТОМАТИЗАЦИЯ ТЕСТИРОВАНИЯ, ТЕСТИРОВАНИЕ, ОСНОВАННОЕ НА МОДЕЛЯХ, ТЕСТИРОВАНИЕ ПРОТОКОЛОВ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, МОДЕЛИРОВАНИЕ ПРОТОКОЛОВ

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/14987277.png
http://cyberleninka.ru/article/n/avtomatizatsiya-testirovaniya-sootvetstviya-dlya-telekommunikatsionnyh-protokolov

Решение задачи выбора предпочтительного протокола маршрутизации в Ad hoc - сетях на основе использования аппарата нейронных сетей

Source: Открытое образование.

Subject Terms: ПРОТОКОЛЫ МАРШРУТИЗАЦИИ, МОДЕЛИРОВАНИЕ ПРОТОКОЛОВ, НАДЕЖНОСТЬ, ЗАДЕРЖКА ДОСТАВКИ ПАКЕТОВ, ПРОПУСКНАЯ СПОСОБНОСТЬ СЕТИ, НЕЙРОННАЯ СЕТЬ

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/14642258.png
http://cyberleninka.ru/article/n/reshenie-zadachi-vybora-predpochtitelnogo-protokola-marshrutizatsii-v-ad-hoc-setyah-na-osnove-ispolzovaniya-apparata-neyronnyh-setey

Итерационный процесс разработки протоколов информационного обмена

Source: Прикладная информатика.

Subject Terms: протокол информационного обмена, Моделирование протоколов, Анализ протоколов, SPI-исчисление, Information exchange protocol, Protocol modeling, protocol analysis, SPI-calculus

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/8913254.png
http://cyberleninka.ru/article/n/iteratsionnyy-protsess-razrabotki-protokolov-informatsionnogo-obmena