Верификация программы

Материал из НП ППП вики
Версия от 13:51, 2 октября 2024; Munchen (обсуждение | вклад) (Новая страница: «Верификация программы - Доказательство того, что поведение программы соответствует спецификации на эту программу Источник: ГОСТ 19781-90 ОБЕСПЕЧЕНИЕ СИСТЕМ ОБРАБОТКИ ИНФОРМАЦИИ ПРОГРАМНОЕ Термины и определения {{DISPLAYTITLE:Верификация программы}}»)
(разн.) ← Предыдущая версия | Текущая версия (разн.) | Следующая версия → (разн.)
Перейти к навигации Перейти к поиску

Верификация программы - Доказательство того, что поведение программы соответствует спецификации на эту программу

Источник:

ГОСТ 19781-90 ОБЕСПЕЧЕНИЕ СИСТЕМ ОБРАБОТКИ ИНФОРМАЦИИ ПРОГРАМНОЕ Термины и определения