Afprøvningsværktøjer

(eller: testværktøjer).

Fire typer værktøjer til afprøvning er efterhånden blevet udbredt:

• Kontrolmålværktøjer (comparators) kan sammenligne to versioner af data, og afgøre på hvilke måder de afviger fra hinanden.
• Værktøjer til kravspecifikationssporing (requirements tracers) kan bruges, når en kravspecifikation er skrevet i et formelt sprog. Værktøjet sammenholder inddata, uddata, processer og data for at afsløre fejl, inkonsistens og tvetydigheder. Desværre er de formelle metoder, som er en forudsætning for denne type værktøj, tit meget vanskelige at anvende for ikke-matematikere.
• Værktøjer til automatisk testdatagenerering (test-data generators) laver selv testsæt ud fra en analyse af de forventede inddata til et program eller ud fra selve programmet. Se også TTCN.
• Værktøjer til præstationsovervågning (performance monitors) kan overvåge kørslen af et program og f.eks. opdage, om der er programlinier, der aldrig bliver udført, eller om der er dele af programmet, der gennemløbes ineffektivt.