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

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

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

Аннотация

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

Издание

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

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

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

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

Полный текст статьи в формате pdf Вернуться к содержанию тома