Целью данной лабораторной работы является изучение тестирования программного обеспечения на основе формальных моделей. Работа состоит из следующих этапов:
- Выбрать тестируемую систему.
- Подготовить неформальное описание выбранной системы.
- По неформальному описанию построить спецификацию системы в виде конечного автомата.
- Построить проверяющие тесты.
- Программно реализовать систему.
- Провести тестирование полученной программной реализации на синтезированных тестовых последовательностях.
- Оценить полноту теста относительно множества синтезированных мутантов.