Model-Driven Test Cases Design : Tutorial Jeff Offutt, PhD
Overview
This tutorial will teach the model-driven test process, how to design criteria-based tests from abstract structures that model software artifacts, and how to use these tests to efficiently and effectively evaluate the quality of software. The course will be based on the instructor’s book, Introduction to Software Testing, Cambridge University Press, 2008, ISBN 0-52188-038-1, 2008. Slides and other materials are available on the book website: http://www.cs.gmu.edu/~offutt/softwaretest/
Tutorial Objectives On successful completion of this tutorial, the participant should be able to:
- Design high quality tests for software at various levels of abstraction
- Differentiate between criteria-driven test design, manual test design, test automation, test execution, and test evaluation
- Apply common test criteria to complicated software testing problems in domains such as embedded and distributed applications
- Create abstract models of software artifacts that are useful for designing tests
Topics Covered
Introduction and Overview
- An overview of software testing, motivation and why we test
- The model-driven test process
- Coverage criteria
- Powerpoint slides adapted from the instructor’s textbook website, Ch 1 in Introduction to Software Testing
Deriving Test Cases from Graphs
- Graphs and graph-based test coverage criteria
- Deriving graphs from source code
- Deriving graphs from finite state machines
- Deriving graphs from use cases
Deriving Test Cases from Logical Expressions
- Logical expressions and logic-based test criteria
- Deriving logical expressions from specifications Deriving logical expressions from finite state machines
Challenges in Software Testing
- Test criteria and the future of software testing
- Open testing research problems
|