We will present a methodology and a tool to generate test cases from a model expressed in Business Process models and a set of
for choosing a particular kind of tests. In order to do this we transform the Business Process models in an intermediate format called Algebraic Petri Nets. We then use model checking techniques (e.g. Decision Diagrams) to encode the state space — the semantics — of the model and producing test cases including their oracles according to that transition system.
Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten