Корреляция отказов как основа применения модели Маркова для тестирования программного обеспечения
Работая с нашим сайтом, вы даете свое согласие на использование файлов cookie. Это необходимо для нормального функционирования сайта, показа целевой рекламы и анализа трафика. Статистика использования сайта отправляется в «Яндекс» и «Google»
Научный журнал Моделирование, оптимизация и информационные технологииThe scientific journal Modeling, Optimization and Information Technology
Online media
issn 2310-6018

Failure correlation as a basis for applying the Markov model for software testing

Zozulya M.M.,  idKravets O.J.

UDC 004.7
DOI: 10.26102/2310-6018/2021.35.4.016

  • Abstract
  • List of references
  • About authors

The analysis of existing research results of testing failures, software failures during testing should take into account the relevance of software for testing failures using Markov chains with the right to test the model, the development of a multi-purpose algorithm for evaluating a given Markov chain with the correct testing strategy based on failures associated with a state transition strategy based on a matrix of weights of a multi-purpose test. The study aims to develop a set of optimizing software failure testing strategies based on the related failures correlation and controlled Markov chains. In this paper, based on the Markov controlled chain testing model based on correlation failures, a Markov model is proposed, mainly to solve the problem of software testing in a situation of software failures interconnection. The relationship between software modules is quantified to calculate a multi-purpose transfer matrix and assess the interrelationship of associated failures. In the Eclipse Java Integrated Development Environment, the CDT of an open-source project is loaded, for which Java is used for implementation, and in the Eclipse environment, unit testing procedures are used using JUNIT for development. The results show that this strategy, compared with the Markov controlled chain testing strategy, can significantly reduce the number of test cases and increase the speed of failure detection.

1. Kai-Yuan C., Zhao D., Ke L. On Several Issues in Software Reliability Testing. Chinese Journal of Engineering Mathematics. 2008;25(6):967–978.

2. Li Z., Hui G., Shou-Xin W. Software architecture evaluation. Journal of Software. 2008;19(6):1328−1339.

3. Jun-Hao H., Chun H., Zhu-Lin Z. Automatic System Testing Test Case Generation Based on UML. Computer Systems & Applications. 2011;20(2):178–181.

4. Bo Q., Chang-Hai N., Bao-Wen X. Test Case Prioritization Based on Test Suite Design Information. Chinese Journal of Computer. 2008;31(3):431–439.

5. Wei L., Zheng Z., Peng H. et al. Predicate Execution-Sequence Based Fault Localization Algorithm. Chinese Journal of Computer. 2013;36(12):2406–2419.

6. Gao-Chao X., Xin-Zhong L., Liang H., Xiao-Dong F., Yu-Shuang D. Software Reliability Assessment Models Incorporating Software Defect Correlation. Journal of Software. 2011;22(3):439–450.

7. Rothermel G., Untch R.H., Harrold M.T. Prioritizing test cases for regression testing. IEEE Trans. Software Engineering. 2001;27:929–948.

8. Jian Z., Hong-Yu Z., David L. Where should the Bugs be fixed. Proc. of the International Conference on Software Engineering. Zurich: IEEE Computer Society. 2012;14–24.

9. Katerina G.P., Trivedi K.S. Failure correlation in software reliability models. IEEE Trans. on Reliability. 2001;49(1):37–48.

10. Chen S., Mills S. A binary Markov process model for random testing. IEEE Trans. on Software Engineering. 1996;22(3):218–223.

11. Bishop P.G., Pullen F.D. PODS revisited-A study of software failure behaviour. Proc. of the IEEE International Symposium On Fault Tolerant Computing. 1998;2–8.

12. Tao J., Chang-Hai J., De-Bin H., Cheng-Gang B., Kai-Yuan C. An Approach for Detecting Correlated Software Defects. Journal of Software. 2005;18(1):17–28.

13. Chang-Ai S. A Constraint-Based Approach to Identifying and Analyzing Failure-Causing Regions. Journal of Software. 2012;23(7):1688−1701.

14. De-Ping Z., Chang-Hai N., Bao-Wen X. Cross-Entropy Method Based on Markov Decision Process for Optimal Software Testing. Journal of Software. 2008;19(10):2770–2779.

15. Loginova I.A., Dmitrenko Ju.A., Buduluca A.R., Melihov S.A., Zhaljaletdinova Je.I., Shamukova D.R. Primenenie analiza Pareto dlja obespechenija kachestva jelektronnyh sredstv. Pridneprovskij nauchnyj vestnik. 2019;3(4):52–55. (In Russ.)

16. Jin-Xia A., Guo-Qing W., Shu-Fang L., Ji-Hong Z. Dynamic Evaluation Method Based Multi-Dimensional Test Coverage for Software Testing. Journal of Software. 2010;21(9):2135–2147.

Zozulya Mikhail Mikhailovich

Military training and research center of the Air force "air Force Academy named after Professor N. E. Zhukovsky and Yu. a. Gagarin"

Voronezh, Russian Federation

Kravets Oleg Jakovlevich
doctor of technical sciences, professor
Email: csit@bk.ru

WoS | Scopus | ORCID | eLibrary |

Voronezh State Technical University

Voronezh, Russian Federation

Keywords: failure testing, software, controlled Markov model, transfer matrix, weight matrix

For citation: Zozulya M.M., Kravets O.J. Failure correlation as a basis for applying the Markov model for software testing. Modeling, Optimization and Information Technology. 2021;9(4). URL: https://moitvivt.ru/ru/journal/pdf?id=1098 DOI: 10.26102/2310-6018/2021.35.4.016 (In Russ).

474

Full text in PDF

Received 26.11.2021

Revised 02.12.2021

Accepted 08.12.2021

Published 31.12.2021