Описание
Темы по формальным методам вывода тестов, управлению тестированием, верификации и валидации на высоком уровне с использованием CASE-инструментов, меры и метрики потоков данных и управления для оценки качества проектов и кода, регрессионный анализ и тестирование.
Текст источника на языке оригинала
Topics in formal test derivation methods, test management, high-level, CASE-based verification and validation, data-flow and control-flow measures and metrics for assessing quality of designs and code, regression analysis and testing.
Источники и ссылки
Даты и источники сохраняются, чтобы помочь вам проверить сведения. Переводы предлагаются для удобства чтения; официальным источником для условий и требований является оригинал.
Исходная ссылка : https://calendar.carleton.ca/grad/courses/COMP/