Автоматическая генерация тестов на основе формального описания
Автоматическая генерация тестов на основе формального описанияПодробное описание тестового случая №1
Как сгенерировать и запустить тест
Проверка результатов выполнения тестов (сравнение с ожидаемым результатом)
Пример теста с ошибкой
Задание 5
Содержание раздела
