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

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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 languageEnglish
Title of host publication2024 IEEE International Conference on Software Analysis, Evolution and Reengineering - Companion (SANER-C)
PublisherIEEE
Pages199-206
Number of pages8
ISBN (Electronic)979-8-3503-5157-6
ISBN (Print)979-8-3503-5158-3
DOIs
Publication statusPublished - 15 Aug 2024
EventIEEE International Conference on Software Analysis, Evolution and Reengineering - Companion, SANER-C 2024 - Rovaniemi, Finland
Duration: 12 Mar 202412 Mar 2024

Conference

ConferenceIEEE International Conference on Software Analysis, Evolution and Reengineering - Companion, SANER-C 2024
Abbreviated titleSANER-C 2024
Country/TerritoryFinland
CityRovaniemi
Period12/03/2412/03/24

Keywords

  • 2024 OA procedure
  • Behavior-Driven Development
  • Symbolic Transition Systems
  • BDD Transition Systems
  • Testing
  • Model-based testing

Fingerprint

Dive into the research topics of 'An Intermediate Language to Integrate Behavior-Driven Development Scenarios and Model-Based Testing'. Together they form a unique fingerprint.

Cite this