Верификация программы
Перейти к навигации
Перейти к поиску
Верификация программы - Доказательство того, что поведение программы соответствует спецификации на эту программу
Источник:
ГОСТ 19781-90 ОБЕСПЕЧЕНИЕ СИСТЕМ ОБРАБОТКИ ИНФОРМАЦИИ ПРОГРАМНОЕ Термины и определения