Automated generation of test cases using a performability model
Alberto Avritzer, Edmundo de Souza e Silva, Rosa M. M. Leão, Elaine J. Weyuker · IET Software · 2011
The authors 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 study they extend earlier work by using a performability model to track resource usage and resource failures. Results from the transient Markov chain analysis are used to estimate the software reliability at a given system execution time.