We introduce a compositional approach to model-based test generation in Behavior-Driven Development (BDD). BDD is an agile methodology in which system behavior is specified through textual scenarios that, in our approach, are translated into transition systems used for model-based testing. This paper formally defines disjunction composition, to combine BDD transition systems that represent alternative system behaviors. Disjunction composition allows for modeling and testing the integrated behavior while ensuring that the testing power of the original set of scenarios is preserved. This is proved using a symbolic semantics for BDD transition systems, with the property that the symbolic equivalence of two BDD transition systems guarantees that they fail the same test cases. Also, we demonstrate the potential of disjunction composition by applying the composition in an industrial case study.

翻译：本文提出了一种在行为驱动开发（BDD）中进行模型驱动测试生成的组合方法。BDD是一种敏捷方法，其中系统行为通过文本场景进行规约；在我们的方法中，这些场景被转换为用于模型驱动测试的转换系统。本文正式定义了析取组合运算，用以整合表示系统替代行为的BDD转换系统。析取组合允许对集成行为进行建模和测试，同时确保原始场景集的测试能力得以保持。这一性质通过BDD转换系统的符号语义得以证明，其特性在于：两个BDD转换系统的符号等价性保证了它们会使相同的测试用例失败。此外，我们通过工业案例研究中的应用，展示了析取组合方法的潜力。