Importance sampling of test cases in Markovian software usage models

Probability in the Engineering and Informational Sciences

Volumn 11, Issue 1, 1997, Pages 19-36

  Gutjahr, Walter J ^a  

^a UNIVERSITY OF VIENNA   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

IMPORTANCE SAMPLING; MARKOV CHAINS; OPTIMIZATION;

ERROR PRONENESS; PRIOR INFORMATION; PROGRAM OPERATION; SOFTWARE USAGE MODELS; SOLUTION TECHNIQUES; STOCHASTIC OPTIMIZATION PROBLEMS; TRANSITION PROBABILITIES; UNBIASED ESTIMATES;

SOFTWARE TESTING;

EID: 0031484862     PISSN: 02699648     EISSN: None     Source Type: Journal    
DOI: 10.1017/s0269964800004642     Document Type: Article

References (17)

1. Asmussen, S. & Rubinstein, R. (1995). Steady state rare event simulation in queuing models and its complexity properties. In J. Dshalalow (ed.), Advances in Queuing: Theory, Methods and Open Problems. Boca Raton, FL: CRC Press.
2. Glynn, P.W. (1994). Importance sampling for Markov chains: Asymptotics for the variance. Communications in Statistics-Stochastic Models 10(4): 701-717.
3. Glynn, P.W. & Iglehart, D.L. (1989). Importance sampling for stochastic simulations. Management Science 35(11): 1367-1392.
4. Gutjahr, W.J. (1995). Optimal test distributions for software failure cost estimation. IEEE Transactions on Software Engineering SE-21: 219-228.
5. Gutjahr, W.J. (1995). Partition testing vs. random testing: The influence of uncertainty. Technical Report, University of Vienna, Vienna.
6. Hamlet, R. & Taylor, R. (1988). Partition testing does not inspire confidence. In Proceedings of the 2nd Workshop on Software Testing, Verification, and Analysis July: 206-215.
7. Heidelberger, P. (1995). Fast simulation of rare events in queuing and reliability models. ACM Transactions on Modeling and Computer Simulation 5(1): 43-85.
8. Kiefer, J. & Wolfowitz, J. (1952). Stochastic estimation of the maximum of a regression function. Annals of Mathematical Statistics 23: 462-466.
9. Ljung, P., Pflug, G., & Walk, H. (1992). Stochastic Approximation and Optimization of Stochastic Systems. Basel: Birkhaus.
10. Rubinstein, R.Y. (1981). Simulation and the Monte Carlo Method. New York: Wiley.
11. Shahabuddin, P. (1994). Fast transient simulation of Markovian models of highly dependable systems. Performance Evaluation 20: 266-286.
12. Walrand, J. (1988). An Introduction to Queuing Networks. New York: Prentice-Hall.
13. Walton, G.H., Poore, J.H., & Trammell, J. (1995). Statistical testing of software based on a usage model. Software-Practice and Experience 25(1): 97-108.
14. Weyuker, E.J. & Ostrand, T.J. (1980). Theories of program testing and the application of revealing subdomains. IEEE Transactions on Software Engineering SE-6: 236-245.
15. Whittaker, J.A. (1992). Markov chain techniques for software testing and reliability analysis. Ph.D. dissertation, University of Tennessee, Knoxville.
16. Whittaker, J.A. & Poore, J.H. (1993). Markov analysis of software specifications. ACM Transactions on Software Engineering and Methodology 2(1): 93-106.
17. Woit, D.M. (1994). Operational profile specification, test case generation, and reliability estimation for modules. Thesis, Queen's University, Kingston, Ontario, Canada.