Методи оцінки та засоби підвищення надійності програмного забезпечення
Информация - Компьютеры, программирование
Другие материалы по предмету Компьютеры, программирование
µвого тестування.
Проаналізовано практичну досяжність кожного з запропонованих критеріїв і охарактеризовані типові помилки, які виявляються кожним із критеріїв, що дає можливість підвищити надійність ПЗ.
СПИСОК ОПУБЛІКОВАНИХ ПРАЦЬ
1. Дідковська М.В. Аналіз моделей оцінювання надійності програмного забезпечення // Вісник НТУУ “КПІ”. Інформатика, управління та обчислювальна техніка. №41, Київ, 2004. С.103-120.
2. Тимошенко Ю.О., Дідковська М.В., Кобринський С.Ю. Розробка методу функціональної сегментації для тестування програмного забезпечення // Наукові вісті, №5(37), Київ, 2004. С. 48-56.
Запропоновано методику проведення функціональної сегментації для обєктно-орієнтованого програмного забезпечення.
3. Лунтовский А.О., Дидковская М.В., Глоба Л.С. Программные модели и технологии разработки распределенных информационных систем // Электроника и связь, №9, Киев, 2000. С.15-23.
Здійснено аналіз та моделювання розподілених інформаційних систем.
4. Дідковська М.В. Застосування методу впровадження несправностей при тестуванні достовірно функціонуючих обчислювальних систем // Електроніка і звязок, №13, Київ, 2001. С.116-119.
5. Дидковская М.В., Тимошенко Ю.А. Метод внедрения неисправностей как элемент технологической безопасности информационных систем // Электроника и связь, №14, Киев, 2002. С. 165-167.
Розроблена система впровадження несправностей в елементи памяті, проведені дослідження їхньої прихованості та виконано аналіз можливості застосування методу в задачах тестування безпеки інформаційних систем.
6. Дідковська М.В., Тимошенко Ю.О. Дослідження прихованості несправностей в обчислювальній системі на базі експериментальної системи впровадження несправностей // Електроніка і звязок, №16, Київ, 2002. С. 53-55.
Розроблена експериментальна система впровадження несправностей та виконаний аналіз прихованості несправностей в обчислювальній системі.
7. Дідковська М.В., Тимошенко Ю.О. Оцінювання надійності програмного забезпечення // Електроніка і звязок, №19, Київ, 2003. С.6-10.
Здійснено аналіз методів оцінювання програмного забезпечення.
8. Didkovska M. Criteria for integration testing of component-based software // Електроніка і звязок, №23, Київ, 2004. С.90-94.
9. Тимошенко Ю.О., Дідковська М.В. Узагальнена модель негомогенного пуасонівського процесу для оцінювання надійності програмного забезпечення // Проблеми програмування №2-3, Київ, 2004. С.480-489.
Запропонована узагальнена модель негомогенного пуасонівського процесу для оцінювання надійності програмного забезпечення. Представлені методи обчислення її параметрів.
10. Дидковская М.В. Метод внедрения неисправностей как элемент технологической безопасности информационных систем // НТУУ КПІ, 2000, ІІ ННПК “Системний аналіз та інформаційні технології”, Київ, 2000. С.146-150.
11. Дидковская М.В., Кобринский С.Ю. Программное внедрение неисправностей как метод оценивания достоверности функционирования вычислительных систем // НТУУ КПІ, 2001, ІІІ МНПК “Системний аналіз та інформаційні технології”, Київ, 2001. С.39-43
Здійснено моделювання методу впровадження несправностей в процесор, проведено дослідження прихованості несправностей та зроблені висновки щодо використання даного методу для оцінювання достовірності функціонування обчислювальних систем.
12. Дидковская М.В. Интеграционное тестирование компонентно-базированного программного обеспечения: критерии, оценки, метод выбора // НТУУ КПІ, 2005, VII МНПК “Системний аналіз та інформаційні технології”, Київ, 2005. С.189.
АНОТАЦІЯ
Дідковська М.В. Методи оцінки та засоби підвищення надійності програмного забезпечення. Рукопис.
Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.06 “Автоматизовані системи управління та прогресивні інформаційні технології” - Національний технічний університет України “Київський політехнічний інститут”, Київ, 2006.
Дисертація присвячена розробці моделей оцінювання і засобів підвищення надійності програмного забезпечення протягом усього життєвого циклу ПЗ, з урахуванням сучасних тенденцій у розробленні і тестуванні ПЗ.
Запропоновано узагальнену модель оцінювання якості програмного забезпечення на основі негомогенного пуасонівського процесу та обчислено її параметри. Функція інтенсивності виявлення несправностей запропонованої моделі враховує процеси навчання та відображає процес проведення тестування. Експериментальним шляхом доведено її працездатність та переваги порівняно з попередньо існуючими моделями оцінювання надійності.
Розроблено нові критерії та метрики інтеграційного тестування ПЗ з урахуванням новітніх тенденцій до компонентно-базованого програмування та з використанням діаграм UML. Зазначені критерії надають можливість розробити плани проведення тестування на ранніх етапах створення ПЗ та дозволяють отримати перелік обєктів та подій, які необхідно протестувати для кожного з запропонованих критеріїв. Цей процес легко автоматизується, що є необхідною складовою загального процесу автоматизації тестування, а також обовязковим компонентом при перевірці якості спроектованого тесту.
Ключові слова: програмне забезпечення, надійність ПЗ, моделі оцінювання надійності ПЗ, тестування ПЗ, інтеграційне тестування ПЗ, критерії та метрики, компонентно-базоване ПЗ, автоматизація тестування.
АННОТАЦИЯ
Дидковская М.В. Методы оценки и средства повышения надежности программного обеспечения. - Рукопись.
Диссертация н