Sequential Composition of BDD Transition Systems for Model-Based Testing

Sequential Composition of BDD Transition Systems for Model-Based Testing

연구 분야: Software Development

학회: International Conference on Formal Techniques for Distributed Objects, Components, and Systems

This paper presents a compositional approach to model-based test derivation in Behavior-Driven Development (BDD). In BDD, system behavior is specified through scenarios written in natural language. For each scenario, a test case can be derived. However, such test cases do not cover the integration of multiple behaviors, while that is where potential faults may very well occur. To counter this, we introduce a formal composition operator for sequential composition, which integrates the individual BDDs while preserving their test coverage. We also report on a prototype tool that integrates model-based features into an existing testing framework that supports BDD-based test derivation. We show the feasibility and advantages of our approach by applying the prototype to a real-world case study.