Next:
The TUTTI test framework
Up:
tutti
Previous:
Rules
 
Contents
 
Index
TUTTI Reference
Subsections
The TUTTI test framework
What is TUTTI
Ideas behind TUTTI
Developing unit tests
Static analysis
Dynamic testing
Common problems with unit testing
How TUTTI facilitates
Tutorial
PDA software
A first test
Excersise
qac
qac_compiler
Language subsetting
Employing the relative programming standards
Suppression tags
Analyzing the results
qac_scan
Arguments
splint
splint_compiler
Analyzing the results
splint_scan
Output format
Warning levels
insure
insure_compiler
Insure configuration
Analyzing the results
insure_scan
Output
Insure suppression file format
Examples
Suppression a memory leak for thread-specific data
Suppression of a location-specific COPY_WILD warning
Suppression all READ_WILD warnings
gcov
gcov_compiler
Analyzing the results
gcov_scan
Output
Suppression tags
Dealing with infeasible coverage
Example
purify
purify_compiler
Analyzing the results
purify_scan
Output
Example
C Library Wrapper
depend
depend_compiler
Analyzing the results
depend_scan
Arguments
Example
TUTTI Run time library
Examples
tutti_compiler
tutti_scan
Output
Glossary
2004-05-28