Partner Product

LDRA Testbed - Static Code Analysis  (1541)
Observation and Analysis tool: Code Review, Design Review and Quality Review

What is LDRA Testbed?



LDRA Testbed is a unique quality control tool that provides powerful source code testing and analysis facilities for the validation and verification of software applications. It is invaluable where computer software is required to be reliable, rugged and as error free as possible and its use brings substantial time, cost and efficiency savings. It is a powerful and fully integrated tool suite, which enables advanced software analysis techniques to be applied at key stages of the development lifecycle.



LDRA Testbed provides powerful analysis facilities which may be applied in the two main testing domains of Static Analysis and Dynamic Analysis.

Static Analysis analyses the code and provides an understanding of the code structure.



Dynamic Analysis involves execution with test data, through an instrumented version of the source code, to pin point defects at run time.

1541
<OL> <LI>Code Review and Programming Standard Checking: Empowers developers to create high quality&nbsp;software and reduce development costs by catching potential problems early in the development process. The tool prevents unacceptable code from entering the product, maintains design integrity and policies, and automatically detects coding rules violations against a super set of supplied rules including the&nbsp;MISRA C / MISRA-C:2004 standards. <LI>Code Review and Data Flow Analysis for Error Detection: A deep control flow analysis&nbsp;keeps track of all variables and parameters, and determines errors related to the improper usage of variables, such as referencing variables without being defined, defining variables several times without being referenced, division by error, array bound errors, variables declared but never used. <LI>Quality Review and Complexity Metrics Analysis:&nbsp;A complete list of quality metrics is available to determine the maintainability, clarity and testability of your software.&nbsp; This&nbsp;identifies modules requiring the most attention. <LI>Design Review and Behaviour Analysis: Code visualisation provides a better understanding of what is happening in your application. A snapshot image of your applications architecture is provided to support your off-shoring, or re-factoring process of your legacy code; all interactions between modules are shown graphically. <LI>Design Review: Automatic identification of unstructured code, unreachable code, infeasible code and dead code. <LI>Design Review and Interface Analysis: Interface and Global variables analysis to facilitate the mapping with your Requirement Traceability Management tool.</LI></OL>
LDRA Testbed - Static Code Analysis
What is LDRA Testbed? LDRA Testbed is a unique quality control tool that provides powerful source code testing and analysis facilities for the validation and verification of software applications. It is invaluable where computer software is required to be reliable, rugged and as error free as possible and its use brings substantial time, cost and efficiency savings. It is a powerful and fully integrated tool suite, which enables advanced software analysis techniques to be applied at key stages of the development lifecycle. LDRA Testbed provides powerful analysis facilities which may be applied in the two main testing domains of Static Analysis and Dynamic Analysis. Static Analysis analyses the code and provides an understanding of the code structure. Dynamic Analysis involves execution with test data, through an instrumented version of the source code, to pin point defects at run time.
NO
software
Observation and Analysis tool: Code Review, Design Review and Quality Review