Создан заказ №8667188
29 июня 2022
Тестирование web-сервисов на основе временных автоматов для обнаружения функциональных и нефункциональных неис
Как заказчик описал требования к работе:
В прикрепленном файле продублирована эта информация+ссылка на видео, где несколько подробно поясняется, что требуется от работы.
Концепция, основанная на временных автоматах с активным тестированием. Имеется RFC, по спецификации хотим строить некоторые тесты, которые будем подавать на реализацию
(с++) проверить, что у нас реализации соответствует спецификации. Выполняет те функциональные требования, которые описаны в спецификации. Для тестов – используем автоматный метод. По RFC строим автомат ( FSM ) , по автомату построить тест (формальные методы синтеза тестов, метод Василевского, обход графов переходов) и тест подаем на реализацию ( в с++). Так как нужно учитывать таймауты, например бездействие на сайте, поэтому использует не просто FSM, а Timed FSM. Тест проверяет не только, что по некоторой команде выполняется переход в правильное состояние, но и то, что таймауты работают правильно.
Реализовать синтез дополнительных тестовых последовательностей для автомата, которые будут проверять таймауты. Реализовать программу на с++, которая будет считывать с некоторого файла временной автоматистроить тест
файл в описани
подробнее
Заказчик
заплатил
заплатил
500 ₽
Заказчик не использовал рассрочку
Гарантия сервиса
Автор24
Автор24
20 дней
Заказчик воспользовался гарантией, чтобы исполнитель повысил уникальность работы
2 июля 2022
Заказ завершен, заказчик получил финальный файл с работой
5
Тестирование web-сервисов на основе временных автоматов для обнаружения функциональных и нефункциональных неис.docx
2022-07-05 18:01
Последний отзыв студента о бирже Автор24
Общая оценка
5
Положительно
Замечательный исполнитель, сделал качественно и раньше срока. Преподаватель поставил "отлично"
Хочешь такую же работу?
300 ₽
