Применение формальных методов для тестирования реализации IPv6.

Новости

18 Апреля, 2025 ИСП РАН выступит партнёром научного форума «Шаг в будущее: глобальный форсайт, искусственный интеллект и стратегическое лидерство»

12 Марта, 2025 XII научно-практическая конференция «OS DAY. Изолированные среды исполнения в операционных системах»

01 Марта, 2025 Шнитману Виктору Зиновьевичу исполняется 80 лет

Применение формальных методов для тестирования реализации IPv6.

Г.В. Ключников, А. С. Косачев, Н.В. Пакулин, А. К. Петренко, В.З. Шнитман

Аннотация

В статье представлен опыт разработки тестового набора для реализации протокола IPv6. Для разработки тестового набора использовался метод разработки тестовых наборов на основе формальных спецификаций UniTesK, развиваемый в Институте системного программирования РАН. В качестве объекта тестирования была выбрана реализация IPv6 от Microsoft Research. В статье подробно описывается устройство полученного тестового набора и обсуждаются результаты проекта.

Издание

Труды Института системного программирования РАН, том 4, 2003, стр. 121-140.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

Для цитирования

Г.В. Ключников, А. С. Косачев, Н.В. Пакулин, А. К. Петренко, В.З. Шнитман Применение формальных методов для тестирования реализации IPv6. . Труды Института системного программирования РАН, том 4, 2003, стр. 121-140. .

Полный текст статьи в формате pdf

Вернуться к содержанию тома