'Fra modelbaseret verifikation til automatisk afvikling af testcase i JUnit.'

Stenvang, Bo

10. semester

EVU, Masteruddannelsen i Softwarekonstruktion (Kører ikke længere)

2006

2012-02-14

'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. '

Download
Vis denne rapport i AAU Studenterprojekter