From BDD Scenarios to Test Case Generation
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 AprDisplayed time zone: Dublin change
14:00 - 15:30 | |||
14:00 30mTalk | 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 30mTalk | 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 30mPanel | Discussion: "Testing Autonomous Systems: Some Immediate Questions" A-MOST |