Наукова періодика України | Радіоелектронні і комп’ютерні системи | ||
Конорев Б. М. Модель инварианто-ориентированной оценки характеристик качества программного обеспечения / Б. М. Конорев, В. В. Сергиенко, Ю. Г. Алексеев, Г. Н. Чертков // Радіоелектронні і комп’ютерні системи. - 2010. - № 7. - С. 117–120. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_7_24 Рассмотрено использование формальных методов контроля неизменных свойств (инвариантов) программного обеспечения (ПО) для оценки характеристик качества ПО. Рассмотрено влияние дефектов на значения инвариантов на уровне исходных кодов ПО. По результатам измерения инвариантов определяется наличие остаточных дефектов в программе. Приведена динамическая модель чувствительности набора методов к дефектам с учетом операционного спектра конкретного проекта. Предложенный подход позволяет формализовать проверки и автоматизировать процесс оценки основополагающих характеристик качества ПО таких, как функциональная надежность и безопасность. Цитованість авторів публікації: Бібліографічний опис для цитування: Конорев Б. М. Модель инварианто-ориентированной оценки характеристик качества программного обеспечения / Б. М. Конорев, В. В. Сергиенко, Ю. Г. Алексеев, Г. Н. Чертков // Радіоелектронні і комп’ютерні системи. - 2010. - № 7. - С. 117–120. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_7_24. Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |