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

Дата последнего изменения:2013.03.17
Сообщить об ошибке

	верификация программ 1. Любой метод, который убеждает в том, что программа будет выполнять именно то, что от нее ожидается. 2. Доказательство того, что поведение программы соответствует спецификации на эту программу (ДСТУ 2873). [Домарев В.В. Безопасность информационных технологий. Системный подход.]
EN
FR