An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing

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.