'Fra modelbaseret verifikation til automatisk afvikling af testcase i JUnit.'
Forfatter
Stenvang, Bo
Semester
10. semester
Udgivelsesår
2006
Abstract
Rapportens mål er at udvikle en semi-automatisk procedure, der kan forbedre softwarekvaliteten for host server-moduler, som kaldes fra web-applikationer. Med udgangspunkt i en Nykredit-usecase opbygges en model i UPPAAL, et værktøj til modellering, simulering og verifikation af systemer. Verifikationsdelen diskuteres, og simuleringens trace (forløb/log) bruges som input til et konverteringsprogram, der via skabeloner (templates) genererer Java-kode. Denne kode kan afvikles som tests i JUnit (et test-rammeværk for Java), som leverer rapporter over serverkaldenes retursvar. Rapporten gennemgår fordele og ulemper ved den foreslåede procedure.
This report aims to develop a semi-automatic procedure to improve the software quality of host server modules called by web applications. Using a Nykredit use case, a model is built in UPPAAL, a tool for system modeling, simulation, and verification. The verification component is discussed, and traces from simulations are used as input to a conversion program that, via templates, generates Java code. The generated code is run as tests in JUnit (a Java testing framework), which produces reports on the server call responses. The report outlines the advantages and disadvantages of the proposed procedure.
[Dette resumé er genereret ved hjælp af AI]