Tools Verify Applications From Executable Models

In BridgePoint 4.0, a software development tool suite, users can create and verify entire applications from executable UML models and translate them automatically into retargetable source code. The suite includes: a model builder for constructing models using the UML notation; a model verifier for interactive, incremental execution that enables users to identify faults early in the software development cycle; and a generator that creates retargetable source code in any programming language using a set of developer-written translation templates. The templates compile the models into the targeted programming language and give the developer control over all characteristics of the generated code. The suite lets developers manage the size and complexity of their applications.