BridgePoint Verifier
The BridgePoint Verifier executes models by interpreting the model without generating code. Testing can continue with generated code, but Verifier runs as an "Executable UML virtual machine." Execution is platform independent.
Verifier can run a model having only one activity with a single line of action language. Testing starts from the very beginning of model development. The user interface is consistent with conventional code debuggers and mirrors the EDGE code debugger.
Verifier allows the user to view an application's concurrency in action with animated state machines.
Product Highlights
BridgePoint Verifier features include:
- Instantaneous execution of UML models
- Intuitive debugging in a familiar modeling environment
- Interactive, iterative development
- Visualization of model execution through animation
- Platform-independent test bed for UML models
- Interface to existing code
- Eclipse and Open Integration
See your application’s concurrency in action with animated state machines.
Test your models immediately, on the day you start building them, and keep testing them as you add capabilities. There is no need to wait for code generation, compilation, or linking. You can execute a single line of action language, one state machine, a complete application model. By executing key use cases , you can quickly get feedback from stakeholders and ensure that you build the right product.