Next:
disclaimer
 
Contents
 
Index
disclaimer
QAC
QACPP
Purify
Insure
Tutti
Contents
Introduction to unit testing and tutti
A general approach
Coding & static analysis
Code review
Test design
Adding verification points
Drivers and stubs
Harness generation
Static analysis
Introduction
Input criteria
Motivation
Process flow
Exit criteria
Code Review
Introduction
Input criteria
Motivation
Process flow
Technical review
Peer code review
Exit criteria
Test Design
Introduction
Input criteria
Process flow
Black-box test design
White-box test design
Dealing with infeasible coverage
Exit criteria
Test Execution
Introduction
Input criteria
Motivation
Process flow
Exit criteria
Rules
TUTTI Reference
The TUTTI test framework
What is TUTTI
Ideas behind TUTTI
Developing unit tests
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
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
Bibliography
Index
About this document ...
2004-05-28