Cantata++ is a unique software verification product which offers
developers a complete solution to the verification of C/C++ software
in a single cost-effective package. The tool provides automated
facilities for Dynamic Testing, Coverage and Static analysis in
a totally integrated environment.
IPL has integrated Cantata++ with TI compiler and Code Composer
Studio. Therefore in a complete automated environment it becomes
easy for all developers to perform dynamic unit and integration
test with full code coverage on the target environment.
The following Cantata++ features are available with the TI compiler
and Code Composer Studio.
Dynamic testing
-
White Box and Black Box testing techniques are supported.
-
Generic Checks for all standard and user-defined data types.
-
Enforcement of language standards / subsets (e.g. EC++, C99)
at build time.
-
Exception verification to check both the occurrence of expected
exceptions and the non-occurrence of unexpected exceptions.
-
Stubbing to created programmable versions of external software,
firmware or hardware and performing call sequence validation.
-
Automated Wrapping giving full control over all interfaces to
the software under test allowing use of real external objects
in integration testing.
-
Real-Time Performance Analysis checks execution times for
specified blocks of code.
-
Cross-Platform Execution of tests without modification from
native host machine to embedded target.
Code coverage
-
Entry points and Call Returns
-
Statements and Basic Blocks
-
Decisions (branches)
-
Conditions
-
MC/DC (DO-178B)
-
Exceptions