Enhetstesting med JUnit

En enhetstest rigger opp en kjent tilstand, kaller en metode, og sjekker at resultatet stemmer med assert-metoder. Hver test bør sjekke én ting og være uavhengig av de andre.

public void testIsOccupied() {
    Diner diner = new Diner();
    Table t1 = new Table(4);
    Table t2 = new Table(2);
    diner.addTable(t1);
    diner.addTable(t2);
    diner.addSeating(new Group(3));      // plasseres pa et bord

    assertTrue(diner.isOccupied(t1));    // forventet opptatt
    assertFalse(diner.isOccupied(t2));   // forventet ledig
}

assert-metodene

assertEquals(forventet, faktisk): sjekker likhet via equals. Merk rekkefølgen: forventet verdi først.
assertTrue(uttrykk) / assertFalse(uttrykk): sjekker en boolsk betingelse.
For å sjekke identitet (samme objekt), bruk assertTrue(a == b), ikke assertEquals, som sjekker likhet.

Gjør klassen testbar

Noen ganger må klassen tilpasses for å kunne testes spisset. Et vanlig grep: legg til en pakke-privat hjelpemetode (f.eks. en addSeating(Seating) som tar et ferdig objekt), slik at testen kan rigge opp tilstanden uten å gå veien om den fulle, offentlige flyten. Da må testklassen ligge i samme pakke.

Lese og spore kode (tracing)

Eksamen inneholder ofte kode med en plantet feil du skal finne. Strategi: spor variablenes verdier steg for steg, og vær særlig oppmerksom på fortegn, av-for-én-feil i indekser (lister starter på 0, men nummerering ofte på 1), og metoder som ved et uhell endrer tilstand de ikke burde. Eksempel: en hasNext() som flytter iteratoren er feil, fordi hasNext() skal kunne kalles flere ganger uten bivirkning.

Objekttilstandsdiagram

Et objekttilstandsdiagram viser et objekts felt-verdier før og etter et metodekall, med kallet som en overgang mellom tilstandene. Det er nyttig for å beskrive og kommunisere oppførsel (mer intuitivt enn regler), men har en begrensning: det dekker bare konkrete eksempler, ikke den fullstendige definisjonen. Skill det fra objektdiagram (øyeblikksbilde av objekter og referanser) og klassediagram (UML-relasjoner mellom klasser).

Eksempel i eksamensstil — test av en stack

Skriv en JUnit-test som verifiserer at en Stack følger LIFO: push 1, 2, 3 skal gi pop 3, 2, 1, og stacken skal være tom til slutt.

public void testStackLIFO() {
    Stack<Integer> s = new Stack<>();
    s.push(1); s.push(2); s.push(3);
    assertEquals(3, s.pop().intValue());
    assertEquals(2, s.pop().intValue());
    assertEquals(1, s.pop().intValue());
    assertTrue(s.isEmpty());           // tom til slutt
}

Hver linje sjekker ett krav. Hadde pop() vært implementert som FIFO, ville første assert feile og avsløre feilen umiddelbart.

Studieguide: Testing og feilsøking

Studieguide: Testing og feilsøking