Наукова періодика України | Збірник наукових праць Харківського національного університету Повітряних Сил | ||
Манжос Ю. С. Дескрипторный контроль программного обеспечения критического применения в реальном времени / Ю. С. Манжос, В. Л. Петрик // Збірник наукових праць Харківського університету Повітряних сил. - 2008. - Вип. 1. - С. 90-93. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2008_1_23 Предложен метод, обеспечивающий контроль семантической корректности программного обеспечения на этапе стендовой отработки или в реальном времени, имеющий, по сравнению с методом семантического контроля, на порядок меньшую ресурсоемкость, значительно более высокую диагностирующую способность и более точную оценку вероятности существования остаточных программных дефектов. Применение метода в системах реального времени позволяет повысить надежность информационно-управляющих систем для АЭС и авиационно-космических комплексов. Цитованість авторів публікації: Бібліографічний опис для цитування: Манжос Ю. С. Дескрипторный контроль программного обеспечения критического применения в реальном времени / Ю. С. Манжос, В. Л. Петрик // Збірник наукових праць Харківського університету Повітряних сил. - 2008. - Вип. 1. - С. 90-93. - Режим доступу: http://nbuv.gov.ua/UJRN/ZKhUPS_2008_1_23. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |