De fleste former for testing av oppførsel er basert på eksempler på riktig (eller gal) oppførsel. Siden en sjelden kan sjekke at noe alltid er tilfelle, må en istedet sjekke representative tilfeller. Teknikken består i å rigge opp en eller flere objekter i en start-tilstand og så se hvordan et eller flere av objektene oppfører seg når metoder kalles. Oppførselen sjekkes mot fasiten, altså forventet oppførsel, og avvik rapporteres som feil. Oppførselen til metoder som beregner verdier kan sjekkes direkte, mens oppførselen til metoder som endrer tilstanden må sjekkes indirekte, ved at tilstanden leses ut i etterkant.
Ta som eksempel oppførselen som er illustrert med følgende tilstandsdiagrammer i Tilstand og oppførsel:
Oppførsel til count() og getCounter() | Oppførsel til count() og count(int) |