ому дослідженню розроблення та Функціонування модуля управління надійністю як складової Частини системи автоматизованого проектування ІНФОРМАЦІЙНИХ систем (ІС).
У рамках дослідніцького проекту ІT.Com по автоматізації проектування ІС автором Було спроектовано архітектуру модуля, управляючого надійністю ПЗ (рис. 2), інтегровано его у Загальну архітектуру системи, здійснено аналіз особливая Функціонування та проведено Дослідження его технологічних аспектів. p> Модуль управління надійністю Складається з модулів оцінювання надійності та ее забезпечення. МОДЕЛІ, представлені в іншому розділі були покладені в основу модуля оцінювання, а на базі запропонованіх крітеріїв Було спроектовано модуль вісокорівневого тестування. Була розроблено Класифікація тестів та охарактерізовані типові помилки, что віявляються шкірно з крітеріїв.
Проведено аналіз практичної досяжності шкірного з запропонованіх крітеріїв, Який показавши, что КРИТЕРІЇ, пов'язані з урахуванням контексту даніх (крітерій покриття актівізацій, покриття послідовностей актівізацій, покриття перелогових), є ресурсомісткішімі за годиною и фінансовімі витратами, альо при цьом Забезпечують якіснішу перевірку надійності ПЗ. Найскладнішім для практичної реалізації є крітерій покриття перелогових. Найпростішімі є КРИТЕРІЇ покриття операцій інтерфейсу, вікліків операцій и послідовностей вікліків операцій, однак, смороду найчастіше НЕ Забезпечують необхідну Надійність перевіркі. Компроміснімі варіантамі у відношенні витрати/Якість є КРИТЕРІЇ покриття актівізацій и послідовностей актівізацій. Смороду найбільш оптімальні для практичного ! застосування. p> експериментальний Дослідження модуля вісокорівневого тестування Було здійснено з використаних спроектованої компонентно-базованої системи віддаленої взаємодії користувача, авіакомпанії, туристичного агентства и банку - "Base - IT.Com". У ході тестування Було виявлено ряд помилок у структурі спроектованої компонентно-базованої системи, Які могли б прізвесті до значний ФІНАНСОВИХ Втрата та були пов'язані з паралельних Виконання послідовностей операцій. p> Дослідження показало, что Використання UML діаграм дозволяє на ранніх етапах проектування віявляті помилки у структурі та візначаті ті КРИТЕРІЇ, Досягнення якіх можливе, віходячі з наявних годин и ФІНАНСОВИХ ресурсів, І, відповідно, оцініті ВАРТІСТЬ Наступний тестування. p> У додатках наведено детальний аналіз катастроф медичного комплексу Therac-25 та ракети Ariane-5, вікліканіх Помилка в ПЗ, та описание експериментальної компонентно-базованої системи "Base - IT.Com"
ВИСНОВКИ
Науковою задачею, вірішеною в дісертаційній работе, є розроблення моделей ОЦІНКИ и ЗАСОБІВ Підвищення надійності програмного забезпечення ПРОТЯГ Усього ЖЦ ПЗ з урахуванням СУЧАСНИХ тенденцій у розробленні и тестуванні ПЗ.
При вірішенні задачі ОТРИМАНО Такі результати:
Сформульовано концепцію управління надійністю на всьому ЖЦ ПЗ и запропоновано комплекс ЗАСОБІВ оцінювання та Підвищення надійності компонентно-базованого ПЗ;
Запропоновано узагальнення модель негомогенного пуасонівського процесу, в якій враховані ВСІ Перевага базових моделей негомогенного пуасонівського процеса, а такоже введень додатковий параметр, Який характерізує складність програмного проекту та практику проведення тестування з урахуванням процесів навчання. p> Проведено чисельного моделювання запропонованої МОДЕЛІ. Експериментальні дані дозволили Встановити, что запропонована модель Дає більш точні ОЦІНКИ надійності и відповідає практіці проведення тестування. Параметри МОДЕЛІ були розраховані за методом максімальної правдоподібності, для значення параметру, Який характерізує складність та практику проведення тестування запропоновані відповідні Рекомендації.
Сформульовано Нові КРИТЕРІЇ и метрики для інтеграційного тестування компонентно-базованого програмного забезпечення, Які грунтуються на опісі структурованих програмного забезпечення, а самє: крітерій покриття операцій інтерфейсу; крітерій покриття вікліків операцій; крітерій покриття актівізацій інтерфейсу; крітерій покриття послідовностей вікліків операцій; крітерій покриття послідовностей актівізацій; крітерій покриття перелогових. Запропоновані формальні КРИТЕРІЇ дають можлівість Розробити план проведення тестування Вже на ранніх етапах создания ПЗ. p> Розроблено ОЦІНКИ кількості тестів, необхідніх для покриття шкірного з Розглянуто крітеріїв, Які дозволяють оцініті ВАРТІСТЬ тестування на ранніх етапах создания ПЗ, а отже вібрато крітерій, Якого можна досягті практично, віходячі з наявних ФІНАНСОВИХ ресурсів и годині.
Визначи метрику відповідності между повідомленнями и переходами (виклика та актівізаціямі), яка дозволяє здобудуть більш точні ОЦІНКИ необхідної кількості тестів та может використовуват для ПІДТРИМКИ РІШЕНЬ при віборі компонента з функціонально еквівалентніх Йому.
Сформульовано задачі оптімізації процеса тестування, Які враховують об...
