Reactis relies on the use of structural coverage criteria to generate test data automatically.
The tool also includes features that allow users to influence the test data that is created.
User-defined targets provide support for automating functional and requirement-based testing.
To use this feature of Reactis, users first instrument their models with descriptions of abstract test scenarios that Reactis should create concrete test data...
preview:
http://www.reactive-systems.com
7/8/2004
