A method for software reliability test case design based on Markov chain usage model

Author

Yigang Wang ; Fei Ye ; Xiaodong Zhu ; Caihua Wu

Author_Institution

Maintenance Eng. Inst., Ordnance Eng. Coll., Shijiazhuang, China

fYear

2013

fDate

15-18 July 2013

Firstpage

1207

Lastpage

1210

Abstract

Test case design is a key factor to improve software reliability level. A new method for software reliability test case design based on Markov chain usage model is presented. Construction steps of software Markov chain usage Model based on UML are introduced. Markov chain usage model is described with directed graph. Auto generation arithmetic of reliability test case is proposed to ease the software reliability test in practice. Based on the method, an ATM software reliability test case is designed and demonstrated. The result proves the method in this paper is practical and efficient in engineering practices.

Keywords

Markov processes; Unified Modeling Language; directed graphs; program testing; software reliability; ATM software reliability test case design; UML; auto generation arithmetic; directed graph; software Markov chain usage model; software reliability level improvement; Markov processes; Online banking; Probability; Software; Software reliability; Unified modeling language; UML model; markov chain usage model; software reliability test; software reliability test case;

fLanguage

English

Publisher

ieee

Conference_Titel

Quality, Reliability, Risk, Maintenance, and Safety Engineering (QR2MSE), 2013 International Conference on

Conference_Location

Chengdu

Print_ISBN

978-1-4799-1014-4

Type

conf

DOI

10.1109/QR2MSE.2013.6625785

Filename

6625785