Особенности применения технологии UniTESK для тестирования функций мобильности в протоколе IPv6.

• Published in: Труды Института системного программирования РАН
• Main Authors: Д.В. Зацепин, В.З. Шнитман
• Format: Article
• Language: English
• Published: Russian Academy of Sciences, Ivannikov Institute for System Programming 2007-01-01
• Online Access: https://www.ispras.ru/en/proceedings/isp_2007_13_1/isp_2007_13_1_143/
• ISSN: 2079-8156; 2220-6426

Статья посвящена разработке тестового набора для проверки соответствий реализаций мобильного узла спецификациям протокола Mobile IPv6 [1]. Для построения тестового набора использовалась передовая технология автоматического тестирования UniTESK [2] и инструмент CTesK [3], разработанный на основе этой технологии. В ходе выполнения работы было выявлено несколько особенностей поведения одного из объектов протокола – мобильного узла, которые затрудняют его тестирование в рамках указанной технологии. В статье подробно описаны эти особенности и способы преодоления трудных моментов в условиях ограничений технологии UniTESK и поддерживающего эту технологию инструмента CTesK. Работа выполнялась в Институте системного программирования РАН в рамках проекта «Верификация функций безопасности и мобильности протоколов IP» при поддержке гранта РФФИ № 04-07-90308.