An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing
conference paper
We combine Behavior-Driven Development (BDD) and formal Model-Based Testing (MBT), to benefit from the smooth collaboration among stakeholders in BDD, and from automated 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.
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.
Topics
TNO Identifier
1005910
Publisher
IEEE
Source title
SANER-C 2024: 2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion, Rovaniemi, Finland, 12-15 March 2024
Pages
199-206
Files
To receive the publication files, please send an e-mail request to TNO Repository.