background image
<< Java source code | compile your source code >>
<< Java source code | compile your source code >>

Source Code Parser command

Command Line Interface
Command Line Component Testing for C, Ada and C++
Use Component Testing for C and Ada and Component Testing for C++ to test
individual components of your C, C++ and Ada source code.
To perform component testing on C, C++ or Ada source code:
First, set up the necessary environment variables. See Setting Environment
Generate a set of test script templates based on your source files by using the
Source Code Parser. See corresponding Source Code Parser command line
section in the Reference Manual.
3. Use
.ptu, .otc or .otd templates to write a test script. See the
Reference Manual for test script syntax.
If you are using an .otc Contract Check script, set up an options.h header file.
See Preparing an Options Header File.
Compile the generated test harness source file. See Compiling the Test Harness
If you are using any of the runtime analysis features, instrument and compile
the source code. See Instrumenting and Compiling the Source Code.
If not, simply compile your source code with your usual compiler.
Set up the TDP configuration file, called product.h. See Preparing a Products
Header File.
Compile the TDP Library. See Compiling the TDP Library.
Link the compiled files together to create an executable test binary. See Linking
the Application.
10. Execute the test binary. See Running the Test Harness or Application.
11. After execution, to obtain the final test results, as well as any SCI dump
information, you need to separate the output file into separate result files. See
Splitting the SCI Dump File.
12. Run
Report Generator to produce a test report. See the corresponding
Report Generator command line section in the Reference Manual.
13. Finally,
Graphical User Interface to view the test reports. See the
Graphical User Interface command line section in the Reference Manual.