LDRA

Automating Software Verification, Requirements Traceability and Standards Compliance

PikeOS

LDRArules

LDRArules enforces compliance with industry- or user-defined coding standards and provides clear visibility of software flaws that might typically pass through the build and test process and become latent problems.

LDRArules is a cost-effective solution to enforce compliance with software coding standards like MISRA C. Identify potential security issues and potential faults. It enhances the visibility for security vulnerabilities and software standard compliance. LDRArules offers transparency in the source code by enabling developers, teams and managers as a whole to memory management, monitor the compliance standards and other security related vulnerabilities. LDRArules enforces compliance with industry standards as well as user-defined coding standards. It allows you to easily see how a source code is adhering to industry-specific and user-defined coding standards.

LDRAcover

LDRAcover lets you quickly and easily view coverage analysis results such as callgraphs, flowgraphs, and code coverage reports in an interactive easy-to-use interface with powerful filtering capabilities.

LDRAcover is a stand-alone code that does not require investing in a complete tool chain. It covers the rigorous structural coverage objectives of standards such as DO-178B/C (Avionics) and including Level A as well as other safety-critical software applications. It meets the structural coverage objectives of standards from DO-178B/C (Avionics) along with Level A. Various other safety-critical software applications also come under its objectives. The coverage analysis result like flowgraphs, callgraphs, and coverage reports can be viewed easily and quickly with LDRAcover. It has powerful filtering capabilities and very interactive user interface. LDRAcover allows you to quickly and easily view coverage analysis results. It has an interactive easy-to-use interface along with powerful filtering abilities.

LDRAcover
LDRAunit

LDRAunit

LDRAunit follows a typical unit test methodology by taking the smallest piece of testable software in an application, isolating it from the remainder of the code, and determining whether it behaves as expected.

LDRAunit provides you with a complete integrated environment for automated unit test generation and management. It follows a typical unit test methodology by taking the tiniest piece of testable software in an application. This piece is isolated from the remaining code and determines if it behaves as expected. Each code units is tested individually by LDRAunit and then they are integrated into modules. It then identifies the part of the code that fails to deliver the results. Thus, helping in maximizing test throughput and repeatability to improve the test benefit.

STANDARDS COMPLIANCE

Industrial & Energy

Rail

Space

Medical Devices

Security

Coding Standards