JUCS - Journal of Universal Computer Science 24(12): 1680-1689, doi: 10.3217/jucs-024-12-1680
A Software Reliability Growth Modeling Framework with Complexity of Path Searching
expand article infoShinji Inoue, Shigeru Yamada§
‡ Kansai University, Takatsuki, Japan§ Tottori University, Tottori, Japan
Open Access
Abstract
We discuss measurement method for software system with the complexity of path searching based on an infinite server queueing theory. Our modeling framework describes concretely the process of the software fault detection by representing on the infinite server queueing system. Additionally, we discuss estimation method of parameters is our model, and derive a few measures for reliability assessment of software systems. Further, we derive several software reliability growth models from our framework. Finally, numerical illustrations based on our specific model, which is obtained from our modeling framework, are given by using actual fault counting-data.
Keywords
reliability assessment, software systems, test cases, path searching time, infinite server system, generalized modeling framework