ПЗ.
Запропоновано узагальнення модель оцінювання якості програмного забезпечення на Основі негомогенного пуасонівського процеса та обчислено ее параметри. Функція інтенсівності Виявлення несправностей запропонованої МОДЕЛІ враховує Процеси навчання та відображає процес проведення тестування. Експериментальний Шляхом доведено ее працездатність та ПЕРЕВАГА порівняно з Попередньо існуючімі моделями оцінювання надійності. p> Розроблено Нові КРИТЕРІЇ та метрики інтеграційного тестування ПЗ з урахуванням новітніх тенденцій до компонентно-базованого програмування та з використаних діаграм UML. Зазначені КРИТЕРІЇ Надаються можлівість Розробити план проведення тестування на ранніх етапах создания ПЗ та дозволяють отріматі ПЕРЕЛІК об'єктів та подій, Які звітність, протестуваті для шкірного з запропонованіх крітеріїв. Цею процес легко автоматізується, что є необхідною ськладової Загальне процеса автоматізації тестування, а такоже обов'язковим компонентом при Перевірці якості спроектованого тесту. p> ключові слова: програмне забезпечення, Надійність ПЗ, Моделі оцінювання надійності ПЗ, тестування ПЗ, інтеграційне тестування ПЗ, КРИТЕРІЇ та метрики, компонентно-базоване ПЗ, автоматизація тестування. p> АНОТАЦІЯ
Дідковська М.В. Методи оцінки та засоби підвищення надійності програмного забезпечення. - Рукопис. p> Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 - "Автоматизовані системи управління та прогресивні інформаційні технології "- Національний технічний університет України "Київський політехнічний інститут", Київ, 2006. p> Дисертація присвячена розробці моделей оцінки і засобів підвищення надійності програмного забезпечення протягом усього життєвого циклу ПЗ, з урахуванням сучасних тенденцій у розробці та тестуванні ПЗ.
Запропоновано узагальнена модель оцінювання якості програмного забезпечення на основі негомогенного пуассонівського процесу і обчислені її параметри за методом максимальної правдоподібності. Функція інтенсивності виявлення несправностей даної моделі враховує процеси навчання і відображає хід проведення тестування. Експериментальним шляхом доведено працездатність і визначені переваги нової моделі оцінювання надійності в порівнянні з вже існуючими. p> Моделі оцінювання надійності застосовуються після того, як ВО створено і для їх правильної роботи потрібна значна кількість статистичних даних про відмови. Для отримання оцінок в міру розробки ПЗ, а також забезпечення надійності, застосовується тестування. p> Проведене дослідження функціонального тестування показало, що даний вид тестування характеризується дуже великою кількістю необхідних тестів, більше того виникають складнощі при забезпеченні незалежності цих тестів. p> Враховуючи сучасні тенденції до використання компонентно-базованого програмування, в якому часто компоненти представлені, як "чорні ящики ", і доступні лише їх автомати станів, а не сам вихідний код, автором було показано, що класичні методи структурного тестування з рівнем абстракції рівним рівню операторів мови програмування не застосовні. Виникла необхідність у розробці спеціалізованих критеріїв для інтеграційного тестування, які будуть працювати на іншому рівні абстракції, і враховувати надаються автомати станів компонентів, а також ставити акцент саме на взаємодії між модулями, а не на їх внутрішній роботі. p> З даної метою були розроблені нові критерії та метрики інтеграційного тестування ПЗ з урахуванням новітніх тенденцій до компонентно-базованих створення ПЗ і з використанням діаграм UML, а саме: критерій покриття операцій інтерфейсу, критерій покриття викликів операцій, критерій покриття активізацій інтерфейсу, критерій покриття послідовностей викликів операцій, критерій покриття послідовностей активізацій і критерій покриття залежностей. p> Проведено аналіз практичної досяжності кожного з запропонованих критеріїв, який показав, що критерії, пов'язані з обліком контексту даних (критерій покриття активізацій, покриття послідовностей активізацій, покриття залежностей), є більш ресурсоємними за часом і фінансових витрат, але при цьому забезпечують більш якісну перевірку надійності ПЗ. Найбільш складним для практичної реалізації є критерій покриття залежностей. Найбільш простими є критерії покриття операцій інтерфейсу, викликів операцій і послідовностей викликів операцій, однак, вони часто не забезпечують необхідну надійність перевірки. Компромісними варіантами у відношенні витрати/якість є критерії покриття активізацій і послідовностей активізацій. Вони найбільш оптимальні для практичного застосування. p> У роботі була представлена ​​класифікація тестів на основі життєвого циклу ПЗ, і охарактеризовано типові помилки, які виявляються кожним із критеріїв, що дає можливість підвищити надійність ПЗ.
Запропоновані критерії надають можливість розробити плани проведення тестування на ранніх етапах створення ПЗ і дозволяють отримати перелік об'єктів і подій, ...
