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