Applying models in your testing process

Information and Software Technology

Volumn 42, Issue 12, 2000, Pages 815-824

  Rosaria, S ^a   Robinson, H ^a  

^a MICROSOFT   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; GRAPH THEORY; MATHEMATICAL MODELS; RANDOM PROCESSES; SOFTWARE ENGINEERING;

GRAPH TRAVERSAL ALGORITHMS; MODEL-BASED TESTING; SOFTWARE RELIABILITY;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

EID: 0034272111     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(00)00125-7     Document Type: Article

References (10)

1. B. Beizer, Software Testing Techniques, 2nd ed. 1990.
2. H. Robinson, Finite state model-based testing on a shoestring, Proceedings of the Software Testing Analysis and Review Conference, San Jose, CA, November 1999.
3. J. Whittaker, Stochastic software testing, Annals of Software Engineering 4 (1997) 115-131.
4. I. El-Far, Automated construction of software behavior models, Masters thesis, Florida Institute of Technology, 1999.
5. N. Nyman, GUI application testing with dumb monkeys, Proceedings of STAR West, 1998.
6. H. Robinson, Graph theory techniques in model-based testing, International Conference on Testing Computer Software, 1999.
7. D. Dill, R. Ho, M. Horowitz, C. Yang, Architecture validation for processors, Proceedings of the 22nd annual International Symposiumon Computer Architecture, 1995.
8. L. Apfelbaum, J. Doyle, Model-based testing, presented at Software Quality Week, 1997.
9. P. Savage, S. Walters, M. Stephenson, Automated test methodology for operational flight programs, presented at IEEE Aerospace Conference, 1997.
10. J. Clarke, Automated test generation from a behavioral model, presented at Software Quality Week, 1998.