1. SCSIT
  2. Всі випуски
  3. Випуск 672, 2010
  4. Критерій достатності процесу тестування програмного забезпечення

Критерій достатності процесу тестування програмного забезпечення

SCSIT.
2010;
Випуск 672
: cc. 346 - 358
Authors: 

В. Яковина, М. Сенів, Я. Чабанюк, Д. Федасюк, У. Хімка

Національний університет «Львівська політехніка», кафедра програмного забезпечення,
кафедра обчислювальної математики і програмування

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

The new mathematical model for software reliability with dynamic index of software project size has been developed. The comparative analysis of existing and proposed models using real test examples has been carried out. The criterion of software testing process sufficiency has been formulated on the basis of developed model.

модель надійності
динамічним показником величини програмного проекту
тестування програмного забезпечення
  1. Половко А.М., Гуров С.В. Основы теории надежности. – СПб.: БХВ-Петербург, 2006. – 704 с.
  2. Липаев В.В. Надежность программных средств. – М.: СИНТЕГ, 1998. – 232 с.
  3. Тейер Т., Липов М., Нельсон Э. Надежность программного обеспечения. Пер. с англ. – М.: Мир, 1981. – 323 с.
  4. Goel, A.L. Software reliability models: assumptions, limitations, and applicability. // IEEE Transactions on software engineering. 1985, Vol. SE-11, No 12, pp. 1411-1423.
  5. Cai K.-Y., Hu D.-B., Bai Ch.-G., Hu H., Jing T. Does software reliability growth behavior follow a non-homogeneous Poisson process // Information and Software Technology. – Vol. 50. – 2008. – P. 1232–1247.
  6. Shooman M.L. Probabilistic models for software reliability prediction // in Statistical Computer Performance Evaluation. –W. Freiberger, Ed. – New York: Academic. – 1972. – P. 485–502.
  7. Jelinski Z., Moranda P. Software reliability research // in Statistical Computer Performance Evaluation. – W. Freiberger, Ed. – New York: Academic. – 1972. – P. 465–484.
  8. Schick G.J., Wolverton R.W. Assessment of software reliability // Proc. Oper. Res. – Physica-Verlag. – Wirzberg-Wien. – 1973. – P. 395–422.
  9. Musa J.D. A theory of software reliability and its application // IEEE Transactions on Software Engineering. – SE-1(3). – 1975. – P. 312–327.
  10. Schneidewind N.F. Analysis of Error Process in Computer Software // Sigplan Note. – Vol. 10. – No.6. – 1975. – P.337–346.
  11. Goel A.L., Okumoto K. 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.
  12. Yamada S., Ohba M., Osaki S. S-shaped reliability growth modeling for software error detection // IEEE Transactions on Reliability. – Vol. R-32. – No.5. – 1983. – P. 475–478.
  13. Тимошенко Ю.О., Дідковська М.В. Узагальнена модель негомогенного пуасонівського процесу для оцінювання надійності програмного забезпечення // Проблеми програмування. – № 2–3. – 2004. – С.480–489.
  14. McCabe T.J. A complexity measure // IEEE Transactions on Software Engineering. – Vol. SE-2. – No. 4. – 1976. – P. 308-320.