Page 32 : 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
Test i forhold til kontraktideen (2)
Der er også en række aspekter af test, hvor der ikke er hjælp at hente fra kontraktideen. På denne side kaster vi lys på disse.
Kontrakter løser langt fra alle problmer omkring test
Områder hvor kontraktideen
ikke
bidrager positivt
White box test
Kontrollerbarhed
Selve den systematiske afprøvning
Den faktiske testudførelse af programmet på hensigtsmæssigt input
Kontrollerbared under testabilitet
Selv om vi konsekvent anvender designkonstrakter er der alligevel rigelige udfordringer i forbindelse med gennemførelse af program test