esign Review : LDRA provides analysis of the interfaces implemented, including parameter and global variables utilised. It generates header comments for documentation and requirements traceability purposes. The tool profiles code behaviour including memory management and pointer usage. The tool even analyses variable usage, looking for potential anomalies, such as uninitialised variables.
Unit Test : The Unit Test component automatically generates test cases using a version of your code produced primarily by the Design Review component. Test vectors are also produced along with the stubs of unavailable procedures or libraries.
Test Verification : This component complements the Unit Test component by providing coverage metrics that indicate the paths actually tested. It also provides test planning documents to help you achieve desired levels of coverage.
Test verification additionally supports the verification of customer provided test cases(outside of the Unit Test Component).
Test Manager : Test Manager provides management of your testing baseline. It performs validation of test cases and automatically detects changes to your file. |