Global Sources
EE Times-Asia
Stay in touch with EE Times Asia
EE Times-Asia > Embedded

Tool suite upgrade touts faster fault detection

Posted: 04 Sep 2008 ?? ?Print Version ?Bookmark and Share

Keywords:fault detection tool? tool suite? software development?

LDRA has upgraded its LDRA tool suite by adding TBreq v2.2, LDRA's requirements traceability tool, and TBvision, a tool designed to increase visibility for industry standards compliance, security vulnerability and defect and fault detection. The integrations enable the LDRA tool suite v7.7 to verify all aspects of software development from requirements through run time while easy-to-read graphical reports and other enhancements boost development team productivity.

During software development, requirements traceability, static analysis, dynamic analysis and testing strategies contribute significantly to software quality and fault reduction. With the additional requirements traceability and graphical reporting in LDRA tool suite v7.7, developers and testers can now enjoy an integrated product that is capable of identifying faults earlier in the development process and of tracking projects requirements. With faults minimized, fault handling at run-time secures safety-critical software from unforeseen events that can creep in during the operation of complex software applications.

LDRA Testbed, the process management tool at the core of the LDRA tool suite, forms the foundation of the LDRA automated software verification process. LDRA Testbed analyses the code, quality and design of source code, allowing developers to also select programming standards such as the newly released MISRA C++:2008 or CERT C secure coding standard for additional compliance. The LDRA Testbed has also extended its large number of the programming standards and code coverage up to DO-178B Level A certification, an essential certification level for the avionics sector.

"LDRA has established itself by automating the broadest end-to-end test process for everything from requirements to source code static analysis and run-time application testing," noted Ian Hennell, LDRA operations director. "With multiple standards support, highly integrated test modules, and our improved eXtreme testing capabilities, the LDRA tool suite enables the defense engineer to certify safety-critical software, automotive developers to reduce their risk of liability by software verification, and for companies to ensure that the software developed is on time, within budget and meets all technical requirements."

Enhanced features
LDRA Testbed has improved its configuration of user-preferred editors. At installation time, a dialogue prompts the user to select a default source-code editor. The prompt itemizes the editors found on the system and the installer can select one of these editors or enter the details of an alternate one.

The LDRA tool suite V7.7 included the TBvision integrated module, with helps developers easily see how the source code performs against security vulnerabilities, fault-detection, and adherence to the required quality standards. Aimed at enhancing collaboration and communication between development teams, TBvision enables managers, team workers and individual developers to collectively monitor testing and quality metrics.

The advanced reporting measures of TBvision enable users to quickly assess the portability, dependability, testability, maintainability, complexity and style of code generated by project teams. These measures combine to provide valuable project code metrics. With a mission to assist in the creation of zero-defect software development, TBvision provides users with an easy-to-use tool that better identifies problems, which in turn speeds development and reduces cost.

Another feature, the TBreq, LDRA's collaborative, requirements-focused development and verification solution, enables project teams to automate the processes of requirements verification and traceability, solving some of the most difficult aspects of software development.

In addition, with the TBrun, automated unit testing tool, a GUI automates the production of test data vectors with test harness and stub generation completing automatically. By being able to quickly identify violations, developers can improve the quality of code, reduce errors found during formal testing, and help ensure delivery on time and within budget. Some key enhancements include user control of linked libraries to enable developers to customize the calling driver of linked libraries or test points; updated data dictionary that establishes values for application data types whether inputs, outputs, return values, etc.

The automation feature provides users with the ability to rapidly and automatically create test cases from within TBrun. The capabilities within TBeXtreme have been extended to include support for user-defined data types to enable developers to use data types defined within application code. It also features boundary testing to ensure that the data type's limit values are also tested. While this does not provide additional coverage, it does prove the robustness of the application code.

Coding standards update
Recognizing the need to meet the international market standards critical to their industries, LDRA tool suite now offers comprehensive C, C++ & Ada coding standards enforcement. The latest release of the LDRA tool suite incorporates work LDRA has done with companies such as Lockheed Martin to develop the F-35 Lightning II JSF++ AV (Joint Strike Fighter) standard, as well as standards bodies such as the automotive MISRA C and MISRA C++ and the revision to the civil aviation software guideline DO-178B, with the DO-178C standard currently under development.

In LDRA Testbed V7.7, the LDRA tool suite now provides programming compliance for:

??C standards with MISRA-C:1998, MISRA-C:2004, JPL, CERT C secure coding standard, vehicular manufacturers Herstellerinitiative Software (HIS, which uses a subset of the MISRA C) and the Chinese military standard GJB
??C++ standards with JSF++ AV, MISRA-C++:2008, LM Train Control Program, and High Integrity C++
??Ada standards with SPARK Ada subset and the Ravenscar Profile

The analysis capabilities of the LDRA tool suite provide an easy way to check whether code is efficiently written, clear, maintainable and not just functional while it is being written or after code has been generated. The LDRA tool suite highlights where the violations are in relation to the relevant coding rules.

"With systems and software becoming increasingly complex, organizations need tools that support them in all stages of the software development cycle. By providing customers with a comprehensive set of tools for requirements traceability through to unit testing, LDRA's tool suite portfolio takes developers much closer to the goal of zero-defect software development. We are committed to helping organizations design systems and software that are on time, on budget and to the customers' specified requirements," Hennell commented.

Article Comments - Tool suite upgrade touts faster faul...
*? You can enter [0] more charecters.
*Verify code:


Visit Asia Webinars to learn about the latest in technology and get practical design tips.

Back to Top