| - TestCast MBT Modeler or
- 3rd party UML CASE tool
- Rhapsody
- Enterprise Architect
- Rational Software Architect
- UML state machine
- Java as action language
|
| - Requirements, use case, and model structural coverage
- Integration to test management tools (HP Quality Center)
- Generates
- human-readable test plans and test cases
- coverage and dependency matrices
- executable TTCN-3 test scripts
|
| - TTCN-3 test cases execution and runtime verification
- Built-in codecs (ASN.1 BER, PER; binary; XML; textual
- Graphical logging (MSC)
- Easy integration to 3rd party test execution environments
|
| - Track failures back to system model and requirements
- Model-level graphical debugger
- TTCN-3 debugger
|
