| программное обеспечение с высоким уровнем безопасности и доступности | high-assurance software (программное обеспечение, требующее убедительных доказательств, что функциональные возможности программного обеспечения удовлетворяют установленным нормативным требованиям. Для достижения требуемого уровня безопасности и доступности могут применяться: тестирование на соответствие установленным нормам, тестирование на экспериментальных данных, формальные методы верификации программного обеспечения (автоматическое доказательство корректности программного обеспечения), определение оценки уровня полноты безопасности и использование средств контрактного программирования Alex_Odeychuk) |
