Automated & end-to-end software verification with LDRA tool suite 8.0
LDRA, a provider of automated software verification, source code analysis, and test tools, has launched v8.0 of the LDRA tool suite It claims to be the first fully automated end-to-end solution for software verification support. With the integration of requirements management, LDRA has enabled companies to trace, verify, and test their code through all stages of software development from requirements through static and dynamic analysis and testing. By tailoring standardized best-programming practices for cross-industry adoption, LDRA extends the cost- and resource-savings advantages to the embedded industry as a whole.
Managing requirements throughout the software development lifecycle gives customers a critical cost-cutting measure absolutely essential during this economic downturn. Reports indicate that up to 70% of project defects are attributed to requirements management and traceability. By integrating requirements management into the LDRA tool suite using TBreq, LDRA’s tool for next-generation management and complete automation of requirements traceability, developers can reduce software errors, project costs, and resource constraints. TBreq creates a relationship between requirements, code modules, and verification artifacts (static analysis, dynamic analysis, unit- and system-level test). All informal changes and test results are recorded, and any requirements impacted by these changes are highlighted so that all team members can identify data and code which might be suspect.
“Systems and software developers are increasingly looking to industries such as aerospace to reduce defect rates, improve development timescales, and create higher quality end products,” noted Ian Hennell, LDRA Operations Director. “LDRA’s tool suite offers code coverage metrics right down to the object code level, an essential level of detail to combat quality and cost challenges. Through adopting rigorous standards, non-aerospace companies enhance their development processes, meet industry coding standards, and come closer to achieving zero-defect software.”
“Lockheed Martin’s successful delivery of the F-35 Lightning II airplane for its first flight on time and on budget is a testimony to the superior cost control of effective verification management,” added Hennell. “Such successes are why other industries are taking a look at quality software control. They realize that best programming practices can enable them to meet increasingly rigorous cost constraints during the current economic crisis.”
The LDRA tool suite is available for C, C++, Ada 83, Ada 95 and Assembly systems. It works with large-scale commercial and production systems and is excellent for both legacy code and new code development verification.
