Search
Now showing items 1-3 of 3
Оценка эффективности независимой верификации программного обеспечения
(ХАИ, 2004)
Излагается методика оценки эффективности независимой верификации ПО информационно-управляющих систем критического применения на основе статического анализа исходных кодов ПО с использованием семантического метода оценки ...
Оценка полноты семантического контроля программного обеспечения информационно-управляющих систем
(ХАИ, 2007)
Исследована степень полноты семантического контроля программного обеспечения информационно-управляющих систем авиационно-космических комплексов, основанного на анализе использования физических размерностей. Разработаны и ...
Калибровка чувствительности дескрипторного семантического контроля программного обеспечения информационно-управляющих систем
(ХАИ, 2012)
Представлена процедура калибровки чувствительности дескрипторного семантического
контроля программного обеспечения информационно-управляющих систем. Приведены качественные результаты калибровки в режиме статического и ...