Input: β , an intermediate testable model of a given scenario |
ββgraph with initial node, . |
Output: β , a collection of test scenarios forming the test suite. |
Data: β , a set of base paths which is initially empty |
ββ : a set of internal paths corresponding to a composite node, |
ββ . |
1:βGenerate base path, from ITM |
2:β βββββ//β Add to the set of base paths |
3:β while β do |
4:ββ for path β do |
5:βββLet be a sequence |
ββββ of adjacent nodes in |
6:βββfor all β β do |
7:ββββif is not a composite node then |
8:ββββββββ// is fully expanded and it |
ββββββ is added to the test suite |
9:βββββRemove from |
10:ββββelse |
11:βββββ for composite node β do |
12:βββββββGet internal paths corresponding to the node |
13:βββββββLet denote internal paths |
ββββββββcorresponding to the composite node |
14:βββββββ for β do |
15:ββββββββReplace the node in with the internal path |
βββββββββ and let the expanded form of be |
16:ββββββββ ββββ// Add to |
17:βββββββ end for |
18:βββββ end for |
19:ββββ end if |
20:βββ end for |
21:ββ end for |
22:β end while |
AlgorithmβTest scenario generation from ITM |