A master thesis from Aalborg University
'Fra modelbaseret verifikation til automatisk afvikling af testcase i JUnit.'
Forfatter(e)
Semester
10. semester
Udgivelsesår
2006
Afleveret
2012-02-14
Abstract
'Rapportens hovedmål er at udarbejde semi-automatisk procedure der kan øge software kvaliteten af Host server-moduler der kaldes fra web-applikationer. Med udgangspunkt i en Nykredit usecase udarbejdes model i UPPAAL. Dette værktøjs verifikationsdel diskuteres og trace fra dette værktøjs simuleringsdel er input til konverteringsprogram som danner Java program, der kan afvikles i JUnit. Konverteringsprogrammet gør brug af templates. Fra JUnit leveres rapport over serverkaldenes retursvar. Der opremses fordele og ulemper ved den fremkomne procedure. '
Kolofon: Denne side er en del af AAU Studenterprojekter — Aalborg Universitets studenterprojektportal. Her kan du finde og downloade offentligt tilgængelige kandidatspecialer og masterprojekter fra hele universitetet fra 2008 og frem. Studenterprojekter fra før 2008 kan findes i trykt form på Aalborg Universitetsbibliotek.
Har du spørgsmål til AAU Studenterprojekter eller Aalborg Universitets forskningsregistrering, formidling og analyse, er du altid velkommen til at kontakte VBN-teamet. Du kan også læse mere i AAU Studenterprojekter FAQ.