Research Seminar - December 11, 2003

Uniform Approach to Testing

Abstract:

In this talk a framework which uses linear time temporal logic and model checking techniques to facilitate automated model-based testing techniques will be presented. While model-checking ideas are used, a model of the system is not actually required. Test sequences are directly generated from the specification of properties.

Practical issues such as action words, and coverage requirements motivate the framework. Features of tools that support the development of tests using this approach will also be presented.