Тестирование софта - статьи

       

Результаты


Был разработан тестовый набор для реализации протокола IPv6. Тестовый набор был пропущен на Windows 2000, в качестве целевой системы выступала реализация IPv6 от Microsoft Research (MSR IPv6 version 1.4).

Проект по разработке тестового набора для MSR IPv6 показал применимость UniTesK для тестирования сложного API с непроцедурными стимулами и отложенными реакциями. Также показана применимость UniTesK для тестирования внутренних подсистем ядра Windows 2000.

В ходе тестирования были обнаружены отклонения от стандартов IPv6 и ошибки программирования.

Отклонения от стандартов заключаются в том, что в ряде случаев поведение MSR IPv6 отличается от требований, изложенных в стандартах на IPv6.

При тестировании мы выявили также дефекты, которые можно охарактеризовать как ошибки, допущенные при программировании.

Содержание раздела