Automation of conformance testing for communication protocols

Συγγραφείς: Nikolay Pakulin, Victor Shnitman, Alexey Nikeshin

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

Θεματικοί όροι: тестирование соответствия, unitesk, формальные методы, автоматизация тестирования, тестирование, основанное на моделях, тестирование протоколов, формальные спецификации, моделирование протоколов, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

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

Σύνδεσμος πρόσβασης: https://doaj.org/article/c012a2dc12f440438eb024dcbe166cc5

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

Συγγραφείς: Пакулин, Н., Шнитман, В., Никешин, А.

Θεματικοί όροι: ТЕСТИРОВАНИЕ СООТВЕТСТВИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, АВТОМАТИЗАЦИЯ ТЕСТИРОВАНИЯ, ТЕСТИРОВАНИЕ, ОСНОВАННОЕ НА МОДЕЛЯХ, ТЕСТИРОВАНИЕ ПРОТОКОЛОВ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, МОДЕЛИРОВАНИЕ ПРОТОКОЛОВ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/avtomatizatsiya-testirovaniya-sootvetstviya-dlya-telekommunikatsionnyh-protokolov
http://cyberleninka.ru/article_covers/14987277.png

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

Συγγραφείς: Шаваша, А.

Θεματικοί όροι: ПРОТОКОЛЫ МАРШРУТИЗАЦИИ, МОДЕЛИРОВАНИЕ ПРОТОКОЛОВ, НАДЕЖНОСТЬ, ЗАДЕРЖКА ДОСТАВКИ ПАКЕТОВ, ПРОПУСКНАЯ СПОСОБНОСТЬ СЕТИ, НЕЙРОННАЯ СЕТЬ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: 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

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

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

Θεματικοί όροι: ТЕСТИРОВАНИЕ СООТВЕТСТВИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, АВТОМАТИЗАЦИЯ ТЕСТИРОВАНИЯ, ТЕСТИРОВАНИЕ, ОСНОВАННОЕ НА МОДЕЛЯХ, ТЕСТИРОВАНИЕ ПРОТОКОЛОВ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, МОДЕЛИРОВАНИЕ ПРОТОКОЛОВ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/14987277.png
http://cyberleninka.ru/article/n/avtomatizatsiya-testirovaniya-sootvetstviya-dlya-telekommunikatsionnyh-protokolov

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

Πηγή: Открытое образование.

Θεματικοί όροι: ПРОТОКОЛЫ МАРШРУТИЗАЦИИ, МОДЕЛИРОВАНИЕ ПРОТОКОЛОВ, НАДЕЖНОСТЬ, ЗАДЕРЖКА ДОСТАВКИ ПАКЕТОВ, ПРОПУСКНАЯ СПОСОБНОСТЬ СЕТИ, НЕЙРОННАЯ СЕТЬ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: 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

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

Πηγή: Прикладная информатика.

Θεματικοί όροι: протокол информационного обмена, Моделирование протоколов, Анализ протоколов, SPI-исчисление, Information exchange protocol, Protocol modeling, protocol analysis, SPI-calculus

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/8913254.png
http://cyberleninka.ru/article/n/iteratsionnyy-protsess-razrabotki-protokolov-informatsionnogo-obmena