Izenburua
Model-Based Testing in Practice: An Industrial Case Study using GraphWalkerBeste instituzio
Mälardalen UniversityBombardier Transportation
Eskubideak
© 2021 Copyright held by the owner/author(s)Sarbidea
Sarbide irekiaArgitaratzailearen bertsioa
https://doi.org/10.1145/3452383.3452388Non argitaratua
14th Innovations in Software Engineering Conference, ISEC 2021. ACM International Conference Proceeding Series N. artículo 5, 2021Argitaratzailea
ACMGako-hitzak
Cyber Physical System of System
Embedded Systems
modeling
Requirement Specification ... [+]
Embedded Systems
modeling
Requirement Specification ... [+]
Cyber Physical System of System
Embedded Systems
modeling
Requirement Specification
Test Specification [-]
Embedded Systems
modeling
Requirement Specification
Test Specification [-]
Laburpena
Model-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 ... [+]
Model-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. [-]
Bildumak
Item honek honako baimen-fitxategi hauek dauzka asoziatuta: