The automated generation of test cases using an extended domain based reliability model

We present a new approach for the automated generation of test cases to be used for demonstrating the reliability of large industrial mission-critical systems. In this paper we extend earlier work by adding failure tracking and transient Markov chain analysis. Results from the transient Markov chain analysis are used to estimate the software reliability at a given system execution time.

[1]  Pierre Semal,et al.  Bounds for the Positive Eigenvectors of Nonnegative Matrices and for their Approximations by Decomposition , 1984, JACM.

[2]  Jeff Tian,et al.  Measuring and Modeling Usage and Reliability for Statistical Web Testing , 2001, IEEE Trans. Software Eng..

[3]  Michael O. Ball,et al.  Computational Complexity of Network Reliability Analysis: An Overview , 1986, IEEE Transactions on Reliability.

[4]  Denise M. Woit.  A framework for reliability estimation , 1994, Proceedings of 1994 IEEE International Symposium on Software Reliability Engineering.

[5]  Alberto Avritzer,et al.  Load testing software using deterministic state testing , 1993, ISSTA '93.

[6]  Bojan Cukic,et al.  Early reliability assessment of UML based software models , 2002, WOSP '02.

[7]  Huowang Chen,et al.  UML Based Statistical Testing Acceleration of Distributed Safety-Critical Software , 2004, ISPA.

[8]  Elaine J. Weyuker,et al.  Reliability Testing of Rule-Based Systems , 1996, IEEE Softw..

[9]  James A. Whittaker,et al.  A Markov Chain Model for Statistical Software Testing , 1994, IEEE Trans. Software Eng..

[10]  David Costello,et al.  Reliability estimation for large distributed software systems , 2008, CASCON '08.

[11]  Elaine J. Weyuker,et al.  The Automatic Generation of Load Test Suites and the Assessment of the Resulting Software , 1995, IEEE Trans. Software Eng..

[12]  Ana Paula Couto da Silva,et al.  Modeling, analysis, measurement and experimentation with the Tangram-II integrated environment , 2006, valuetools '06.

[13]  Algirdas Avizienis,et al.  On the Achievement of a Highly Dependable and Fault-Tolerant Air Traffic Control System , 1987, Computer.