ICST 2023
Sun 16 - Thu 20 April 2023 Dublin, Ireland
Thu 20 Apr 2023 14:00 - 14:30 at Hanover - Afternoon Session 1 Chair(s): Cristina Seceleanu

Model-based testing (MBT) offers the possibility of automatic generation and execution of tests. However, it is not yet widely used in industry due to the fact that models are usually difficult to create and maintain. On the other hand, Behavior Driven Development (BDD) is becoming more popular in the agile development process to achieve a common understanding of the system under development among stakeholders and to automate testing. However, BDD scenarios are written in human language and are usually not precise enough. Moreover, tests extracted from BDD scenarios are too short and incomplete; they only cover a very small part of the system. Our goal is to combine these two approaches to benefit from the usability of BDD and the test automation capabilities of MBT. In this paper, we first define a formal model of scenarios that we call BDD Transition Systems, second, we create more complete tests by composing scenarios (model composition), and finally, we generate and execute tests automatically. We demonstrate the applicability of this approach in a real-world example: an industrial printer.

Thu 20 Apr

Displayed time zone: Dublin change

14:00 - 15:30
Afternoon Session 1A-MOST at Hanover
Chair(s): Cristina Seceleanu Mälardalen University
14:00
30m
Talk
From BDD Scenarios to Test Case Generation
A-MOST
Tannaz Zameni University of Twente, Petra van den Bos University of Twente, The Netherlands, Jan Tretmans Radboud University Nijmegen, TNO-ESI, Johan Foederer Topic Embedded Systems, Arend Rensink University of Twente, The Netherlands
14:30
30m
Talk
ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining Test Scenarios
A-MOST
Francesco Basciani University of L'Aquila, Vittorio Cortellessa University of L'Aquila, Sergio Di Martino Università degli Studi di Napoli Federico II, Dario Di Nucci University of Salerno, Daniele Di Pompeo University of L'Aquila, Carmine Gravino University of Salerno, Luigi Libero Lucio Starace Università degli Studi di Napoli Federico II
15:00
30m
Panel
Discussion: "Testing Autonomous Systems: Some Immediate Questions"
A-MOST