![](/irbis_nbuv/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis_nbuv/images/db_navy.gif) Журнали та продовжувані видання ![](/irbis_nbuv/images/db_navy.gif) Автореферати дисертацій ![](/irbis_nbuv/images/db_navy.gif) Реферативна база даних ![](/irbis_nbuv/images/db_navy.gif) Наукова періодика України ![](/irbis_nbuv/images/db_navy.gif) Тематичний навігатор ![](/irbis_nbuv/images/db_navy.gif) Авторитетний файл імен осіб
|
Пошуковий запит: (<.>ID=REF-0000335767<.>) |
Загальна кількість знайдених документів : 1
|
Конорев Б. М. Модель инварианто-ориентированной оценки характеристик качества программного обеспечения / Б. М. Конорев, В. В. Сергиенко, Ю. Г. Алексеев, Г. Н. Чертков // Радіоелектрон. і комп'ют. системи. - 2010. - № 7. - С. 117-120. - Библиогр.: 5 назв. - рус.Рассмотрено использование формальных методов контроля неизменных свойств (инвариантов) программного обеспечения (ПО) для оценки характеристик качества ПО. Рассмотрено влияние дефектов на значения инвариантов на уровне исходных кодов ПО. По результатам измерения инвариантов определяется наличие остаточных дефектов в программе. Приведена динамическая модель чувствительности набора методов к дефектам с учетом операционного спектра конкретного проекта. Предложенный подход позволяет формализовать проверки и автоматизировать процесс оценки основополагающих характеристик качества ПО таких, как функциональная надежность и безопасность. Індекс рубрикатора НБУВ: З973-018.1
Рубрики:
Шифр НБУВ: Ж24450 Пошук видання у каталогах НБУВ
Повний текст Наукова періодика України
![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
|