VectorCAST/Ada
|
VectorCAST/Ada is an integrated software test solution that significantly reduces the time, effort,
and cost associated with testing Ada software components necessary for validating safety- and
mission-critical embedded systems. VectorCAST/Ada parses your source code and invokes code generators to automatically create the test code required to construct a complete, executable test harness. Once the test harness is constructed, utilities can be used to build and execute test cases, show code covered, and report static measurements. Test data is maintained separately from the test harness, enabling automatic regression testing. |
|
Key Features
- Complete test-harness construction for unit and integration testing
- Test execution from GUI or scripts
- Code-coverage analysis
- Regression testing
- Code-complexity calculation
- Automatic tests based on decision paths
- User-defined tests for requirements-based testing
- Test execution playback to assist in debugging
- Integration with Telelogic's DOORS® Requirements Tool
Six Integrated Utilities
VectorCAST/Ada is composed of the following six integrated utilities:
- The Environment Generator
- The Execution Manager
- Dynamic Analysis - Code Coverage
- The Test Case Generator
- The Report Generator
- Static Analysis - Code Complexity and Basis Path