присвячений Виконання Дослідження.
Зв'язок роботи з Наукова програмами, планами, темами. Дісертаційна робота виконан на кафедрі математичних методів системного аналізу Навчально-наукового комплексу "Інститут прикладного системного аналізу" національного технічного УНІВЕРСИТЕТУ України "Київський політехнічний інститут". Окремі результати дісертаційної роботи Отримані при віконанні науково-дослідної роботи "Системний аналіз и прогнозування катастрофічніх різіків у дінаміці Керування БЕЗПЕКА техногенно ї екологічно небезпечних об'єктів ", номер ДЕРЖАВНОЇ реєстрації № 013U000529. p> Мета и задачі Дослідження. Метою дісертаційної роботи є создания моделей ОЦІНКИ и ЗАСОБІВ Підвищення надійності програмного забезпечення ПРОТЯГ Усього ЖЦ ПЗ з урахуванням СУЧАСНИХ тенденцій у розробленні и тестуванні ПЗ. p> Зазначена проблема має комплексний характер и для ее розв'язання були поставлені та вірішені Такі задачі:
1. Аналіз категорії "якість", віділення ее основних складових и вимог до них, визначення роли надійності ПЗ як характеристики якості та ее Дослідження на етапах ЖЦ ПЗ.
2. Дослідження і розробки моделей оцінювання надійності ПЗ на етапах ЖЦ ПЗ;
3. Аналіз і розробки методів забезпечення надійності ПЗ;
4. Розробка методів ОЦІНКИ РІШЕНЬ, пов'язаних Із ЗАБЕЗПЕЧЕННЯМ надійності ПЗ;
5. Розробка моделей и методів ПІДТРИМКИ Прийняття РІШЕНЬ при віборі стратегії создания ПЗ з урахуванням необхідного уровня надійності ПЗ;
6. Реалізація запропонованіх моделей и методів;
7. Експериментальне Дослідження Розроблення ЗАСОБІВ, моделей и методів оцінювання и Підвищення надійності ПЗ.
Об'єкт Дослідження - програмне забезпечення и процес его розроблення.
Предмет Дослідження - Надійність програмного забезпечення, КРИТЕРІЇ та методи тестування програмного забезпечення. p> Методи Дослідження:
Для аналізу и розроблення моделей ОЦІНКИ надійності ПЗ Використовують методи Теорії ймовірностей и математичної статистики, для оцінювання параметрів моделей - метод максімальної правдоподібності, для експериментального оцінювання - комп'ютерні Програмні засоби обчислення (пакет програм MathCad2001), для постановки та Вирішення задачі оптімізації тестового процеса - Методи Дослідження операцій та Прийняття РІШЕНЬ. p> Для розробки крітеріїв інтеграційного тестування Використовують концептуальними моделювання, системний аналіз, моделювання структурованих компонентно-базованого ПЗ, его подальша розробка й аналіз, науковий експеримент.
Наукова новизна одержаних результатів. У результаті проведеної в дісертаційній работе ДОСЛІДЖЕНЬ Отримані Такі результати:
В· розроблено орігінальну концепцію управління надійністю ПРОТЯГ Всього ЖЦ ПЗ ІУС, якові відрізняють від других Такі Особливості: 1) оцінювання надійності ПЗ на всех етапах ЖЦ; 2) управління надійністю в процесі розроблення ПЗ з урахуванням СУЧАСНИХ тенденцій у розробленні и тестуванні ПЗ, таких як: компонентно-базованій підхід до програмування; уніфіковані технології проектування типу RUP и концептуальними моделювання, 3) реалізація у вігляді інструментальніх ЗАСОБІВ, Які могут буті вікорістані керівнікамі проектів; 4) формалізація задачі оптімізації процеса тестування з урахуванням обмежень на фінансові витрати, годину на розроблення та необхідного уровня якості ПЗ ІУС, что тестується.
В· Вперше запропоновано узагальнення математичну модель негомогенного пуасонівського процеса, яка відрізняється від попередніх тім, что ее функція інтенсівності Виявлення несправностей відповідає практіці проведення тестування и враховує Процес навчання, Які відбуваються в групі тестерів;
В· Вперше на Основі формального Опису розроблювані ПЗ сформульовані Нові КРИТЕРІЇ (і метрики їх Досягнення) для інтеграційного тестування компонентно-базованого програмного забезпечення: крітерій покриття операцій інтерфейсу; крітерій покриття вікліків операцій; крітерій покриття актівізацій інтерфейсу; крітерій покриття послідовностей вікліків операцій; крітерій покриття послідовностей актівізацій; крітерій покриття перелогових;
В· Вперше Визначи метрику відповідності между повідомленнями и переходами (виклика ї актівізаціямі), яка дозволяє здобудуть точні ОЦІНКИ необхідної кількості тестів и может використовуват для ПІДТРИМКИ РІШЕНЬ при віборі найкращого компонента з поміж функціонально Йому еквівалентніх.
Практичне Значення одержаних результатів. p> Запропоновані в работе МОДЕЛІ и методи становляться основу для создания інструментарію для ПІДТРИМКИ оцінювання надійності ПЗ, проведення вісокорівневого тестування ї оптімізації Вибори тестового покриття. Смороду могут буті включені у будь-яку технологію розроблення ПЗ, яка враховує Новітні Тенденції, або використовуват автономно. p> Такі засоби дозволяють: формалізуваті розроблення плану тестування на Основі представлених метрик ступенів Досягнення шкірного з крітеріїв; Зменшити суб...
