LDRA, provider of automated software verification, source code analysis, and test tools, has integrated the LDRA tool suite with the IBM Rational Rose RealTime model-driven development environment.
LDRA said that the integration introduces LDRA’s code quality analysis and code coverage techniques into the domain of model-driven development (MDD) using Unified Modeling Language (UML). The LDRA tool suite supports the analysis, instrumentation, and testing of both auto-generated and user-created source code both from within the Rose RealTime user interface or the LDRA development environment.
In addition, the integration creates a platform that allows models to be checked against coding standards such as MISRA, to be analysed for quality problems, and to be instrumented at the source code level.
According to LDRA, it produces code review, quality review and coverage overview reports that attach to the UML component, ensuring that analysis and testing can be carried out from within the Rose RealTime development environment. Alternatively, the generated source code can be automatically loaded into the LDRA tool suite, allowing a range of analysis techniques to be applied or unit testing to be executed.
The integration of the LDRA tool suite with the IBM Rational Rose RealTime development environment has been written and tested using IBM Rational Rose RealTime v7.0. The integration leverages the makefile and source code structures generated under a UML component so that, while these structures remain unchanged, the integration is forward and backward compatible, the company said.
