Пошук
Зараз показуються 1-2 з 2
Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов
(ХАІ, 2008)
Информативность испытаний и подтверждение приемлемых уровней вероятности скрытых дефектов при
независимой верификации критического программного обеспечения обеспечивается с помощью адекватного профиля дефектов и калибровок ...
Калибровка чувствительности дескрипторного семантического контроля программного обеспечения информационно-управляющих систем
(ХАИ, 2012)
Представлена процедура калибровки чувствительности дескрипторного семантического
контроля программного обеспечения информационно-управляющих систем. Приведены качественные результаты калибровки в режиме статического и ...