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

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής

Κύριοι συγγραφείς:	Nikolay Pakulin, Victor Shnitman, Alexey Nikeshin
Μορφή:	Artigo
Γλώσσα:	Inglês
Έκδοση:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
Σειρά:	Труды Института системного программирования РАН
Θέματα:	тестирование соответствия unitesk формальные методы автоматизация тестирования тестирование основанное на моделях тестирование протоколов формальные спецификации моделирование протоколов
Διαθέσιμο Online:	https://ispranproceedings.elpub.ru/jour/article/view/769
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!