'Fra modelbaseret verifikation til automatisk afvikling af testcase i JUnit.'
Student thesis: Master thesis (including HD thesis)
- Bo Stenvang
10. Term, EVU
'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.
'
Language | Danish |
---|---|
Publication date | Jun 2006 |