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