Харківський національний університет Повітряних Сил імені Івана Кожедуба

Анотація: Предложен метод, обеспечивающий контроль семантической корректности программного обеспечения на этапе стендовой отработки или в реальном времени, имеющий по сравнению с методом семантического контроля на порядок меньшую ресурсоемкость, значительно более высокую диагностирующую способность и более точную оценку вероятности существования остаточных программных дефектов. Применение метода в системах реального времени позволяет повысить надежность информационноуправляющих систем для АЭС и авиационно-космических комплексов.

Ключові слова: семантический контроль, семантические инварианты, остаточные программные дефекты

Повний текст PDF - 367.32 KB

Цитування публікації

Інформація про авторів публікації:

• Манжос Ю. С.
• Петрик В. Л.

Бібліографічний опис для цитування:
Манжос Ю.С., Петрик В.Л. Дескрипторный контроль программного обеспечения критического применения в реальном времени. Збірник наукових праць Харківського національного університету Повітряних Сил. 2008. № 1(16). С. 90-93.