In the sequel of this tutorial ATG is an acronym for Automatic Test Generator and stands for IBM® Rational® Rhapsody® Automatic Test Generation Add On. TestConductor stands for IBM® Rational® Rhapsody® TestConductor Add On.
Overview
Brief overview about the structure of the tutorial.
Motivation
A brief overview about model based development and a model based testing approach.
Requirements
Basic requirement specification defining the calculator to be implemented and tested.
Specification Model
Description of the specification model built according to the requirements.
Test Model
Building test models can be used to complement and complete and possibly replace traditional test plans.
Implementation
In this tutorial, we assume that the implementation has been created entirely independent from Rhapsody. The implementation consists of one C++ class.
Implementation Wrapper
The implementation is instantiated in the Rhapsody model. A class for instantiating the implementation is used, such that executing this model executes the implementation with an interface to Rhapsody animation. The implementation wrapper instantiates the implementation within Rhapsody with identical interfaces as the specification model.
Testing the Implementation
Transformation of test cases for application on the implementation and execution of generated test cases on the implementation.