Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов

Abstract

Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов программного обеспечения (ПО) ИУС для композиции диверсных технологий верификации на основе экспериментальной калибровки чувствительности и реальной степени разнообразия диверсных методов верификации.

Запропонований підхід створює можливості в рамках risk-informed регулювання безпеки АЕС кількісно оцінювати та керувати величиною зниження ймовірності ризиків залишкових дефектів програмного забезпечення (ПЗ) ІВС для композиції диверсних технологій верифікації на основі експериментального калібрування чутливості та реального ступеня різноманітності диверсних методів верифікації.