Index

boundary value analysis ,

branch coverage

C test bed

C++ test

Cantata

cause effect graphic ,

clw|uu

code review

code review

flow ,

code review|uu

compiler wrapper

depend

example

gcov

compiler wrapper

insure

purify

compiler wrapper

qac

splint

tutti

coverage analysis , ,

coverage

branch

infeasible ,

loop

multi-condition

operator

path

routine ,

depend

depend

compiler wrapper

result scanner

driver ,

dynamic testing ,

equivalence class partitioning ,

execute test

flow ,

gcov ,

gcov

compiler wrapper

example

general approach ,

infeasible coverage ,

insure ,

insure

compiler wrapper

suppression file

thread-specific data

insure_compiler

example

insure_scan

example

LDRA test bed

loop coverage

multi-condition coverage

operator coverage

path coverage

programming guidelines

programming standard

absolute

relative

purify

purify

compiler wrapper

example

purify|uu

qac

qac

compiler wrapper

language subsetting

result scanner

suppressing warnings

suppression example

warnings

qac_compiler

example

qac_scan

example

result scanner

example

gcov

insure

purify

review

kick-off meeting

routine coverage

splint

splint

compiler wrapper

example

result scanner

warning levels

statement coverage

static analysis ,

static analysis

example

flow ,

splint

stub , ,

StubbyC

StubbyCPP

suppression tags

gcov

test design

black box ,

boundary value analysis

class equivalence partitioning

white-box ,

test harness

tutti rtl

tutti rtl

compiler wrapper

example

result scanner

tutti

ideas

TUTTI_ASSERT

TUTTI_CHECK

TUTTI_EXIT

TUTTI_INIT

tutti|uu

unit test

unit test

design approach ,

general approach , ,

unit testing

common problems

unit

definition

driver ,

software environment , , ,

stubs ,

walkthrough|uu

zero warning policy