Abstract
We combine Behavior-Driven Development (BDD) and formal Model-Based Testing (MBT), to benefit from the smooth collaboration among stakeholders in BDD, and from au-tomated testing with precise test cases in MBT. However, textual BDD scenarios written in natural language are not sufficient for formal MBT, as they might be ambiguous and lack the required information for testing. In this paper, we define a building block for the integration of BDD and MBT: an intermediate language, IBDD, to fill the gap between textual scenarios and formal models. Furthermore, we formally translate IBDD to BDD Transition Systems, which are formal models for BDD scenarios. Finally, we introduce three approaches for transforming BDDTSs into Symbolic Transition Systems, for which state-of-the-art MBT test generation algorithms are available.
Original language | English |
---|---|
Title of host publication | 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C) |
Publisher | IEEE |
Pages | 199-206 |
Number of pages | 8 |
ISBN (Electronic) | 979-8-3503-5157-6 |
ISBN (Print) | 979-8-3503-5158-3 |
DOIs | |
Publication status | Published - 15 Aug 2024 |
Event | IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion, SANER-C 2024 - Rovaniemi, Finland Duration: 12 Mar 2024 → 12 Mar 2024 |
Conference
Conference | IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion, SANER-C 2024 |
---|---|
Abbreviated title | SANER-C 2024 |
Country/Territory | Finland |
City | Rovaniemi |
Period | 12/03/24 → 12/03/24 |
Keywords
- 2024 OA procedure
- Behavior-Driven Development
- Symbolic Transition Systems
- BDD Transition Systems
- Testing
- Model-based testing