Model-Based Testing for MANETs

Conformance testing in network engineering is a crucial phase in the development of complex communicating systems. Model-based testing allows to automatize the testing process by generating test suites from a formal specification and to execute them on a real IUT. While many techniques have been dev...

全面介紹

書目詳細資料

發表在:	Труды Института системного программирования РАН
主要作者:	Stéphane Maag
格式:	Article
語言:	英语
出版:	Russian Academy of Sciences, Ivannikov Institute for System Programming 2018-10-01
主題:	тестирование на основе формальных моделей мобильные самоорганизующиеся сети самоподобие узлов протоколы маршрутизации
在線閱讀:	https://ispranproceedings.elpub.ru/jour/article/view/859