isa_Diff: Intelligent version comparison

Test result data mapping

Complexity analysis, path analysis, and path execution condition extraction

Support for Tracing Test Results With Requirements / Test Cases

Support for Large-scale Code Inspection and Walkthrough

Comprehensive Analysis Reports and Documentation

Visual Software Testing Support

Large-scale Low-risk Incremental and Iterative Development Support

Maintainable and Testable Software Design Support

Diagrammed source code

Visual functional decomposition of requirements

Maintenance and re-engineering support

Logic error checking support

Memory leak and illegal usage violation checking support

Defect detection and problem locating

Complexity analysis, control flow analysis, graphical display, refactoring and test planning support

Support for RTCA/DO178B Level-A MC/DC (Modified Condition/Decision Coverage) test coverage analysis

High consistency maintenance support