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