ПОБУДОВА І ДОСЛІДЖЕННЯ МОДЕЛІ НАДІЙНОСТІ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ З ІНДЕКСОМ ВЕЛИЧИНИ ПРОЕКТУ

Автор(и)

  • Ярослав Михайлович Чабанюк Національний університет "Львівська політехніка"
  • Віталій Степанович Яковина Національний університет "Львівська політехніка"
  • Дмитро Васильович Федасюк Національний університет "Львівська політехніка"
  • Максим Михайлович Сенів Національний університет "Львівська політехніка"
  • Уляна Теодорівна Хімка Національний університет "Львівська політехніка"

Ключові слова:

Надійність програмного забезпечення, неоднорідний пуассонів процес, тестування програмного забезпечення, індекс величини проекту

Анотація

Побудовано нову математичну модель надійності програмного забезпечення з динамічним показником величини програмного проекту. Проведено порівняльний аналіз існуючих та розробленої моделей на реальних тестових прикладах.

Біографії авторів

Ярослав Михайлович Чабанюк, Національний університет "Львівська політехніка"

Доктор фізико-математичних наук, професор кафедри обчислювальної математики та програмування Національного університету "Львівська політехніка". Наукові інтереси: стохастична оптимізація в середовищах з марковськими та напівмарковськими переключеннями

Віталій Степанович Яковина, Національний університет "Львівська політехніка"

Кандидат фізико-математичних наук, доцент кафедри програмного забезпечення Національного університету "Львівська політехніка".  Наукові інтереси: надійність та безпека програмного забезпечення.

Дмитро Васильович Федасюк, Національний університет "Львівська політехніка"

Доктор технічних наук, проректор Національного університету "Львівська політехніка", кафедра програмного забезпечення. Наукові інтереси: автоматизація теплового проектування мікроелектронних систем, технології створення програмного забезпечення.

Максим Михайлович Сенів, Національний університет "Львівська політехніка"

Асистент кафедри програмного забезпечення Національного університету "Львівська політехніка". Наукові інтереси: оцінка надійності програмного забезпечення.

Уляна Теодорівна Хімка, Національний університет "Львівська політехніка"

Асистент кафедри програмного забезпечення Національного університету "Львівська політехніка". Наукові інтереси: стохастична оптимізація в марковському середовищі.

Посилання

Половко А.М., Гуров С.В. Основы теории надежности. – СПб.: БХВ-Петербург, 2006. – 704 с.

Липаев В.В. Надежность программных средств. – М.: СИНТЕГ, 1998. – 232 с.

Тейер Т., Липов М., Нельсон Э. Надежность программного обеспечения. Пер. с англ. – М.: Мир, 1981. – 323 с.

Казарин О.В. Теория и практика защиты программ. – М.:МГУЛ, 2004. – 450 с.

K.-Y. Cai, D.-B. Hu, Ch.-G. Bai, H. Hu, T. Jing Does software reliability growth behavior follow a nonhomogeneous Poisson process // Information and Software Technology. – Vol. 50. – 2008. – P. 1232 – 1247.

M.L. Shooman Probabilistic models for software reliability prediction // in Statistical Computer Performance Evaluation. – W. Freiberger, Ed. – New York: Academic. – 1972. – P. 485 – 502.

Z. Jelinski and P. Moranda Software reliability research // in Statistical Computer Performance Evaluation. – W. Freiberger, Ed. – New York: Academic. – 1972. – P. 465 – 484.

G.J. Schick and R.W. Wolverton Assessment of software reliability // Proc. Oper. Res. – Physica-Verlag. – Wirzberg-Wien. – 1973. – P. 395 – 422.

J.D. Musa. A theory of software reliability and its application // IEEE Transactions on Software Engineering. – SE-1(3). – 1975. – P. 312 – 327.

N.F. Schneidewind Analysis of Error Process in Computer Software // Sigplan Note. – Vol. 10. – No.6. – 1975. – P. 337 – 346.

A.L. Goel, K. Okumoto Time-Dependent Error-Detection Rate Model for Software and other Performance Measures // IEEE Transactions on Reliability. – Vol. R-28. – No. 3. – 1979. – P. 206 – 211.

S. Yamada, M. Ohba, S. Osaki S-shaped reliability growth modeling for software error detection // IEEE Transactions on Reliability. – Vol. R-32. – No.5. – 1983. – P. 475 – 478.

Тимошенко Ю.О., Дідковська М.В. Узагальнена модель негомогенного пуасонівського процесу для оцінювання надійності програмного забезпечення // Проблеми програмування. – № 2–3. – 2004. – С. 480 – 489.

McCabe T.J. A complexity measure // IEEE Transactions on Software Engineering. – Vol. SE-2. – No. 4. – 1976. – P. 308 – 320.

##submission.downloads##

Номер

Розділ

ТЕСТУВАННЯ, ВАЛІДАЦІЯ ТА ВЕРИФІКАЦІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ