• 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

Observerbarhed under testabilitet Om udbyttet af kontrakter i programudviklingsprocessen Kontraktbegrebet