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

News

02 August, 2019 OS DAY-2019. Cooperation among operating platform developers and the security of Russian software

10 April, 2019 Ivannikov Memorial Workshop has been supported by IEEE

14 March, 2019 The annual Ivannikov Memorial Workshop will take place on 13-14 September 2019

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

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

Abstract

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

Edition

Proceedings of the Institute for System Programming, vol. 4 (in Russian), 2003, Стр. 121-140.

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

For citation

Г.В. Ключников, А. С. Косачев, Н.В. Пакулин, А. К. Петренко, В.З. Шнитман Применение формальных методов для тестирования реализации IPv6. . Proceedings of the Institute for System Programming, vol. 4 (in Russian), 2003, Стр. 121-140. .

Full text of the paper in pdf (in Russian)

Back to the contents of the volume