Конорев Б. М. Инварианто-ориентированная оценка качества программного обеспечения космических систем / Б. М. Конорев, Ю. С. Манжос, В. С. Харченко, Ю. Г. Алексеев, В. В. Сергиенко, Г. Н. Чертков; Гос. центр регулирования качества поставок и услуг, Нац. аэрокосм. ун-т им. Н.Е.Жуковского "ХАИ". - Х., 2009. - 224 c. - (Качество ПО и безопасность КС). - рус.Проанализированы методы оценки качества программного обеспечения (ПО), основанные на современном model-checking подходе. Описаны принципы и модель инвариантно-ориентированной оценки качества ПО космических систем. Предложен полимодельных метод оценки, использующий различные типы инвариантов ПО: на базе учета физической размерности переменных (семантический), с использованием интервально-точностных характеристик переменных (интервальный и точностной). Оценена достоверность контроля при применении методов верификации, основанных на измерении инвариантов ПО. Індекс рубрикатора НБУВ: О62 с116
Рубрики:
Шифр НБУВ: ВА723049 Пошук видання у каталогах НБУВ Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|