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

EN:	Program verification

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

Категория:	В
Словари:	Информатика
Литература:	ГОСТ 19781-90 Обеспечение систем обработки информации программное. Термины и определения