Верификация программного обеспечения

Контрольная работа

Показывать лекцию целиком
Внимание! Для работы с этим семинаром необходимы учебные файлы, которые Вы можете загрузить здесь.

Состав контрольной работы предлагается определить ведущему преподавателю. Предполагается, что часть студентов на контрольной работе выполняют специальное задание – пишут драйвер или заглушки для тестирования каких-либо функций системы "Калькулятор". Результаты выполнения специального задания используются на следующем семинаре.

На семинаре раздается бланк формальной инспекции и текст с вводным описанием процедуры формальной инспекции. Раздаточный материал должен быть изучен студентами самостоятельно к следующему семинару.

Вернуться к учебному плану