Contents

• • disclaimer
    • QAC
    • QACPP
    • Purify
    • Insure
    • Tutti
  
  
• 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 ...