Software dependability evaluation based on Markov usage models

Performance Evaluation

Volumn 40, Issue 4, 2000, Pages 199-222

  Gutjahr, Walter J ^a  

^a UNIVERSITY OF VIENNA   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

MARKOV PROCESSES; MATHEMATICAL MODELS; OPTIMIZATION; PROBABILITY; RELIABILITY; STATISTICAL TESTS;

IMPORTANCE SAMPLING; SOFTWARE DEPENDABILITY; SOFTWARE TESTING;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0033886199     PISSN: 01665316     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0166-5316(99)00052-8     Document Type: Article

References (27)

1. Avritzer A., Weyuker E.J. The automatic generation of load test suites and the assessment of the resulting software. IEEE Trans. Software Engrg. SE-21:1995;705-716.
2. A. Bertolino, L. Strigini, Acceptance criteria for critical software based on testability estimates and test results, in: E. Schoitsch (Ed.), SAFECOMP'96, Proceedings of the 15th International Conference on Computer Safety, Reliability and Security, Springer, Berlin, 1997, pp. 83-94.
3. Eckhardt D.E., Lee L.D. A theoretical basis for the analysis of multiversion software subject to coincident errors. IEEE Trans. Software Engrg. SE-11:1985;1511-1517.
4. W.D. Ehrenberger, Combining probabilistic and deterministic verification efforts, in: H. Frey (Ed.), Proceedings of the SAFECOMP'92, Pergamon Press, Oxford, 1992, pp. 299-304.
5. Glynn P.W., Iglehart D.L. Importance sampling for stochastic simulations. Management Sci. 35(11):1989;1367-1392.
6. Gutjahr W.J. Optimal test distributions for software failure cost estimation. IEEE Trans. Software Engrg. SE-21:1995;219-228.
7. W.J. Gutjahr, Failure risk estimation via Markov software usage models, in: E. Schoitsch (Ed.), SAFECOMP'96, Proceedings of the 15th International Conference on Computer Safety, Reliability and Security, Springer, Berlin, 1997, pp. 183-192.
8. Gutjahr W.J. Importance sampling of test cases in Markovian software usage models. Prob. Eng. Informat. Sci. 11:1997;19-26.
9. R. Hamlet, R. Taylor, Partition testing does not inspire confidence, Proceedings of the Second Workshop on Software Testing, Verification, and Analysis, July 1988, 1988, pp. 206-215.
10. Heidelberger P. Fast simulation of rare events in queuing and reliability models. ACM Trans. Modeling Comput. Simul. 5(1):1995;43-85.
11. J.-C. Laprie, Dependability - its attributes, impairments and means, in: B. Randell, J.-C. Laprie, H. Kopetz, B. Littlewood (Eds.), Predictably Dependable Computing Systems, Springer, Berlin, 1995, pp. 3-24.
12. P. Ljung,G. Pflug, H. Walk, Stochastic Approximation and Optimization of Stochastic Systems, Birkhauser, Basel, 1992.
13. K.G. Murty, Linear Complementary, Linear and Nonlinear Programming, Heldermann, 1988.
14. Musa J.D. Operational profiles in software reliability engineering. IEEE Software. 10:1993;14-32.
15. R.Y. Rubinstein, Simulation and the Monte Carlo Method, Wiley, New York, 1981.
16. Shahabuddin P. Fast transient simulation of Markovian models of highly dependable systems. Performance Evaluation. 20:1994;266-286.
17. S.A. Sherer, Software Failure Risk, Plenum Press, New York, 1992.
18. Sherer S.A. Statistical software testing using economic exposure assessments. Software Eng. J. 11:1996;293-298.
19. P. Thévenod-Fosse, From random testing of hardware to statistical testing of software, Proceedings of the IEEE COMPEURO '91, 1991, pp. 200-207.
20. P. Thévenod-Fosse, H. Waeselynck, Y. Crouzet, Software statistical testing, in: B. Randell, J.-C. Laprie, H. Kopetz, B. Littlewood (Eds.), Predictably Dependable Computing Systems, Springer, Berlin, 1995, pp. 253-272.
21. Trivedi K.S., Muppala J.K., P. Woolet St., Haverkort B.R. Composite performance and dependability analysis. Performance Evaluation. 14:1992;197-215.
22. Walton G.H., Poore J.H., Trammell J. Statistical testing of software based on a usage model. Software - Practice and Experience. 25(1):1995;97-108.
23. Weyuker E.J., Ostrand T.J. Theories of program testing and the application of revealing subdomains. IEEE Trans. Software Engrg. SE-6:1980;236-245.
24. Weyuker E.J. Using failure cost information for testing and reliability assessment. ACM Trans. Software Engrg. Methodol. 5:1996;87-98.
25. J.A. Whittaker, Markov chain techniques for software testing and reliability analysis, Ph.D. dissertation, University of Tennessee, 1992.
26. Whittaker J.A., Poore J.H. Markov analysis of software specifications. ACM Trans. Software Engrg. Methodol. 2(1):1993;93-106.
27. D.M. Woit, Operational profile specification, test case generation, and reliability estimation for modules, Thesis, Queen's University, Kingston, Ont., Canada, 1994.