1. Наука
  2. Видання
  3. Збірник наукових праць Харківського національного університету Повітряних Сил
  4. 1(16)'2008
  5. Дескрипторный контроль программного обеспечения критического применения в реальном времени

Дескрипторный контроль программного обеспечения критического применения в реальном времени

Ю. С. Манжос, В. Л. Петрик
УДК 004.05+004.415.5
Мова статті: російська
Анотації на мовах:

Предложен метод, обеспечивающий контроль семантической корректности программного обеспечения на этапе стендовой отработки или в реальном времени, имеющий по сравнению с методом семантического контроля на порядок меньшую ресурсоемкость, значительно более высокую диагностирующую способность и более точную оценку вероятности существования остаточных программных дефектов. Применение метода в системах реального времени позволяет повысить надежность информационноуправляющих систем для АЭС и авиационно-космических комплексов.
Ключові слова: семантический контроль, семантические инварианты, остаточные программные дефекты
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Манжос Ю. С. Дескрипторный контроль программного обеспечения критического применения в реальном времени / Ю. С. Манжос, В. Л. Петрик  // Збірник наукових праць Харківського національного університету Повітряних Сил. — 2008. — № 1. — С. 90-93.