Please use this identifier to cite or link to this item: https://www.um.edu.mt/library/oar/handle/123456789/30528
Title: Verifying web applications : from business level specifications to automated model-based testing
Authors: Colombo, Christian
Micallef, Mark
Scerri, Mark M.
Keywords: Computational linguistics
Model-integrated computing
Autonomous distributed systems
Issue Date: 2014
Publisher: Open Publishing Association
Citation: Colombo, C., Micallef, M., & Scerri, M. (2014). Verifying web applications: from business level specifications to automated model-based testing. 9th Workshop on Model-Based Testing, Grenoble. 14-28.
Abstract: One of reasons preventing a wider uptake of model-based testing in the industry is the difficulty which is encountered by developers when trying to think in terms of properties rather than linear specifications. A disparity has traditionally been perceived between the language spoken by customers who specify the system and the language required to construct models of that system. The dynamic nature of the specifications for commercial systems further aggravates this problem in that models would need to be rechecked after every specification change. In this paper, we propose an approach for converting specifications written in the commonly-used quasi-natural language Gherkin into models for use with a model-based testing tool. We have instantiated this approach using QuickCheck and demonstrate its applicability via a case study on the eHealth system, the national health portal for Maltese residents.
URI: https://www.um.edu.mt/library/oar//handle/123456789/30528
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
Verifying_web_applications.pdf661.22 kBAdobe PDFView/Open


Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.