Фисун Н.Т., Галенко Н.И. Черноморский государственный университет им. Петра Могилы ИСПОЛЬЗОВАНИЕ БАЙЕСОВСКИХ СЕТЕЙ В ЗАДАЧАХ КОЛИЧЕСТВЕННОЙ ОЦЕНКИ РИСКОВ В ПРОЕКТАХ ПО РАЗРАБОТКЕ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ

2 Статистика выполнения проектов по разработке программного обеспечения График представляет результаты более прикладных проектов в больших средних и малых компаниях США с 1994 года. Источник: The Standish Group International, Extreme Chaos, The Standish Group International, Inc., 2000

3 Определение понятия «Риск» Риск – вероятность наступления событий, в результате которых возможны непредвиденные потери прибыли, имущества, денежных средств и т.д. Технический риск программного обеспечения – мера вероятности и сложности неблагоприятных факторов, которые возникают в процессе разработки программного обеспечения, не отвечающего требованиям и не реализующего ожидаемую функциональность. Проблема – ситуация, которая требует определенных навыков и знаний для принятия правильного решения, чтоб предотвратить потери прибыли, имущества или денежных средств. Проблема – риск, который материализовался. Риск менеджмент – практика с процессами, методами и средствами для управления рисками проекта. Преодоление риска – это проведение мероприятий в результате которых вероятность риска сводится к нулю. Предотвращение риска – это проведение мероприятий, в результате которых ущерб риска сводится к нулю.

4 Зависимость актуальности риск- менеджмента от сложности системы Риск Технология Стоимость График Сложность системы Методы, средства, процесс Знания экспертов, экспертные оценки, опыт Знания разработчиков, оценки разработчиков, опыт разработчиков Источник: Fundamentals of software risk management. Project management lecture – Adapted by Werner Wild, 2004

5 Характеристики риска Влияние – природа и величина последствий риска. Вероятность – вероятность того, что последствия риска материализуются в проблему. Временные рамки – время на протяжении которого команда разработчиков может принимать активные решения относительно риска. Связность – влияние, которое окажет материализация риска на другие риски системы. Неопределенность – недостаток понимания про природу функции распределения вероятности возникновения риска или про то, как она может изменяться на протяжении времени.

6 Парадигма управления рисками Управление рисками Планирование рисков Оценка рисков Обработка рисков Мониторинг рисков Идентификация рисков Анализ рисков Обратная связь

7 Качественный анализ рисков Качественный анализ выделенных рисков Определение рисков, требующих незамедлительных действий На протяжении всего жизненного цикла проекта происходит переоценка рисков

8 Количественный анализ рисков Определяет вероятность возникновения рисков и влияние последствий на проект Позволяет принимать более обоснованные решения Используется совместно с качественной оценкой рисков

9 Цель исследования Усовершенствование моделей управления рисками на эффективность планирования проекта. Повышение эффективности методов принятия решений при управлении проектами.

10 Задачи исследования Сформулировать системный подход к созданию модели риска в проектах по разработке программного обеспечения (ПО); Разработать модели риска, используя методы имитационного моделирования, аппарат нечеткой логики и графо- аналитический метод (Байесовские сети доверия); Определить возможность и эффективность использования предложенных методов. Разработать логичную, структурированную и функциональную модель системы управления проектами по разработке ПО, которая включает особенности процесса разработки, программную реализацию системы, проведение эксперимента по внедрению программного приложения в процесс управления проектом.

11 Результаты исследования В ходе исследования были разработаны модели риска на основе метода Монте-Карло; на основе аппарата нечеткой логики; графо-аналитический метод (Байесовские сети доверия) – представлена в докладе. Результаты по иссладованию метода Монте-Карло и аппарата нечеткой логики в задачах управления проектами представлены в публикациях: 1.Фісун М.Т., Галенко Н.І. Моделі ризиків в проектах зі створення програмного забезпечення. Ялтинская конференция / Фісун М.Т., Галенко Н.І. – Миколаїв : Наукові-праці: Науково-методичний журнал, вип. 77 Компютерні технології : Вид-во МДГУ ім. Петра Могили, Галенко Н.І. Дослідження процесу управління ризиками в невеликих проектах зі створення програмного забезпечення / Галенко Н.І. – Миколаїв : Наукові-праці: Науково-методичний журнал. Т 90, вип. 77 Компютерні технології : Вид-во МДГУ ім. Петра Могили, – с Галенко Н.И. Усовершенствование методов количественной оценки рисков при помощи аппарата нечеткой логики / Галенко Н.И. – Херсон : Вестник ХНТУ 1(30), – с Фісун М.Т., Галенко Н.І. Вдосконалення визначення часових характеристик робіт проекту при використанні апарату нечіткої логіки / Фісун М.Т., Галенко Н.І. – Миколаїв : Збірник наукових праць НУК, – с. 31 – Фісун М.Т. Галенко Н.І. Використання різних форм належності нечітких логічних змінних в задачах визначення часових параметрів в сіткових графіках. ІНТЕРНЕТ-ОСВІТА-НАУКА-2006, п'ята міжнародна конференція ІОН Збірник матеріалів конференції. Том 1. Вінниця: УНІВЕРСУМ-Вінниця, С

12 Практические результаты исследования В качестве практического значения результатов исследования разрабатывается модуль управления рисками в софтверной компании, работающей с офшорными проектами и предоставляющей услуги как по разработка ПО так и по его поддержке. Модуль разрабатывается по модели управления Института программного инжиниринга США с использованием математических аппаратов Байесовских сетей, нечеткой логики и метода иммитационного моделирования Монте-Карло на этапе количественной оценки рисков проекта.

13 Графічне зображення моделі ризику, побудованої на базі апарату нечіткої логіки Причина3 Ризик Причина1 Причина3 Причина2

14 Графічне зображення моделі ризику, побудованої за методом Монте-Карло С1М1σ1С1М1σ1 Следствие R= U1 U2U2 Имитационная модель U3 U4U4 С1М1σ1С1М1σ1 Имитационная модель С1М1σ1С1М1σ1 С1Rσ1С1Rσ1 R= С – событие-причина М – математическое ожидание σ1 - стандартное отклонение R – количественная оценка риска U – коеффициент увеличения влияния.

15 Определение байесовской сети Байесовская сеть это ориентированный граф, удовлетворяющий следующим условиям: Вершинами сети являются множество случайных переменных. Переменные могут быть дискретными или непрерывными. Вершины попарно соединяются ориентированными рёбрами. Для двух вершин Х и Y, если ребро направлено от вершины Х к вершине Y, то вершина Х называется родительской по отношению к вершине Y. Все связанные с родительскими вершины определяются таблицей условных вероятностей или функцией условных вероятностей. Для вершин без родителей вероятности её состояний являются безусловными (маргинальными).

16 Определение байесовской сети Обозначим для вершины Хi множество ее родительских вершин как parents(Хi), тогда Хi характеризуется распределением условных вероятностей. P(Хi | parents(Хi)), которое количественно оценивает влияние родительских вершин на вершину Хi. Совместное распределение значений в вершинах можно оценить как результат произведения локальных распределений в каждом узле и его родителях: Если у вершины Xi нет родителей, то её локальное распределение вероятностей называют безусловным, иначе условным. Если значение в узле получено в результате опыта, то вершину называют свидетелем. Граф не имеет циклов, состоящих из ориентированных рёбер, т.е. является ориентированным ациклическим графом (Directed Acyclic Graph DAG).

17 Байесовская сеть доверия (пример) Причина1Причина2Причина3 Причина 4 Риск Т1Т1 Т2Т2 Т3Т3 Т 4 с учетом гипотез из Т 1 и Т 2 Т R с учетом гипотез из Т 4 и Т 3 Т 1,, Т 2, Т 3, Т 4, Т R - таблицы условных вероятностей

18 Байесовская сеть доверия для рисканедостаток ресурсов Изменение ситуации на рынке Отказ оборудования Новые виды работ Увольнение разработчика Дополнительное ПО Недостаток ресурсов

19 Таблицы условной вероятности для БСД (риск: недостаток ресурсов) Отказ оборудования Yes0.2 No0.8 Новые виды работ Yes0.25 No0.75 Дополнительное ПО Новые виды работYesNo Yes No Увольнение разработчика Изменение ситуации на рынке YesNo Yes No Изменение ситуации на рынке Yes0.2 No0.8 Недостаток ресурсов Дополнительное ПОYesNo Увольнение разработчикаYesNoYesNo Отказ оборудованияYesNoYesNoYesNoYesNo Yes No

20 Вероятностные оценки модели риска (недостаток ресурсов) Распространение сумм Распространение максимумовПересчет вероятностей с учетом свидетельств Расчеты выполнены при помощи системы для построения БСД: HUGIN (

21 БСД для риска ошибки календарного планирования Недостаточная квалификация менеджера Изменение ситуации на рынке Отказ оборудования Некорректное использование методов планирования Ошибки календарного планирования Изменение сроков выполнения проекта Причинные события, которые влияют на возникновение обоих рисков

22 Пересчет вероятности для риска «недостаток ресурсов» с учетом свидетельств о том, что риск «ошибки календарного планирования» материализовался, по модели оценки рисков на основе БСД Расчеты выполнены при помощи системы для построения БСД: HUGIN (

23 Выводы Метод Монет-КарлоНечеткая логикаБСД Простота использования Выполнение большого количества итераций Использование лингвистический переменных Субъективизм при создании базы правил Модель риска представлена в виде ориентированног о графа Сложность составления таблиц условных вероятностей для большого количества переменных. Широкая распространенность Сложность выбора функций распределения вероятностей Оперирует нечеткими входными данными Увеличение количества логических переменных сильно усложняет базу правил Использование экспертных оценок на ряду с вероятностными Увеличение сложность расчетной модели при увеличении количества переменных Большой опыт использования Сложность определения расчетной модели Оперирует лингвистическими критериями Легкость перерасчета модели в зависимости от полученных свидетельств Каждый из рассмотренных методов имеет как положительные так и отрицательные особенности, все они позволяют создать модель риска, использовать ее для оценки суммарного риска проекта также может быть создана база моделей рисков, данные из которой будут уточняться и обновляться в процессе выполнения аналогичных проектов. Методы могут использоваться как по отдельности, так и совместно с целью уточнения полученных результатов.