Software testing requires the use of a model to guide such efforts as test selection and test verification. Often, such models are implicit, existing only in the head of a human tester, applying test inputs in an ad hoc fashion. The mental model testers build encapsulates application behavior, allowing testers to understand the application’s capabilities and more effectively test its range of possible behaviors. When these mental models are written down, they become sharable, reusable testing artifacts. In this case, testers are performing what has become to be known as model-based testing. Model-based testing has recently gained attention with the popularization of models in software design and development. There are a number of models of software in use today, a few of which make good models for testing.

Download PDF

References

1. Apfelbaum, L. and Doyle, J., Model based testing. Proceedings of the 10th International Software Quality Week, May 1997.
2. Binder, R. V., Testing object-oriented systems: models, patterns, and tools. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 1999.
3. . El-Far, I. K. and Whittaker, J. A., Model-based software testing. Encyclopedia of Software Engineering, Marciniak, J. J., editor. John Wiley & Sons, Inc., 2001.
4. Hartman, A., Adaptation of model based testing to industry (presentation slides). Agile and Automated Testing Seminar, Tampere University of Technology, Tampere, Finland, August 2006.
5. Rosaria, S. and Robinson, H., Applying models in your testing process. Information and Software Technology, 42,12(2000), pages 815–824.
6. Veanes, M., Campbell, C., Schulte, W. and Kohli, P., On-the-fly testing of reactive systems. Technical Report MSR-TR-2005-05, Microsoft Research, January 2005.
7. Zhen R. D., Model-driven testing with UML 2.0. Proceedings of Second European Workshop on Model Driven Architecture, Akehurst, D. H., editor, University of Kent at Canterbury, United Kingdom, August 2004.

Back