Automated analysis of e-learning web applications (CROSBI ID 679171)
Prilog sa skupa u zborniku | izvorni znanstveni rad | međunarodna recenzija
Podaci o odgovornosti
Škopljanac-Mačina, Frano ; Blašković, Bruno ; Zakarija, Ivona
engleski
Automated analysis of e-learning web applications
In our paper we are exploring the use of formal methods for testing and verification of interactive e-learning web applications. These programs can be highly interactive and are often used for knowledge assessment and on-line tutoring purposes. They are written in web standard languages and executed in client browsers. Even simpler web applications can have various different interaction scenarios which makes them hard to test reliably. Therefore, we are using formal methods tools such as SPIN model checker and its Promela language to improve web application testing process. We create semi- automatically Promela process models from web application source code, and run their simulations, as well as verification using SPIN. Using these techniques, we want to identify flaws in web application design, and find and visualize all interaction scenarios using finite state automata. We will present use case example based on tutoring web application from our e- learning system used on our course Fundamentals of Electrical Engineering.
e-learning web applications ; testing ; verification ; SPIN ; Promela
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
nije evidentirano
Podaci o prilogu
957-962.
2019.
objavljeno
10.23919/mipro.2019.8756749
Podaci o matičnoj publikaciji
MIPRO 2019, 42nd International Convention, Proceedings
Skala, Karolj
Rijeka: Hrvatska udruga za informacijsku i komunikacijsku tehnologiju, elektroniku i mikroelektroniku - MIPRO
1847-3938
1847-3946
Podaci o skupu
MIPRO 2019
predavanje
20.05.2019-24.05.2019
Opatija, Hrvatska