Scientific and Technical Journal


ISSN Print 2221-3937
ISSN Online 2221-3805

The software development industry has grown over the last few decadesat an unprecedented pace. Software are used in in all areas of human life and become more complex. In this regard, the importance of software reliability analysis considering its structure and complexity is of growing interest. In this paper, the models of software reliability based on Markov process are discussed. To increase the degree of adequacy of real objects, new mathematical models of software reliability based on continuous time higher-order Markov chains were constructed, one of them takes into accountthe software interfaces failures. These models can be used depending on the complexity of the software. The considered improved mathematical models for software reliability assessment,due to higher-order Markov chains usage, allow consideringthe interdependent modules execution states.The latter enhances the adequacy of these models in the case of a multi-component system with complex executionscenarios. Littlewood reliability model was adopted for higher-order process and ways on determining the failure probability of software interface was discussed.

  1. PeledD.A., (2001), Software Reliability Methods, Springer-Verlag New York Berlin Heidelberg, 343 р. (InEnglish). DOI 10.1007/978-1-4757-3540-6

2. BobaloYu.Ya., BolochiyB.Yu., LozynskyyO.Yu., MandziyB.A., OzirkovskyyL.D., FedasyukD.V., ShcherbovskykhS.V., andYakovynaV.S. Matematychnimodelitametodyanalizunadijnostiradioelektronnykh, elektrotekhnichnykhtaprogramnychsystem [MathematicalModelsandMethodsforElectronic, ElectricalandSoftwareSystemsReliabilityAnalysis], (2013), Lviv,Ukraine,LvivPolytechnicPublishingHouse, 300 с. (InUkrainian).

3. Pham Hoang, and Pham Michelle, (1991), “SoftwareReliabilityModelsforCriticalApplications”,IdahoNationalEngineering Laboratory,EG&G–2663(In English).

4. Rahmani M., and Azadmanesh A., (2008), “Exploitation of Quantitative Approaches to Software Reliability”, University of Nebraska at Omaha, Technical Report No. cst-2011-002(In English).

5. Swapna S. Gokhale, W. Eric Wong, J.R. Horgan, Kishor S. Trivedi, (2004), An Analytical Approach to Architecture-based Software Performance Reliability Prediction, Performance Evaluation 58, pp. 391 – 412 (In English). DOI:10.1016/j.peva.2004.04.003

6. Bochmann G. V., Jourdan G.-V., and Bo Wan, (2011), Improved Usage Model for Web Application Reliability Testing. In: B. Wolff and F. Zaidi (Eds.): ICTSS 2011, LNCS 7019, pp. 15 – 31 (In English). DOI 10.1007/978-3-642-24580-0

7. Yakovyna V., Fedasyuk D., Nytrebych O., Parfenyuk I., and Matselyukh V., (2014), Software Reliability Assessment Using High-Order Markov Chains, International Journal of Engineering Science Invention, Vol. 3(7), pp. 1 – 6 (In English). Url:

8. Yakovyna V., Nytrebych O., and Fedasyuk D., (2013), The Representation of High Order Markov Process Through Equivalent First Order Process, Proc. of the 6th Int. Acad. Conf. of Young Scientists “Computer Science and Engineering 2013” (CSE-2013), Lviv, Ukraine, 21-23 November, pp. 216 – 217 (In English).

9. Littlewood B., (1975), A Reliability Model for Systems with Markov Structure, Appl. Statist., Vol. 24, No. 2, pp. 172 – 177 (in English). DOI: 10.2307/2346564.

10. Yakovyna V., and Nytrebych O., (2015), Discrete and Continuous Time High-Order Markov Models for Software Reliability Assessment. In: Batsakis, S. et al. (eds.), Proc. 11-th Int. Conf. ICTERI 2015, Lviv, Ukraine, May 14-16, 2015, 1356, ISSN 1613-0073, pp. 419 – 431 (In English).


Last download:
28 Nov 2019

[ © KarelWintersky ] [ All articles ] [ All authors ]
[ © Odessa National Polytechnic University, 2014-2018. Any use of information from the site is possible only under the condition that the source link! ]