l générateurs automatiques de tests

l analyse statiquel mesure de complexité

l couverture de test

Softwaretest- und Analysetools

Requirements

ManualTest Design

Requirements Model

Creation

Test Scripts

Test Execution

Test GeneratorEngine

Model

System under Test

SoftwareScriptexecutioneawef(asdfa,asdf, )

awel aweefawefafaweaeawef(asdfa, asdf, ) sdasdwe(oas)endsfsdfsdf

Online Testing

Test Script

Offline Test Script Generation

Manual Testing

TER % - covered/all File

100 % 6/6 prime.c

80 % 4/5 io.c

82 % 14/17 calc.c

86 % 24/28 overall

Number of monitored source files : 3Number of source lines : 59Number of measurement points : 30TER : 86 % (multicondition)

www.verifysoft.com

Softwaretest- und Analysetools

Softwaretest- und Analysetools

www.verifysoft.com