Page 17 : 46

Forelæsningsnoter i Objekt-orienteret Programmering Test og Dokumentation * Introduktion til programtest Introduktion til test Testabilitet Testenheder Testutopi Programbevis * White box testteknik White box test Test af uafhængige stier Fra programenhed til flow graph (1) Fra programenhed til flow graph (2) Udledning af testtilfælde til white box test Andre white box tests * Black box testteknik Black box test Valg af input til black box test (1) Valg af input til black box test (2) Eksempel på black box test * Teststrategi Teststrategi Enhedstest Integrationstest Sammenligning af top-down og bottom-up integrationstest * Code Review Code Review * Test af objekt-orienterede programmer Observationer Test af klasse 'skiver' Detaljer om slice-baseret klasse enhedstest Klassen som testenhed: Praktiske problemer Test i forhold til kontraktideen (1) Test i forhold til kontraktideen (2) Opsummering * Introduktion til programdokumentation Hvorfor programdokumentation Moduldokumentation Dokumentation: Strukturering i tid og rum Dokumentation i forhold til test * Javadoc Introduktion til javadoc Javadoc materiale * Literate Programming Intern programdokumentation ala literate programming Det klassiske literate programming værktøj Intern struktur af et literate WEB dokument Opsummering

Valg af input til black box test (2)

Ud over en form for ækvivalensopdelning kan man overveje andre kriterier for valg af input, hvorpå vi skal test programenheden

Fejl opstår ofte i randområder

Udvælgelse af grænsetilfælde i input: Inputtypen er et interval [a..b]: Udvælg a-1, a, a+1, b-1, b og b+1

Udvælgelse med henblik på test af grænseområder i outputdata Design input data som tilsvarende afprøver enheden på grænseområder i output data

Afprøvning af datastrukturer i grænseområder Design input data som afprøver 'tomme' og 'fulde' datastrukturer