Page 18 : 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

Proceduren Ombyt(var T: ArrayType; i,j: TabelInterval).

Proceduren Ombyt(var T: ArrayType; i,j: TabelInterval).

Funktionen FindMaxIndex(var T: ArrayType; fra, til: TabelInterval): TabelInterval.

Funktionen FindMaxIndex(var T: ArrayType; fra, til: TabelInterval): TabelInterval.

Testtilfælde er kombinationerne af T er tom, T har største element først, T har største element sidst, T har største element i midten, T indeholder ens værdier fra er T's nedre grænse, fra er T's øvre grænse, til er T's nedre grænse, til er T's øvre grænse, fra er lig med til, fra er én mindre end til, fra er én større end til, fra < til (pænt fordelt) Prebetingelsen overflødiggør nogle testtilfælde

Som eksempel på et overflødigt testtilfælde, som følge af prebetingelsen af FindMaxIndex, kan vi nævne de tilfæde som indbefattr 'fra er én større end til'.

Det samlede sorteringsprogram.

Det samlede sorteringsprogram.