Model-Based Testing: Black or White?

• Report rights infringement
• published: 22 Aug 2012
• views: 6385

Google Tech Talks August 27, 2007 ABSTRACT Model-based testing can help to reduce the cost of testing and increase its effectiveness. Instead of designing test cases by hand, model-based testing allows a test engineer to automatically generate test cases from a model of the system under test. After a brief overview of model-based testing, this talk will compare two different kinds of test model: black-box models and white-box models. Black-box models are easier for programmers to write and tools to use, while white-box models require more sophisticated notations and modelling skills, but can allow more sophisticated test generation. These two styles of models will be illustrated by using two different model-based testing tools to test some example applications, such as a web-based library system. An open-source tool, ModelJUnit, will be used to illustrate test generation from several black-box test models written in Java. A commercial tool, LEIRIOS Test Designer, will be used to illustrate test generation from white-box test models written in UML Speaker: Mark Utting Mark Utting has been developing and using model-based testing tools since 2000. Recently, he co-authored the first industry-oriented book specifically on model-based testing, and developed the open-source ModelJUnit tool to illustrate some of the techniques in the book. He has also been a consultant for the design of commercial model-based testing tools, such as the LEIRIOS Test Designer from LEIRIOS Technologies. Dr Utting works as an associate professor in the Department of Computer Science at The University of Waikato, New Zealand. Prior to this, he worked as an analyst/programmer in the Australian software industry for several years and as a postdoctoral researcher on theorem proving and real-time refinement. His PhD was in the area of refinement calculus techniques for object-oriented programs. He is a member of the IFIP Working Group 2.3 on Programming Methodology. Home page: http://www.cs.waikato.ac.nz/~marku Google engEDU Speaker: Mark Utting