Тестирование web-сервисов на основе временных автоматов для обнаружения функциональных и нефункциональных неисправностей.

20-30 стр

В прикрепленном файле продублирована эта информация+ссылка на видео, где несколько подробно поясняется, что требуется от работы.

Концепция, основанная на временных автоматах с активным тестированием. Имеется RFC, по спецификации хотим строить некоторые тесты, которые будем подавать на реализацию (с++) проверить, что у нас реализации соответствует спецификации. Выполняет те функциональные требования, которые описаны в спецификации. Для тестов – используем автоматный метод. По RFC строим автомат ( FSM ) , по автомату построить тест (формальные методы синтеза тестов, метод Василевского, обход графов переходов) и тест подаем на реализацию ( в с++). Так как нужно учитывать таймауты, например бездействие на сайте, поэтому использует не просто FSM, а Timed FSM. Тест проверяет не только, что по некоторой команде выполняется переход в правильное состояние, но и то, что таймауты работают правильно.

Реализовать синтез дополнительных тестовых последовательностей для автомата, которые будут проверять таймауты. Реализовать программу на с++, которая будет считывать с некоторого файла временной автоматистроить тест

файл в описании