|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Prosasim UML simulator
Prosasim simulator blows life into UML models realizing executable software specifications in practice. Prosasim brings active verification of UML models. Immediately when certain design solution has been invented, it can also be verified with simulation. Prosasim realizes truly iterative development.
Simulator helps in detecting design errors in very early phase, which minimizes the costs of corrective actions. Prosasim presents the real behaviour of the UML model graphically. Simulation raises the effectiveness and the quality of the modeling on a new level, because errors are detected always in the earliest possible phase.
|
Visual verification Prosa Prosasim simulator brings a new direction to verification of software functionality – instead of textual debugging the designer verifies the UML specification on visual level. By this way software development is verified in all phases against customer needs – requirements. This Insoft’s verification strategy is an innovative, new and natural way to make high quality and productive software development. Prosasim is integrated with UML modeler Prosasim is an integrated component of Prosa UML modeler. When user is using Prosasim, he runs the application and in real-time follows the execution in the UML model context. Switching between visual verification and visual specification occurs with single mouse click – this is truly iterative development. |
|
|
Model execution is shown visually
In Prosasim simulator the user selects interactively from UML model those diagrams, which he wants to
simulate. The execution of those parts of the UML model, which have already been simulated and tested,
proceed with full speed. The progress of the execution is animated with a simulator token. The designer
may set breakpoints to critical parts of the model and in breakpoints he has an option to examine and set
attribute values.
C++, C and Java applications Prosasim simulator supports simulation of C++, C and Java applications. Because the simulation is based on native source code, visual model and the developed application will behave exactly in the same way. Programmers workbenches are supported Prosasim is based on open architecture and it can be used with the most popular software workbenches, like Microsoft Visual C++ Studio, Microsoft Visual J++ Studio and Inprise JBuilder. Prosasim can be used also in simulating embedded applications. Prosasim offers excellent configuring possibilities for an advanced user e.g. for analysing test coverage and producing different kind of testing documents. |
|
To the point:
|
Visual testing of UML models|
|
|
|
|
|
