Пошук
Зараз показуються 11-15 з 15
Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов
(ХАІ, 2008)
Информативность испытаний и подтверждение приемлемых уровней вероятности скрытых дефектов при
независимой верификации критического программного обеспечения обеспечивается с помощью адекватного профиля дефектов и калибровок ...
Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов
(ХАІ, 2006)
Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС
количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов
программного обеспечения (ПО) ...
Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения
(ХАІ, 2007)
Предложена целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения (ПО): в процессе независимой верификации и квалификации ПО
ИУС критического применения.
Обоснование выбора системы единиц физических величин для независимой верификации при сертификации программного обеспечения
(ХАИ, 2006)
Рассмотрено влияние статистических характеристик систем единиц физических величин на достоверность и ресурсоемкость семантической независимой верификации программного обеспечения, основанный на анализе размерностей программных ...
Обзор и анализ возможностей виртуальных машин как средства обеспечения безопасности функционирования программных средств
(ХАИ, 2007)
Проанализирована существующая проблема обеспечения функциональной безопасности программного обеспечения критического назначения. Проведен обзор и анализ существующих типов виртуальных машин (ВМ), их архитектур и свойств. ...