![](/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) Авторитетний файл імен осіб
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
Пошуковий запит: (<.>A=Конорев Б$<.>) |
Загальна кількість знайдених документів : 6
Представлено документи з 1 до 6
|
1. |
Конорев Б. М. Модель оценивания качества программного обеспечения ИУС критического применения на основе инвариантов [Електронний ресурс] / Б. М. Конорев, С. О. Засуха, Ю. С. Манжос, Л. П. Семенов, В. В. Сергиенко, В. С. Харченко, Г. Н. Чертков // Радіоелектронні і комп’ютерні системи. - 2006. - № 7. - С. 162–170. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2006_7_34 Предложенный подход создает возможности в рамках risk-informed регулирования безопасности АЭС количественно оценивать и управлять величиной снижения вероятности рисков остаточных дефектов программного обеспечения ИУС для композиции диверсных технологий верификации на основе экспериментальной калибровки чувствительности и реальной степени разнообразия диверсных методов верификации.
| 2. |
Конорев Б. М. Целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения [Електронний ресурс] / Б. М. Конорев, Ю. Г. Алексеев, В. В. Сергиенко, В. С. Харченко, Г. Н. Чертков // Радіоелектронні і комп’ютерні системи. - 2007. - № 6. - С. 162–170. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2007_6_32 Предложена целевая технология рентабельной оценки надежности и функциональной безопасности критического программного обеспечения (ПО): в процессе независимой верификации и квалификации ПО ИУС критического применения.
| 3. |
Сергиенко В. В. Калибровка методов измерения инвариантов критического программного обеспечения: профиль инъектируемых тестовых дефектов [Електронний ресурс] / В. В. Сергиенко, Б. М. Конорев, Л. Новы, Г. Н. Чертков // Радіоелектронні і комп’ютерні системи. - 2008. - № 5. - С. 161–167. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2008_5_31 Информативность испытаний и подтверждение приемлемых уровней вероятности скрытых дефектов при независимой верификации критического программного обеспечения обеспечивается с помощью адекватного профиля дефектов и калибровок методов, используемых при испытаниях. Рассмотрена разработка модели профиля дефектов для калибровки методов измерения инвариантов при статическом анализе.
| 4. |
Конорев Б. М. Доказательная независимая верификация и оценка скрытых дефектов критического программного обеспечения на основе диверсифицированного измерения инвариантов [Електронний ресурс] / Б. М. Конорев, В. В. Сергиенко, Г. Н. Чертков, Ю. Г. Алексеев // Радіоелектронні і комп’ютерні системи. - 2009. - № 7. - С. 192–199. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2009_7_36 Описано дальнейшее развитие работ в рамках общего направления разработки целевой технологии независимой верификации и прогнозирования скрытых дефектов программного обеспечения (ПО), важного для безопасности. Особое внимание уделено чрезвычайно важному вопросу калибровки чувствительности методов тестирования ПО и полноты охвата исходного кода проверками. Предложена концепция по нахождению адекватного профиля дефектов для конкретного проекта ПО при процедуре калибровки. Обоснован уровень структуры ПО, на котором производится внесение тестовых дефектов для калибровки. Предложен принцип калибровки, модели и элементы практической теории, обеспечивающие практическое решение поставленных задач.
| 5. |
Конорев Б. М. Модель инварианто-ориентированной оценки характеристик качества программного обеспечения [Електронний ресурс] / Б. М. Конорев, В. В. Сергиенко, Ю. Г. Алексеев, Г. Н. Чертков // Радіоелектронні і комп’ютерні системи. - 2010. - № 7. - С. 117–120. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2010_7_24 Рассмотрено использование формальных методов контроля неизменных свойств (инвариантов) программного обеспечения (ПО) для оценки характеристик качества ПО. Рассмотрено влияние дефектов на значения инвариантов на уровне исходных кодов ПО. По результатам измерения инвариантов определяется наличие остаточных дефектов в программе. Приведена динамическая модель чувствительности набора методов к дефектам с учетом операционного спектра конкретного проекта. Предложенный подход позволяет формализовать проверки и автоматизировать процесс оценки основополагающих характеристик качества ПО таких, как функциональная надежность и безопасность.
| 6. |
Конорев Б. М. Прогнозирование вероятности скрытых дефектов критического по с заданной точностью [Електронний ресурс] / Б. М. Конорев, В. В. Сергиенко, В. С. Харченко, Г. М. Жолткевич // Радіоелектронні і комп’ютерні системи. - 2014. - № 5. - С. 50-54. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2014_5_11 Для количественной оценки надежности и функциональной безопасности критических систем одной из ключевых характеристик является прогноз вероятности скрытых дефектов. Приведен метод прогнозирования вероятности скрытых дефектов критического программного обеспечения (ПО) с заданной (управляемой) точностью результатов. Для рамочной оценки скрытых дефектов предложена модель остаточных и скрытых дефектов. Приведена процедура экспериментальной калибровки чувствительности к дефектам и степени разнообразия методов контроля бездефектности исходных кодов ПО.
|
|
|