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