doi: 10.17586/2226-1494-2016-16-4-655-662


A. D. Khomonenko, A. I. Danilov, A. A. Danilov

Read the full article  ';
Article in Russian

For citation: Khomonenko A.D., Danilov A.I., Danilov A.A. Dynamic software testing models with probabilistic parameters for fault detection and Erlang distribution for fault resolution duration. Scientific and Technical Journal of Information Technologies, Mechanics and Optics, 2016, vol. 16, no. 4, pp. 655–662. doi: 10.17586/2226-1494-2016-16-4-655-662


Subject of Research.Software reliability and test planning models are studied taking into account the probabilistic nature of error detection and discovering. Modeling of software testing enables to plan the resources and final quality at early stages of project execution. Methods. Two dynamic models of processes (strategies) are suggested for software testing, using error detection probability for each software module. The Erlang distribution is used for arbitrary distribution approximation of fault resolution duration. The exponential distribution is used for approximation of fault resolution discovering. For each strategy, modified labeled graphs are built, along with differential equation systems and their numerical solutions. The latter makes it possible to compute probabilistic characteristics of the test processes and states: probability states, distribution functions for fault detection and elimination, mathematical expectations of random variables, amount of detected or fixed errors. Evaluation of Results. Probabilistic characteristics for software development projects were calculated using suggested models. The strategies have been compared by their quality indexes.  Required debugging time to achieve the specified quality goals was calculated. The calculation results are used for time and resources planning for new projects. Practical Relevance. The proposed models give the possibility to use the reliability estimates for each individual module. The Erlang approximation removes restrictions on the use of arbitrary time distribution for fault resolution duration. It improves the accuracy of software test process modeling and helps to take into account the viability (power) of the tests. With the use of these models we can search for ways to improve software reliability by generating tests which detect errors with the highest probability.

Keywords: model, software, error, probability, Erlang distribution


1. Smagin V.A. Osnovy Teorii Nadezhnosti Programmnogo Obespecheniya [Fundamentals of Software Reliability Theory]. St. Petersburg, Military Space academy named A.F. Mozhaisky, 2009, 355 p.
2. Bubnov V.P., Safonov V.I. Razrabotka Dinamicheskikh Modelei Nestatsionarnykh Sistem Obsluzhivaniya [Dynamic Modeling of Non-Stationary Service Systems]. St. Petersburg, Lan' Publ., 1999, 64 p.
3. Danilov A.I., Danilov A.A. Nonstationary models of software testing processes under risk. II Vseros. Nauch.-Prakt. Konf. Sovremennye Problemy Sozdaniya i Ekspluatatsii Vooruzheniya, Voennoi i Spetsial'noi Tekhniki. St. Petersburg, 2014, pp. 199–202. (In Russian)
4. Khomonenko A.D., Danilov A.I., Danilov A.A. Non-stationary models of software testing strategies with probabilistic parameters for fault detection. Informatsionno-Upravlyayushchie Sistemy, 2015, no. 4, pp. 50–58. (In Russian)
5. Khomonenko A.D., Danilov A.I., Danilov A.A. Dynamic models of software testing. 18 Mezhdunarodnaya Konferentsiya po Myagkim Vychisleniyam i Izmereniyam. St. Petersburg, 2015, vol. 1, pp. 239–242. (In Russian)
6. Danilov A.I., Danilov A.A. Dynamic software testing models with two error types. Proceedings of the Military Space academy named after A.F. Mozhaisky, 2015, no. 647, pp. 12–21.
7. Moranda P., Jelinski Z. Final Repot on Software Reliability Study. McDonnell Douglas Astronautics Company, MADC Report Number 63921, 1972.
8. Musa J.D., Iannino A., Okumoto K. Software Reliability: Measurement, Prediction, Application. NY, McGraw-Hill, 1987.
9. Littlewood B. The Littlewood-Verrall model for software reliability compared with some rivals. Journal of Systems and Software, 1980, vol. 1, no. 3, pp. 251–258. doi: 10.1016/0164-1212(79)90025-6
10. Chidamber S.R., Kemerer C.F. A metrics suite for object oriented design. IEEE Transactions on Software Engineering, 1994, vol. 20, no. 6, pp. 476–493. doi: 10.1109/32.295895
11. El Emam K., Melo W., Machado J.C. The prediction of faulty classes using object-oriented design metrics. Journal of Systems and Software, 2001, vol. 56, no. 1, pp. 63–75.
12. Basili V.R., Briand L.C. A validation of object-oriented design metrics as quality indicators. IEEE Transactions on Software Engineering, 1996, vol. 22, no. 10, pp. 751–761. doi: 10.1109/32.544352
13. Bubnov V.P., Tyrva A.V., Burtseva K.I. Non-stationary software reliability model with Coxian distribution of errors detection time interval lengths. Vestnik VElNII, 2010, no. 1, pp. 143–152. (In Russian)
14. Cox D.R. A use of complex probabilities in the theory of stochastic processes. Mathematical Proceedings of the Cambridge Philosophical Society, 1955, vol. 51, no. 2, pp. 313–319. doi: 10.1017/S0305004100030231
15. Khomonenko A.D., Bubnov V.P. Use of Coxian distribution for iterative solution of M/G/n/R≤∞ queueing systems. Problems of Control and Information Theory, 1985, vol. 14, no. 2, pp. 143–153.

Creative Commons License

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License
Copyright 2001-2024 ©
Scientific and Technical Journal
of Information Technologies, Mechanics and Optics.
All rights reserved.