- Positive bidrag under test:
- Black box bidrag
- Specifikationen, som programmet testes op imod
- Specifikationen er en integreret del af programmet
- Automatisk vurdering af hvorvidt en testudførelse giver et korrekt resultat
- Observerbarhed
- Postbetingelsen og klasseinvarianten fortæller, om resultatet af en procedure er korrekt
- Afgrænsning af de input, der skal testes
- Bidrag fra ansvarsfordelingen
- Ingen gode grunde til at teste en procedure med input, som ikke opfylder prebetingelsen
- Afgrænsning af de metoder, som interagerer med hinanden
- Formindsker metode interaktionstests
- Ingen gode grunde til at at afprøve sekvenser af beskeder, som involverer falske prebetingelser
| | Selv om ideen om kontrakter reducerer antallet af testtilfælde er der stadig store udfordringer
i at vælge hensigtsmæssig test input til en black box test af et program med kontrakter |