The Software Static Analysis Reliability Toolkit

A software reliability model combining static analysis, Bayesian Belief Networks, and code coverage measurement is proposed to estimate the reliability of existing softwar e. Static analysis is used to detect faults within the source co de which may lead to failure. Code coverage is used to determine which paths within the source code are executed as well as how often they execute. Finally, a Bayesian Belief Network is then used to combine these parameters and estimate the resulting software reliability. In order to facili tate the usage of this model, the Software Static Analysis Reliability Toolkit (SoSART) tool is proposed. This tool serves a s both a reliability modeling tool and a bug finding meta tool suitable for comparing the results of different static anal ysis tools. This article discusses the purpose for this tool a s well as the toolset capabilities.

[1]  Michael R. Lyu,et al.  Achieving software quality with testing coverage measures , 1994, Computer.

[2]  Curt Smith,et al.  Experience report on early software reliability prediction and estimation , 1999, Proceedings 10th International Symposium on Software Reliability Engineering (Cat. No.PR00443).

[3]  Yashwant K. Malaiya,et al.  ROBUST: a next generation software reliability engineering tool , 1995, Proceedings of Sixth International Symposium on Software Reliability Engineering. ISSRE'95.

[4]  Swapna S. Gokhale,et al.  SREPT: software reliability estimation and prediction tool , 2000, Perform. Evaluation.

[5]  Laurie A. Williams,et al.  GERT: an empirical reliability estimation and testing feedback tool , 2004, 15th International Symposium on Software Reliability Engineering.

[6]  D. R. Wallace.  Practical software reliability modeling , 2001, Proceedings 26th Annual NASA Goddard Software Engineering Workshop.