LDRA Tool
Automating Software Verification, Requirements Traceability and Standards Compliance
*Automating unit test and system-level test
*Automatically producing software certification and approval evidence
*Planning for and executing requirements-based testing
*Performing and reporting coverage analysis on all code down to the target level
*Unit test and system-level testing on virtually any host or target platform
*Complying the coding standards (industry and user-defined)