A Software Reliability Growth Modeling Framework with Complexity of Path Searching

Shinji Inoue (Kansai University, Japan)

Shigeru Yamada (Tottori University, Japan)

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: generalized modeling framework, infinite server system, path searching time, reliability assessment, software systems, test cases

Categories: D.2