CONSTRUCTION AND RESEARCH SOFTWARE RELIABILITY MODEL WITH INDEX OF THE PROJECT SIZE

Authors

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

Keywords:

Software reliability, heterogeneous Poisson process, software testing, index of project size

Abstract

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.

Author Biographies

Ярослав Михайлович Чабанюк, National University "Lviv Polytechnic"

Doctor of Sciences, Professor of Computational Mathematics and Programming Department of the National University "Lviv Polytechnic". Scientific interests: stochastic optimization in environments with Markov and semi-Markov switching.

Віталій Степанович Яковина, National University "Lviv Polytechnic"

PhD., Associate Professor of Software Department of the National University "Lviv Polytechnic". Scientific interests: reliability and security software.

Дмитро Васильович Федасюк, National University "Lviv Polytechnic"

Doctor of Sciences, Rector of the National University "Lviv Polytechnic", Software Department. Scientific interests: automation of thermal design of microelectronic systems technology software development.

Максим Михайлович Сенів, National University "Lviv Polytechnic"

Assistant of Software Department of the National University "Lviv Polytechnic". Scientific interests: software reliability assessment.

Уляна Теодорівна Хімка, National University "Lviv Polytechnic"

Assistant of Software Department of the National University "Lviv Polytechnic". Scientific interests: stochastic optimization in Markov environments.

References

Половко А.М., Гуров С.В. Основы теории надежности. – СПб.: БХВ-Петербург, 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.

Downloads

Issue

Vol. 1 No. 1 (2010)

Section

SOFTWARE TESTING, VALIDATION AND VERIFICATION