Simple record

dc.rights.licenseAttribution-NonCommercial-ShareAlike 4.0 International*
dc.contributor.authorArrieta, Aitor
dc.contributor.authorSagardui, Goiuria
dc.contributor.otherZafar, M.N.
dc.contributor.otherAfzal, W.
dc.contributor.otherEnoiu, E.
dc.contributor.otherStratis, A.
dc.date.accessioned2021-11-04T11:58:10Z
dc.date.available2021-11-04T11:58:10Z
dc.date.issued2021
dc.identifier.isbn978-1-4503-9046-0en
dc.identifier.otherhttps://katalogoa.mondragon.edu/janium-bin/janium_login_opac.pl?find&ficha_no=164953en
dc.identifier.urihttps://hdl.handle.net/20.500.11984/5411
dc.description.abstractModel-based testing (MBT) is a test design technique that supports the automation of software testing processes and generates test artefacts based on a system model representing behavioural aspects of the system under test (SUT). Previous research has shown some positive aspects of MBT such as low-cost test case generation and fault detection effectiveness. However, it is still a challenge for both practitioners and researchers to evaluate MBT tools and techniques in real, industrial settings. Consequently, the empirical evidence regarding the mainstream use, including the modelling and test case generation using MBT tools, is limited. In this paper, we report the results of a case study on applying GraphWalker, an open-source tool for MBT, on an industrial cyber-physical system (i.e., a Train Control Management System developed by Bombardier Transportation in Sweden), from modelling of real-world requirements and test specifications to test case generation. We evaluate the models of the SUT for completeness and representativeness, compare MBT with manual test cases written by practitioners using multiple attributes as well as share our experiences of selecting and using GraphWalker for industrial application. The results show that a model of the SUT created using both requirements and test specifications provides better understanding of the SUT from testers’ perspective, making it more complete and representative than the model created based only on the requirements specification alone. The generated model-based test cases are longer in terms of the number of test steps, achieve better edge coverage and can cover requirements more frequently in different orders while achieving the same level of requirements coverage as manually created test cases.en
dc.language.isoengen
dc.publisherACMen
dc.rights© 2021 Copyright held by the owner/author(s)en
dc.rights.urihttp://creativecommons.org/licenses/by-nc-sa/4.0/*
dc.subjectCyber Physical System of Systemen
dc.subjectEmbedded Systemsen
dc.subjectmodelingen
dc.subjectRequirement Specificationen
dc.subjectTest Specificationen
dc.titleModel-Based Testing in Practice: An Industrial Case Study using GraphWalkeren
dcterms.accessRightshttp://purl.org/coar/access_right/c_abf2en
dcterms.source14th Innovations in Software Engineering Conference, ISEC 2021. ACM International Conference Proceeding Seriesen
local.contributor.groupIngeniería del software y sistemases
local.description.peerreviewedtrueen
local.identifier.doihttps://doi.org/10.1145/3452383.3452388en
local.contributor.otherinstitutionMälardalen Universityes
local.contributor.otherinstitutionBombardier Transportationes
local.source.detailsN. artículo 5, 2021en
oaire.format.mimetypeapplication/pdf
oaire.file$DSPACE\assetstore
oaire.resourceTypehttp://purl.org/coar/resource_type/c_c94fen


Files in this item

Thumbnail
Thumbnail

This item appears in the following Collection(s)

Simple record

Attribution-NonCommercial-ShareAlike 4.0 International
Except where otherwise noted, this item's license is described as Attribution-NonCommercial-ShareAlike 4.0 International