From BDD Scenarios to Test Case Generation
conference paper
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 difficulty in creating and maintaining models. 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.
Topics
Behavior-Driven DevelopmentCompositional testingModel-Based testingBoolean functionsSoftware testingAgile developmentAutomatic GenerationBehavior-driven developmentCompositional testingDevelopment processDevelopment scenariosHuman languageModel based testingSystems under developementTest case generationModel checking
TNO Identifier
987234
ISBN
979-835033335-0
Source title
Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023. Dublin 16 April 2023 through 20 April 2023
Pages
36-44
Files
To receive the publication files, please send an e-mail request to TNO Repository.