Parasoft supports DO-178B compliance by providing an automated method for attaining and documenting the high code coverage required.
To help teams rapidly achieve high coverage, Parasoft automatically generates complete tests, including test drivers and test cases for inDIVidual functions and methods. These tests are used for initial validation of the functional behavior of the code. By using corner case conditions, these automatically-generated test cases also check function responses to unexpected inputs, exposing potential reliability problems. To expand test coverage, tests can be parameterized using data sources or extended by hand.
A multi-metric test coverage analyzer, including statement, branch, path, and MC/DC coverage, helps users gauge test suite efficacy and completeness, as well as demonstrate satisfaction of coverage requirements. Coverage is reported in percentages as well as graphically displayed via source code that is annotated with line-by-line coverage details. Back tracing from coverage elements to the corresponding test cases enables users to analyze test results and extend the test cases for better coverage, with higher efficiency. Moreover, data from unit, component, and manual testing can be combined for cumulative coverage reporting. This includes interactive visualization and analysis in the code browser, as well as automatic generation of comprehensive coverage reports.
To learn more, visit Parasoft's C and C++ Testing solution.
Subscribe to:
Post Comments (Atom)
No comments:
Post a Comment