Automated Test Generation and Execution

Telelogic® Tau® is a Model Driven Development (MDD) environment for developing complex systems and applications, and an ideal environment for iterative model-based testing. Telelogic Tau's architectural approach means that the model is the application; therefore when testing the model, you are also testing the application.

Test Against Requirements

Telelogic Tau supports automated and on-demand error checking and simulation, plus the ability to develop tests in parallel with the system, offering you:

• Tests and a system derived from the same requirements
• Support for design simulation through executable models
• A Telelogic Tau / Telelogic® DOORS® integration for a requirements-driven testing workflow

Model-based Testing and Test Case Generation

Telelogic Tau provides a structure to specify tests in UML® 2.0, with support for the UML Testing Profile, developed by the Object Management Group (OMG).

This capability brings the following key features to Telelogic Tau:

• Graphical test specification in UML
• Automatic creation of test specifications from model elements
• Generation of executable test models from test specifications
• Test execution (both in interactive and batch mode)
• Logging

Model-based Validation and Quality Testing

Telelogic® Tau Explorer Add On™ is an optional capability that complements Telelogic Tau's model execution, enabling you to perform automated quality assurance on your designs at a higher level of abstraction. Errors and inconsistencies are found before they are coded - while they are still easy and inexpensive to correct.