?
Подходы к разработке тестового набора для тестирования реализаций протокола EAP и его методов
В данной работе представлен подход к разработке тестового набора для тестирования реализаций протокола EAP. Этот подход использует комбинацию двух направлений тестирования сетевых протоколов. Технология UniTESK позволяет автоматизировать процесс построения тестовых последовательностей с помощью обхода некоторого автомата теста, при этом для построения тестовых воздействий и вынесения вердикта о корректности наблюдаемого поведения реализации используется модель протокола. Использование дополнительно методов мутационного тестирования позволяет вносить изменения в поток данных на любом этапе обмена протокола. Такая комбинация тестовых методов позволяет, с одной стороны, проверять требования спецификации протокола, а с другой - протестировать устойчивость реализации протокола к искаженным пакетам во всех значимых состояниях.