LDRA and MathWorks have integrated the LDRA tool suite with Simulink modelling tools. The integration offers independent verification and full traceability of all artifacts – whether requirements, model elements, or tests – throughout all phases of the lifecycle. The companies state that the integrated tools minimize the time and cost of achieving standard compliance.
LDRA and MathWorks have integrated testing capabilities as well, ensuring that unit tests developed in the Simulink environment can be leveraged and reused by the LDRA tool suite. The purpose behind the integration is to save development teams time and reduce potential errors and costs associated with developing a second set of unit tests. Additionally, LDRA’s TBeXtreme provides automatic test case generation from source code analysis only, increasing system testing productivity.
Model- and hand-generated code are verified within one solution that tailors the project requirements, processes and application artifacts according to the guidelines of DO-178B/C, IEC 62304, ISO 26262, IEC 61508 or whatever industry standard must be achieved.
Together, Simulink and the LDRA tool suite create instrumented code that can be built using the selected compiler and executed via the LDRA tool suite. The LDRA tool suite provides full code coverage whether statement, branch or decision, linear code sequence and jump (LCSAJ), or modified condition/decision coverage (MC/DC) of code created from Simulink models and hand-written code. Data values used to exercise the model in simulated environments can be leveraged to test the generated code for SIL (software-in-the-loop) and PIL (processor-in-the-loop) on the target as well as generating additional tests through LDRA’s unit test facility. Output, presented in textural and graphical forms, indicates coverage both as absolute values and in relation to a set of limits that may be required by a standards body, such as the DO-178.
LDRA and MathWorks launched the integrated product in onsite seminars at the Johnson and Kennedy Space Centers. The seminars, which will be presented over the next months to various target industries, examine the verification and validation of generated code. Best practices such as reusing artifacts, requirements-based testing, traceability from model elements to code and independent verification of the model, are examined. The seminar then applies these concepts to standards enforcement whether it be coding standards such as MISRA C or industry standards such as DO-178B/C, IEC 61508, IEC 62304 or ISO 26262.
LDRA states that this integration enables verification and validation engineers to prove that the functionality of the executable code not only meets the design criteria, but that the underlying code is also sufficiently exercised in terms of the specific standard they must meet.
For more information visit Boston ESC Booth #420, go to www.ldra.com, or email .
Toni McConnel covers new products in the embedded systems industry and is a partner in the technical writing team TechRite Associates. She can be reached at .