regression_test/all_from/all_from_superset.ttcn

   1 /******************************************************************************
   2  * Copyright (c) 2000-2015 Ericsson Telecom AB
   3  * All rights reserved. This program and the accompanying materials
   4  * are made available under the terms of the Eclipse Public License v1.0
   5  * which accompanies this distribution, and is available at
   6  * http://www.eclipse.org/legal/epl-v10.html
   7  ******************************************************************************/
   8 module all_from_superset
   9 {
  10 import from types all;
  11 import from functions all;
  12 import from imported_templates all;
  13 template RoI t_RoI1 := {1, 2, (6..9)};
  14 template RoI t_RoI2 := {1, *, 3};
  15
  16 group Csaba_group {
  17   // B 1.2.6 Superset
  18
  19   //EXAMPLE 1:
  20
  21   template MySetOfType MyTemplate1 := superset (1, 2, 3);
  22   // matches any sequence of integers which contains at least one occurrences of the numbers
  23   // 1, 2 and 3 in any order and position
  24
  25   template MySetOfType MyTemplate2_AnyValue := superset (1, 2, ?);
  26   // matches any sequence of integers which contains at least one occurrences of the numbers
  27   // 1, 2 and at least one more valid integer value (i.e. between 0 and 10, inclusively), in any
  28   // order and position
  29
  30   template MySetOfType MyTemplate3 := superset (1, 2, (3, 4));
  31   // matches any sequence of integers which contains at least one occurrences of the numbers
  32   // 1, 2 and a number with the value 3 or 4, in any order and position
  33
  34   template MySetOfType MyTemplate4 := superset (1, 2, complement(3, 4));
  35   // any sequence of integers matches which contains at least one occurrences of the numbers
  36   // 1, 2 and a valid integer value which is not 3 or 4, in any order and position
  37
  38   template MySetOfType MyTemplate6 := superset (1, 2, 3) length (7);
  39   // matches any sequence of 7 integers which contains at least one occurrences of the numbers
  40   // 1, 2 and 3 in any order and position
  41
  42   template MySetOfType MyTemplate7 := superset (1, 2, ?) length (7 .. infinity);
  43   // matches any sequence of at least 7 integers which contains at least one occurrences of the
  44   // numbers 1, 2 and 3 in any order and position
  45
  46   template MySetOfType MyTemplate8 := superset (1, 2, 3) length (2 .. 7);
  47   // causes an error, the lower bound of the length attribute contradicts to the minimum number
  48   // of elements imposed by the superset argument
  49
  50   //EXAMPLE 2:
  51   template RoI t_RoI1s := {1, 2, ?};
  52   template SoI t_SoI1s := superset(all from t_RoI1s);
  53   // results in superset(1, 2, ?)
  54
  55   testcase tc_superset() runs on A
  56   {
  57     action("superset: ", t_SoI1s);
  58     var SoI v;
  59
  60     v := {};
  61     if (not match(v, t_SoI1s)) { setverdict(pass); }
  62     else { setverdict(fail, v, " should NOT match ", t_SoI1s); }
  63
  64     v := { 1 };
  65     if (not match(v, t_SoI1s)) { setverdict(pass); }
  66     else { setverdict(fail, v, " should NOT match ", t_SoI1s); }
  67
  68     v := { 1, 2 };
  69     if (not match(v, t_SoI1s)) { setverdict(pass); }
  70     else { setverdict(fail, v, " should NOT match ", t_SoI1s); }
  71
  72     v := { 1, 2, 3 };
  73     if (match(v, t_SoI1s)) { setverdict(pass); }
  74     else { setverdict(fail, v, " should match ", t_SoI1s); }
  75
  76     v := { 1, 2, 4, 8, 16, 32 };
  77     if (match(v, t_SoI1s)) { setverdict(pass); }
  78     else { setverdict(fail, v, " should match ", t_SoI1s); }
  79
  80     v := { 16, 8, 4, 2, 1 };
  81     if (match(v, t_SoI1s)) { setverdict(pass); }
  82     else { setverdict(fail, v, " should match ", t_SoI1s); }
  83
  84     v := { 1, 2, 1 };
  85     if (match(v, t_SoI1s)) { setverdict(pass); }
  86     else { setverdict(fail, v, " should match ", t_SoI1s); }
  87
  88     v := { 10, 2, 3 };
  89     if (not match(v, t_SoI1s)) { setverdict(pass); }
  90     else { setverdict(fail, v, " should NOT match ", t_SoI1s); }
  91   }
  92
  93 }//Csaba_group
  94
  95 group Attila_group {
  96
  97   //=============== Templates ==========================
  98   //set of integers
  99   template SoI t_SoI1 := {1, 2, (6..9)};
 100   template SoI t_SoI2 := {1, *, 3};
 101   template SoI t_SoI3 := {20,21,22};
 102   template SoI t_SoI4 := {1,2,?};
 103   template SoI t_SoI5 := {1,2};
 104
 105   //Superset of Integers
 106   template SoI t_i0sup      := superset (all from t_SoI3 );
 107   template SoI t_i0sup_eq   := superset (20,21,22);
 108   template SoI t_i0sup_1    := superset ((all from t_SoI3 ));//i.e.: superset((20,21,22)); -it worked!
 109   template SoI t_i0sup_1_eq := superset ((20,21,22));
 110   template SoI t_i1sup      := superset (all from t_SoI1, 100);
 111   template SoI t_i1sup_eq   := superset (1, 2, (6..9), 100);
 112   template SoI t_i2sup      := superset (-1,0,all from t_SoI1, 100);
 113   template SoI t_i2sup_eq   := superset (-1,0,1,2,(6..9),100);
 114   template SoI t_i3sup      := superset(-1,0,all from t_SoI1, all from t_SoI3, 100);
 115   template SoI t_i3sup_eq   := superset (-1,0,1,2,(6..9),20,21,22, 100);
 116
 117   template SoI t_i4sup      := superset(-1,0,all from t_SoI1, 100, all from t_SoI3);
 118   template SoI t_i4sup_eq   := superset (-1,0,1,2,(6..9),100,20,21,22);
 119
 120   template SoI t_i5sup      := superset(-1,0,all from t_SoI1, 100, all from t_SoI3,all from t_SoI3 ); //repetition
 121   template SoI t_i5sup_eq   := superset (-1,0,1,2,(6..9),100,20,21,22,20,21,22);
 122
 123   template SoI t_i6sup      := superset(-1,0,all from t_SoI1, 100, all from t_SoI3,all from t_SoI3,all from t_SoI3); //repetition
 124   template SoI t_i6sup_eq   := superset (-1,0,1,2,(6..9),100,20,21,22,20,21,22,20,21,22);
 125
 126   template SoI t_i7sup      := superset(all from t_SoI1) length (7);
 127   template SoI t_i7sup_eq   := superset(1,2,(6..9)) length (7);
 128
 129   template SoI t_i7sup_1    := superset(all from t_SoI1) length (6);
 130   template SoI t_i7sup_1_eq := superset(1,2,(6..9)) length (6);
 131
 132   template SoI t_i8sup      := superset(all from t_SoI1, complement(8,9)) length (4);
 133   template SoI t_i8sup_eq   := superset(1,2,(6..9),complement(8,9)) length (4);
 134
 135   template SoI t_i9sup      := superset(complement(all from t_SoI1)) //length (4);
 136   template SoI t_i9sup_eq   := superset(complement(1,2,(6..9))) //length (4);
 137
 138   template SoI t_i9sup_1      := superset(complement(all from t_SoI1)) length (4);
 139   template SoI t_i9sup_1_eq   := superset(complement(1,2,(6..9))) length (4);
 140
 141   template SoI t_i10sup     := superset(all from t_SoI1, complement(all from t_SoI1)) length (4);
 142   template SoI t_i10sup_eq  := superset(1,2,(6..9),complement(1,2,(6..9) )) length (4);
 143
 144   template SoI t_i11sup     := superset(all from t_SoI1, complement(all from t_SoI5)) length (4);
 145   template SoI t_i11sup_eq  := superset(1,2,(6..9), complement(1,2)) length (4);
 146
 147   // compile error (correct behaviour):
 148   // template SoI t_i7sup_err := superset(all from t_SoI1) length (2);
 149   // There are more (at least 3) elements in the template than it is allowed by the length restriction (2)
 150   //template SoI t_i9sup_err := superset(complement(all from t_SoI1)) length (2);
 151   //There are more (at least 4) elements in the template than it is allowed by the length restriction (2) <== correct 4 for 7
 152   // It is ready, see tc_superset_i7
 153
 154   template SoI t_importing_i0sup   := superset (all from t_imported_RoI3 );
 155   template SoI t_importing_i0sup_1 := superset ((all from t_imported_RoI3 ));
 156   template SoI t_importing_i1sup   := superset (all from t_imported_RoI1, 100);
 157   template SoI t_importing_i2sup   := superset (-1,0,all from t_imported_RoI1,100);
 158
 159   //================= Testcases for Static Templates ========================
 160
 161   //=== i0 ===
 162   //t_i0s:=superset (20,21,22)
 163   testcase tc_superset_i0_eq() runs on A {
 164     f_checkSoITemplateEquivalence(t_i0sup,t_i0sup_eq);
 165   }
 166
 167   testcase tc_superset_importing_i0_eq() runs on A {
 168     f_checkSoITemplateEquivalence(t_importing_i0sup,t_i0sup_eq);
 169   }
 170   //local template
 171   testcase tc_superset_i0_eq_local() runs on A {
 172     template SoI tl_i0sup := superset (all from t_SoI3 );
 173     f_checkSoITemplateEquivalence(tl_i0sup,t_i0sup_eq);
 174   }
 175   testcase tc_superset_importing_i0_eq_local() runs on A {
 176     template SoI tl_importing_i0sup := superset (all from t_imported_RoI3 );
 177     f_checkSoITemplateEquivalence(tl_importing_i0sup,t_i0sup_eq);
 178   }
 179   testcase tc_superset_i0_eq_2local() runs on A {
 180     template SoI tl_SoI3 := {20,21,22};
 181     template SoI tl_i0sup := superset (all from tl_SoI3 );
 182     f_checkSoITemplateEquivalence(tl_i0sup,t_i0sup_eq);
 183   }
 184
 185   testcase tc_superset_i0() runs on A {
 186     var RoSoI vl_goodValues := {{20,21,22},{20,21,22,23}, {24,23,22,21,20,19}};
 187     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21}};
 188     f_checkSoITemplate(t_i0sup,vl_goodValues,vl_badValues);
 189   }
 190
 191   testcase tc_superset_importing_i0() runs on A {
 192     var RoSoI vl_goodValues := {{20,21,22},{20,21,22,23}, {24,23,22,21,20,19}};
 193     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21}};
 194     f_checkSoITemplate(t_importing_i0sup,vl_goodValues,vl_badValues);
 195   }
 196
 197   //=== i0sup_1===
 198   //superset ((20,21,22))
 199   testcase tc_superset_i0_1_eq() runs on A {
 200     f_checkSoITemplateEquivalence(t_i0sup_1,t_i0sup_1_eq);
 201   }
 202
 203   testcase tc_superset_i0_1_eq_local() runs on A {
 204     template SoI tl_i0sup_1    := superset ((all from t_SoI3 ))
 205     f_checkSoITemplateEquivalence(tl_i0sup_1,t_i0sup_1_eq);
 206   }
 207
 208   testcase tc_superset_i0_1_eq_2local() runs on A {
 209     template SoI tl_SoI3 := {20,21,22};
 210     template SoI tl_i0sup_1    := superset ((all from tl_SoI3 ))
 211     f_checkSoITemplateEquivalence(tl_i0sup_1,t_i0sup_1_eq);
 212   }
 213
 214   //superset ((20,21,22));
 215   testcase tc_superset_i0_1() runs on A {
 216     var RoSoI vl_goodValues := {{20},{21},{22},{20,21},{22,20},{22,21},{20,21,22},{20,21,22,23},{24,23,22,21,20,19}};
 217     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{}};
 218     f_checkSoITemplate(t_i0sup_1,vl_goodValues,vl_badValues);
 219   }
 220
 221   testcase tc_superset_i0_1_2local() runs on A {
 222     template SoI tl_SoI3 := {20,21,22};
 223     template SoI tl_i0sup_1    := superset ((all from tl_SoI3 ))
 224     var RoSoI vl_goodValues := {{20},{21},{22},{20,21},{22,20},{22,21},{20,21,22},{20,21,22,23},{24,23,22,21,20,19}};
 225     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{}};
 226     f_checkSoITemplate(tl_i0sup_1,vl_goodValues,vl_badValues);
 227   }
 228   //=== i1sup ===
 229   testcase tc_superset_i1_eq() runs on A {
 230     f_checkSoITemplateEquivalence(t_i1sup,t_i1sup_eq);
 231   }
 232
 233   testcase tc_superset_i1() runs on A {
 234     var RoSoI vl_goodValues := {{1,2,6,100}, {1,2,7,100},{1,2,8,100},{1,2,9,100}, {1,2,3,4,5,6,7,8,9,100}, {1,2,3,4,5,6,7,8,9,100}};
 235     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21,100},{2,6,100}, {2,6,7,8,9,100},{1,6,7,8,9,100}};
 236     f_checkSoITemplate(t_i1sup,vl_goodValues,vl_badValues);
 237   }
 238
 239   //=== i2 ===
 240   testcase tc_superset_i2_eq() runs on A {
 241     f_checkSoITemplateEquivalence(t_i2sup,t_i2sup_eq);
 242   }
 243
 244   testcase tc_superset_i2() runs on A {
 245     var RoSoI vl_goodValues := {{-1,0,1,2,6,20,21,22,100},{-1,0,1,2,7,20,21,22,100},{-1,0,1,2,8,20,21,22,100},{-1,0,1,2,9,20,21,22,100},
 246       {-1,0,1,2,6,7,8,9,20,21,22,100},{1,-1,2,0,3,4,5,6,7,8,9,20,21,22,100}, {1,2,3,4,5,6,7,8,9,20,21,22,100,-1,0}};
 247     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21,100}, {2,6,7,8,9,100},{1,6,7,8,9,100}};
 248     f_checkSoITemplate(t_i2sup,vl_goodValues,vl_badValues);
 249   }
 250
 251   //=== i3 ===
 252   //superset (-1,0,1,2,(6..9),20,21,22, 100);
 253   testcase tc_superset_i3_eq() runs on A {
 254     f_checkSoITemplateEquivalence(t_i3sup,t_i3sup_eq);
 255   }
 256
 257   testcase tc_superset_i3() runs on A {
 258     var RoSoI vl_goodValues := {{20,21,22,-1,0,1,2,6,7,8,9,100},{20,21,22,1,-1,2,0,3,4,5,6,20,21,22,7,8,9,100}, {1,20,21,22,2,3,4,5,6,7,8,9,100,-1,0}};
 259     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21,100}, {2,6,7,8,9,20,21,22,100},{20,21,22,1,6,7,8,9,100}};
 260     f_checkSoITemplate(t_i3sup,vl_goodValues,vl_badValues);
 261   }
 262
 263   //=== i4 ===
 264   //superset (-1,0,1,2,(6..9),100,20,21,22); //order
 265   testcase tc_superset_i4_eq() runs on A {
 266     f_checkSoITemplateEquivalence(t_i4sup,t_i4sup_eq);
 267   }
 268
 269   testcase tc_superset_i4() runs on A {
 270     var RoSoI vl_goodValues := {
 271       {20,21,22,-1,0,1,2,6,100},{20,21,22,-1,0,1,2,7,100},{20,21,22,-1,0,1,2,6,100},{20,21,22,-1,0,1,2,8,100},{20,21,22,-1,0,1,2,9,100},
 272       {20,21,22,-1,0,1,2,6,7,8,9,100},
 273       {20,21,22,1,-1,2,0,3,4,5,6,20,21,22,7,8,9,100},
 274       {1,20,21,22,2,3,4,5,6,7,8,9,100,-1,0}};
 275     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21,100}, {2,6,7,8,9,20,21,22,100},{20,21,22,1,6,7,8,9,100}};
 276     f_checkSoITemplate(t_i4sup,vl_goodValues,vl_badValues);
 277   }
 278
 279   //=== i5 ===
 280   //superset (-1,0,1,2,(6..9),100,20,21,22,20,21,22);
 281   testcase tc_superset_i5_eq() runs on A {
 282     f_checkSoITemplateEquivalence(t_i5sup,t_i5sup_eq);
 283   }
 284
 285   testcase tc_superset_i5() runs on A {
 286     var RoSoI vl_goodValues := {
 287       {20,21,22,-1,0,1,2,6,100,20,21,22},{20,21,22,-1,0,1,2,7,100,20,21,22},{20,21,22,-1,0,1,2,8,100,20,21,22},{20,21,22,-1,0,1,2,9,100,20,21,22},
 288       {20,21,22,-1,0,1,2,6,7,100,20,21,22},
 289       {20,21,22,-1,0,1,2,6,7,8,9,100,20,21,22},
 290       {20,21,22,20,21,22,1,-1,2,0,3,4,5,6,20,21,22,7,8,9,100},
 291       {20,21,22,1,20,21,22,2,3,4,5,6,7,8,9,100,-1,0}};
 292     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21,100}, {2,6,7,8,9,20,21,22,100},{20,21,22,1,6,7,8,9,100}};
 293     f_checkSoITemplate(t_i5sup,vl_goodValues,vl_badValues);
 294   }
 295
 296   //=== i6 ===
 297   //superset (-1,0,1,2,(6..9),100,20,21,22,20,21,22,20,21,22);
 298   testcase tc_superset_i6_eq() runs on A {
 299     f_checkSoITemplateEquivalence(t_i6sup,t_i6sup_eq);
 300   }
 301
 302   testcase tc_superset_i6() runs on A {
 303     var RoSoI vl_goodValues :=
 304     {
 305       {20,21,22,20,21,22,-1,0,1,2,6,100,20,21,22},{20,21,22,20,21,22,-1,0,1,2,7,100,20,21,22},
 306       {20,21,22,20,21,22,-1,0,1,2,8,9,100,20,21,22},{20,21,22,20,21,22,-1,0,1,2,6,7,8,100,20,21,22},
 307       {20,21,22,20,21,22,-1,0,1,2,6,7,8,9,100,20,21,22},
 308       {20,21,22,1,-1,2,0,3,4,5,6,20,21,22,7,20,21,22,8,9,100,20,21,22},
 309       {1,20,21,22,2,3,4,5,6,7,8,9,100,-1,0,20,21,22,20,21,22}};
 310     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21,100}, {2,6,7,8,9,20,21,22,100},{20,21,22,1,6,7,8,9,100}};
 311     f_checkSoITemplate(t_i6sup,vl_goodValues,vl_badValues);
 312   }
 313
 314   //=== i7 ===
 315   //superset(1,2,(6..9)) length (7);
 316   testcase tc_superset_i7_eq() runs on A {
 317     f_checkSoITemplateEquivalence(t_i7sup,t_i7sup_eq);
 318   }
 319
 320   testcase tc_superset_i7() runs on A {
 321     var RoSoI vl_goodValues := {
 322       {1,2,6,100,200,300,400},{1,2,7,100,200,300,400},{1,2,8,100,200,300,400},{1,2,9,100,200,300,400},
 323       {2,1,6,100,200,300,400},
 324       {1,2,6,7,8,9,0},{1,2,6,7,8,9,1000},{1,2,-1,6,7,8,9}};
 325     var RoSoI vl_badValues := {{1,2,3,4,5,6,7,8,9},{0},{1},{-1},{1000},{1,19},{},
 326       {20},{21},{22},{20,21},
 327       {22,20},{22,21,100},
 328       {2,6,7,8,9,100},{1,6,7,8,9,100}};
 329     f_checkSoITemplate(t_i7sup,vl_goodValues,vl_badValues);
 330   }
 331
 332   //=== i7sup_1 ===
 333   //superset(1,2,(6..9)) length (6);
 334   testcase tc_superset_i7_1_eq() runs on A {
 335     f_checkSoITemplateEquivalence(t_i7sup_1,t_i7sup_1_eq);
 336   }
 337   testcase tc_superset_i7_1() runs on A {
 338     var RoSoI vl_goodValues := {{1,2,6,7,8,9},
 339       {1,2,6,100,200,300},{1,2,7,100,200,300},{1,2,7,100,200,300},{1,2,8,100,200,300},{1,2,9,100,200,300}};
 340     var RoSoI vl_badValues := {{1,2,3,4,5,6,7,8,9},
 341       {0},{1},{-1},{1000},
 342       {1,19},{},{20},{21},{22},{20,21},{22,20},
 343       {22,21,100},
 344       {2,6,7,8,9,100},{1,6,7,8,9,100}};
 345     f_checkSoITemplate(t_i7sup_1,vl_goodValues,vl_badValues);
 346   }
 347
 348   //=== i8 ===
 349   //superset(1,2,(6..9),complement(8,9)) length (4);
 350   testcase tc_superset_i8_eq() runs on A {
 351     f_checkSoITemplateEquivalence(t_i8sup,t_i8sup_eq);
 352   }
 353
 354   testcase tc_superset_i8() runs on A {
 355     var RoSoI vl_goodValues := {
 356       {1,2,6,6},{1,2,7,6},{1,2,8,6},{1,2,9,6},
 357       {1,2,6,7},{1,2,7,7},{1,2,8,7},{1,2,9,7},
 358       {1,2,6,10},{1,2,7,10},{1,2,8,10},{1,2,9,10},
 359       {1,2,8,6},{1,2,8,7}
 360     };
 361     var RoSoI vl_badValues := {
 362       {1,2,8,9},{1,2,9,9},
 363       {1,2,8,9},{1,2,9,9},
 364       {1,2,6,10,11},{1,2,7,10,12,13},{1,2,5,10},{1,2,4,10},
 365
 366       {},
 367       {0},{1},{2},{1000},
 368       {1,2},{1,6},{20,21},{22,20},
 369       {22,21,100},{1,2,6},
 370       {1,2,3,4,5,6,7,8,9},
 371       {2,6,7,8,9,100},{1,6,7,8,9,100},{1,2,3,4,5,6,7,8,9} };
 372     f_checkSoITemplate(t_i8sup,vl_goodValues,vl_badValues);
 373   }
 374
 375   //=== i9 ===
 376   //superset(complement(1,2,(6..9)))                //length (4);
 377   // It matches all set of integers which contains at least one integer which is not 1,2,6,7,8 or 9
 378   testcase tc_superset_i9_eq() runs on A {
 379     f_checkSoITemplateEquivalence(t_i9sup,t_i9sup_eq);
 380   }
 381   testcase tc_superset_i9() runs on A {
 382     var RoSoI vl_goodValues := {
 383       {0,3,4,5},{0,10,11,12},{0},{3},{4},{5},{10},{11},{3,4},{1,2,3},{1,2,6,10},{1,2,6,7,8,9,10}
 384     };
 385     var RoSoI vl_badValues := {
 386       {},{1},{2},{6},{7},{8},{9},{1,2},{1,6},{1,7},{1,8},{1,9},{2,6},{2,7},{2,8},{2,9},{1,2,6},{1,2,6,9}
 387     }
 388     f_checkSoITemplate(t_i9sup,vl_goodValues,vl_badValues);
 389   }
 390
 391   //=== i9sup_1 ===
 392   //superset(complement(1,2,(6..9)))       length (4);
 393   // It matches all set of integers with length 4 which contains at least one integer which is not 1,2,6,7,8 or 9
 394   testcase tc_superset_i9_1_eq() runs on A {
 395     f_checkSoITemplateEquivalence(t_i9sup_1,t_i9sup_1_eq);
 396   }
 397   testcase tc_superset_i9_1() runs on A {
 398     var RoSoI vl_goodValues := {
 399       {0,3,4,5},{0,10,11,12}, //4matches to compl
 400       {1,3,4,5},{2,3,4,5},{6,3,4,5},  //3 matches
 401       {1,2,10,11}, //2matches to compl value list
 402       {1,2,6,10} //1matches
 403     };
 404     var RoSoI vl_badValues := {{0},{3},{4},{5},{10},{11},{3,4},{1,2,3},
 405       {},{1},{2},{6},{7},{8},{9},{1,2},{1,6},{1,7},{1,8},{1,9},{2,6},{2,7},{2,8},{2,9},{1,2,6},{1,2,6,9},{1,2,6,7,8,9,10}
 406     }
 407     f_checkSoITemplate(t_i9sup_1,vl_goodValues,vl_badValues);
 408   }
 409   //=== i10 ===
 410   //superset(1,2,(6..9),complement(1,2,(6..9) )) length (4);
 411   //This matches with set of values (with length of 4) which contains at least once values from the list 1,2,(6..9) furthermore one value which does not matches
 412   // with that list
 413   testcase tc_superset_i10_eq() runs on A {
 414     f_checkSoITemplateEquivalence(t_i10sup,t_i10sup_eq);
 415   }
 416
 417   testcase tc_superset_i10() runs on A {
 418     var RoSoI vl_goodValues := {
 419       {1,2,6,10},{1,2,7,11},{1,2,8,-1},{1,2,9,0},{1,2,9,1000}
 420     };
 421     var RoSoI vl_badValues := {
 422       {0},{3},{4},{5},{10},{11},{3,4},{1,2,3},
 423       {},{1},{2},{6},{7},{8},{9},{1,2},{1,6},{1,7},{1,8},{1,9},{2,6},{2,7},{2,8},{2,9},{1,2,6},
 424       {1,2,6,9},{0,3,4,5},{0,10,11,12}, //4matches to compl
 425       {1,3,4,5},{2,3,4,5},{6,3,4,5},  //3 matches{1,2,6,7,8,9,10}
 426       {1,3,4,5},
 427       {2,3,4,5},
 428       {6,3,4,5},
 429       {1,2,10,11}
 430     }
 431     f_checkSoITemplate(t_i10sup,vl_goodValues,vl_badValues);
 432   }
 433
 434   //=== i11 ===
 435   // superset(1,2,(6..9), complement(1,2)) length (4);
 436
 437   testcase tc_superset_i11_eq() runs on A {
 438     f_checkSoITemplateEquivalence(t_i11sup,t_i11sup_eq);
 439   }
 440
 441   testcase tc_superset_i11() runs on A {
 442     var RoSoI vl_goodValues := {
 443       {1,2,6,0},{1,2,7,3},{1,2,8,3},{1,2,9,4},{1,2,9,1000}
 444     };
 445     var RoSoI vl_badValues := {
 446       {0},{3},{4},{5},{10},{11},{3,4},{1,2,3},
 447       {},{1},{2},{6},{7},{8},{9},{1,2},{1,6},{1,7},{1,8},{1,9},{2,6},{2,7},{2,8},{2,9},{1,2,6},
 448       {1,2,6,1},{0,3,4,5},{0,10,11,12},
 449       {1,3,4,5},{2,3,4,5},{6,3,4,5},
 450       {1,3,4,5},
 451       {2,3,4,5},
 452       {6,3,4,5},
 453       {1,2,10,11}
 454     }
 455     f_checkSoITemplate(t_i11sup,vl_goodValues,vl_badValues);
 456   }
 457   //========== Testcases for Dynamic Templates ==============
 458
 459   //=== i0 ===
 460   testcase tc_superset_i0_eq_dyn() runs on A {
 461     var template SoI tl_i0sup := superset (all from t_SoI3 );
 462     f_checkSoITemplateEquivalence(tl_i0sup,t_i0sup_eq);
 463   }
 464   testcase tc_superset_importing_i0_eq_dyn() runs on A {
 465     var template SoI tl_importing_i0sup   := superset (all from t_imported_RoI3 );
 466     f_checkSoITemplateEquivalence(tl_importing_i0sup,t_i0sup_eq);
 467   }
 468
 469   testcase tc_superset_i0_eq_2dyn() runs on A {
 470     var template SoI tl_SoI3 := {20,21,22};
 471     var template SoI tl_i0sup := superset (all from tl_SoI3 );
 472     f_checkSoITemplateEquivalence(tl_i0sup,t_i0sup_eq);
 473   }
 474
 475   testcase tc_superset_i0_dyn() runs on A {
 476     var template SoI tl_i0sup := superset (all from t_SoI3 );
 477     var RoSoI vl_goodValues := {{20,21,22},{20,21,22,23}, {24,23,22,21,20,19}};
 478     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21}};
 479     f_checkSoITemplate(tl_i0sup,vl_goodValues,vl_badValues);
 480   }
 481
 482   testcase tc_superset_i0_2dyn() runs on A {
 483     var template SoI tl_SoI3 := {20,21,22};
 484     var template SoI tl_i0sup := superset (all from tl_SoI3 );
 485     var RoSoI vl_goodValues := {{20,21,22},{20,21,22,23}, {24,23,22,21,20,19}};
 486     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21}};
 487     f_checkSoITemplate(tl_i0sup,vl_goodValues,vl_badValues);
 488   }
 489   //=== i1 ===
 490   //superset (1, 2, (6..9), 100);
 491
 492   testcase tc_superset_i1_eq_dyn() runs on A {
 493     var template SoI tl_i1sup := superset (all from t_SoI1, 100);
 494     f_checkSoITemplateEquivalence(tl_i1sup,t_i1sup_eq);
 495   }
 496
 497   testcase tc_superset_importing_i1_eq_dyn() runs on A {
 498     var template SoI tl_importing_i1sup   := superset (all from t_imported_RoI1, 100);
 499     f_checkSoITemplateEquivalence(tl_importing_i1sup,t_i1sup_eq);
 500   }
 501   testcase tc_superset_i1_eq_2dyn() runs on A {
 502     var template SoI tl_SoI1 := {1, 2, (6..9)};
 503     var template SoI tl_i1sup := superset (all from tl_SoI1, 100);
 504     f_checkSoITemplateEquivalence(tl_i1sup,t_i1sup_eq);
 505   }
 506
 507   testcase tc_superset_i1_dyn() runs on A {
 508     var template SoI tl_i1sup := superset (all from t_SoI1, 100);
 509     var RoSoI vl_goodValues := {{1,2,6,100}, {1,2,7,100},{1,2,8,100},{1,2,9,100}, {1,2,3,4,5,6,7,8,9,100}, {1,2,3,4,5,6,7,8,9,100}};
 510     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21,100},{2,6,100}, {2,6,7,8,9,100},{1,6,7,8,9,100}};
 511     f_checkSoITemplate(tl_i1sup,vl_goodValues,vl_badValues);
 512   }
 513
 514   testcase tc_superset_i1_2dyn() runs on A {
 515     var template SoI tl_SoI1 := {1, 2, (6..9)};
 516     var template SoI tl_i1sup := superset (all from tl_SoI1, 100);
 517     var RoSoI vl_goodValues := {{1,2,6,100}, {1,2,7,100},{1,2,8,100},{1,2,9,100}, {1,2,3,4,5,6,7,8,9,100}, {1,2,3,4,5,6,7,8,9,100}};
 518     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21,100},{2,6,100}, {2,6,7,8,9,100},{1,6,7,8,9,100}};
 519     f_checkSoITemplate(tl_i1sup,vl_goodValues,vl_badValues);
 520   }
 521   //=== i2 ===
 522   testcase tc_superset_i2_eq_dyn() runs on A {
 523     var template SoI tl_i2sup := superset (-1,0,all from t_SoI1, 100);
 524     f_checkSoITemplateEquivalence(tl_i2sup,t_i2sup_eq);
 525   }
 526
 527   testcase tc_superset_importing_i2_eq_dyn() runs on A {
 528     var template SoI tl_importing_i2sup   := superset (-1,0,all from t_imported_RoI1,100);
 529     f_checkSoITemplateEquivalence(tl_importing_i2sup,t_i2sup_eq);
 530   }
 531
 532   testcase tc_superset_i2_eq_2dyn() runs on A {
 533     var template SoI tl_SoI1 := {1, 2, (6..9)};
 534     var template SoI tl_i2sup := superset (-1,0,all from tl_SoI1, 100);
 535     f_checkSoITemplateEquivalence(tl_i2sup,t_i2sup_eq);
 536   }
 537
 538   testcase tc_superset_i2_dyn() runs on A {
 539     var template SoI tl_i2sup := superset (-1,0,all from t_SoI1, 100);
 540     var RoSoI vl_goodValues := {{-1,0,1,2,6,20,21,22,100},{-1,0,1,2,7,20,21,22,100},{-1,0,1,2,8,20,21,22,100},{-1,0,1,2,9,20,21,22,100},
 541       {-1,0,1,2,6,7,8,9,20,21,22,100},{1,-1,2,0,3,4,5,6,7,8,9,20,21,22,100}, {1,2,3,4,5,6,7,8,9,20,21,22,100,-1,0}};
 542     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21,100}, {2,6,7,8,9,100},{1,6,7,8,9,100}};
 543     f_checkSoITemplate(tl_i2sup,vl_goodValues,vl_badValues);
 544   }
 545
 546   testcase tc_superset_i2_2dyn() runs on A {
 547     var template SoI tl_SoI1 := {1, 2, (6..9)};
 548     var template SoI tl_i2sup := superset (-1,0,all from tl_SoI1, 100);
 549     var RoSoI vl_goodValues := {{-1,0,1,2,6,20,21,22,100},{-1,0,1,2,7,20,21,22,100},{-1,0,1,2,8,20,21,22,100},{-1,0,1,2,9,20,21,22,100},
 550       {-1,0,1,2,6,7,8,9,20,21,22,100},{1,-1,2,0,3,4,5,6,7,8,9,20,21,22,100}, {1,2,3,4,5,6,7,8,9,20,21,22,100,-1,0}};
 551     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21,100}, {2,6,7,8,9,100},{1,6,7,8,9,100}};
 552     f_checkSoITemplate(tl_i2sup,vl_goodValues,vl_badValues);
 553   }
 554
 555   //=== i3 ===
 556   //superset (-1,0,1,2,(6..9),20,21,22, 100);
 557   testcase tc_superset_i3_eq_dyn() runs on A {
 558     var template SoI tl_i3sup      := superset(-1,0,all from t_SoI1, all from t_SoI3, 100);
 559     f_checkSoITemplateEquivalence(tl_i3sup,t_i3sup_eq);
 560   }
 561
 562   testcase tc_superset_i3_eq_2dyn() runs on A {
 563     var template SoI tl_SoI1 := {1, 2, (6..9)};
 564     var template SoI tl_SoI3 := {20,21,22};
 565     var template SoI tl_i3sup      := superset(-1,0,all from tl_SoI1, all from tl_SoI3, 100);
 566     f_checkSoITemplateEquivalence(tl_i3sup,t_i3sup_eq);
 567   }
 568
 569   testcase tc_superset_i3_dyn() runs on A {
 570     var template SoI tl_i3sup      := superset(-1,0,all from t_SoI1, all from t_SoI3, 100);
 571     var RoSoI vl_goodValues := {{20,21,22,-1,0,1,2,6,7,8,9,100},{20,21,22,1,-1,2,0,3,4,5,6,20,21,22,7,8,9,100}, {1,20,21,22,2,3,4,5,6,7,8,9,100,-1,0}};
 572     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21,100}, {2,6,7,8,9,20,21,22,100},{20,21,22,1,6,7,8,9,100}};
 573     f_checkSoITemplate(t_i3sup,vl_goodValues,vl_badValues);
 574   }
 575
 576   testcase tc_superset_i3_2dyn() runs on A {
 577     var template SoI tl_SoI1 := {1, 2, (6..9)};
 578     var template SoI tl_SoI3 := {20,21,22};
 579     var template SoI tl_i3sup  := superset(-1,0,all from tl_SoI1, all from tl_SoI3, 100);
 580     var RoSoI vl_goodValues := {{20,21,22,-1,0,1,2,6,7,8,9,100},{20,21,22,1,-1,2,0,3,4,5,6,20,21,22,7,8,9,100}, {1,20,21,22,2,3,4,5,6,7,8,9,100,-1,0}};
 581     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21,100}, {2,6,7,8,9,20,21,22,100},{20,21,22,1,6,7,8,9,100}};
 582     f_checkSoITemplate(t_i3sup,vl_goodValues,vl_badValues);
 583   }
 584
 585
 586   //=== i4 ===
 587   //superset (-1,0,1,2,(6..9),100,20,21,22);
 588
 589   testcase tc_superset_i4_eq_dyn() runs on A {
 590     var template SoI tl_i4sup := superset(-1,0,all from t_SoI1, 100, all from t_SoI3);
 591     f_checkSoITemplateEquivalence(tl_i4sup,t_i4sup_eq);
 592   }
 593   testcase tc_superset_i4_eq_2dyn() runs on A {
 594     var template SoI tl_SoI1 := {1, 2, (6..9)};
 595     var template SoI tl_SoI3 := {20,21,22};
 596     var template SoI tl_i4sup := superset(-1,0,all from tl_SoI1, 100, all from tl_SoI3);
 597     f_checkSoITemplateEquivalence(tl_i4sup,t_i4sup_eq);
 598   }
 599
 600   testcase tc_superset_i4_dyn() runs on A {
 601     var template SoI tl_i4sup := superset(-1,0,all from t_SoI1, 100, all from t_SoI3);
 602     var RoSoI vl_goodValues := {
 603       {20,21,22,-1,0,1,2,6,100},{20,21,22,-1,0,1,2,7,100},{20,21,22,-1,0,1,2,6,100},{20,21,22,-1,0,1,2,8,100},{20,21,22,-1,0,1,2,9,100},
 604       {20,21,22,-1,0,1,2,6,7,8,9,100},
 605       {20,21,22,1,-1,2,0,3,4,5,6,20,21,22,7,8,9,100},
 606       {1,20,21,22,2,3,4,5,6,7,8,9,100,-1,0}};
 607     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21,100}, {2,6,7,8,9,20,21,22,100},{20,21,22,1,6,7,8,9,100}};
 608     f_checkSoITemplate(tl_i4sup,vl_goodValues,vl_badValues);
 609   }
 610
 611   testcase tc_superset_i4_2dyn() runs on A {
 612     var template SoI tl_SoI1 := {1, 2, (6..9)};
 613     var template SoI tl_SoI3 := {20,21,22};
 614     var template SoI tl_i4sup := superset(-1,0,all from tl_SoI1, 100, all from tl_SoI3);
 615     var RoSoI vl_goodValues := {
 616       {20,21,22,-1,0,1,2,6,100},{20,21,22,-1,0,1,2,7,100},{20,21,22,-1,0,1,2,6,100},{20,21,22,-1,0,1,2,8,100},{20,21,22,-1,0,1,2,9,100},
 617       {20,21,22,-1,0,1,2,6,7,8,9,100},
 618       {20,21,22,1,-1,2,0,3,4,5,6,20,21,22,7,8,9,100},
 619       {1,20,21,22,2,3,4,5,6,7,8,9,100,-1,0}};
 620     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},{22,21,100}, {2,6,7,8,9,20,21,22,100},{20,21,22,1,6,7,8,9,100}};
 621     f_checkSoITemplate(tl_i4sup,vl_goodValues,vl_badValues);
 622   }
 623
 624   //=== i5 ===
 625   //superset (-1,0,1,2,(6..9),100,20,21,22,20,21,22);
 626
 627   testcase tc_superset_i5_eq_dyn() runs on A {
 628     template SoI tl_i5sup      := superset(-1,0,all from t_SoI1, 100, all from t_SoI3,all from t_SoI3 ); //repetition
 629     f_checkSoITemplateEquivalence(tl_i5sup,t_i5sup_eq);
 630   }
 631
 632   testcase tc_superset_i5_eq_2dyn() runs on A {
 633     var template SoI tl_SoI1 := {1, 2, (6..9)};
 634     var template SoI tl_SoI3 := {20,21,22};
 635     template SoI tl_i5sup      := superset(-1,0,all from tl_SoI1, 100, all from tl_SoI3,all from tl_SoI3 ); //repetition
 636     f_checkSoITemplateEquivalence(tl_i5sup,t_i5sup_eq);
 637   }
 638
 639   testcase tc_superset_i5_dyn() runs on A {
 640     template SoI tl_i5sup      := superset(-1,0,all from t_SoI1, 100, all from t_SoI3,all from t_SoI3 );
 641
 642     var RoSoI vl_goodValues := {
 643       {20,21,22,-1,0,1,2,6,100,20,21,22},
 644       {20,21,22,-1,0,1,2,7,100,20,21,22},
 645       {20,21,22,-1,0,1,2,8,100,20,21,22},
 646       {20,21,22,-1,0,1,2,9,100,20,21,22},
 647       {20,21,22,-1,0,1,2,6,7,100,20,21,22},
 648       {20,21,22,-1,0,1,2,6,7,8,9,100,20,21,22},
 649       {20,21,22,20,21,22,1,-1,2,0,3,4,5,6,20,21,22,7,8,9,100},
 650       {20,21,22,1,20,21,22,2,3,4,5,6,7,8,9,100,-1,0}};
 651     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},
 652       {20},{21},{22},{20,21},{22,20},{22,21,100},
 653       {2,6,7,8,9,20,21,22,100},{20,21,22,1,6,7,8,9,100}};
 654     f_checkSoITemplate(tl_i5sup,vl_goodValues,vl_badValues);
 655   }
 656
 657   testcase tc_superset_i5_2dyn() runs on A {
 658     var template SoI tl_SoI1 := {1, 2, (6..9)};
 659     var template SoI tl_SoI3 := {20,21,22};
 660     template SoI tl_i5sup      := superset(-1,0,all from tl_SoI1, 100, all from tl_SoI3,all from tl_SoI3 );
 661
 662     var RoSoI vl_goodValues := {
 663       {20,21,22,-1,0,1,2,6,100,20,21,22},
 664       {20,21,22,-1,0,1,2,7,100,20,21,22},
 665       {20,21,22,-1,0,1,2,8,100,20,21,22},
 666       {20,21,22,-1,0,1,2,9,100,20,21,22},
 667       {20,21,22,-1,0,1,2,6,7,100,20,21,22},
 668       {20,21,22,-1,0,1,2,6,7,8,9,100,20,21,22},
 669       {20,21,22,20,21,22,1,-1,2,0,3,4,5,6,20,21,22,7,8,9,100},
 670       {20,21,22,1,20,21,22,2,3,4,5,6,7,8,9,100,-1,0}};
 671     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},
 672       {20},{21},{22},{20,21},{22,20},{22,21,100},
 673       {2,6,7,8,9,20,21,22,100},{20,21,22,1,6,7,8,9,100}};
 674     f_checkSoITemplate(tl_i5sup,vl_goodValues,vl_badValues);
 675   }
 676
 677   //=== i6 ===
 678   // superset (-1,0,1,2,(6..9),100,20,21,22,20,21,22,20,21,22);
 679   testcase tc_superset_i6_eq_dyn() runs on A {
 680     var template SoI tl_i6sup  := superset(-1,0,all from t_SoI1, 100, all from t_SoI3,all from t_SoI3,all from t_SoI3); //repetition
 681     f_checkSoITemplateEquivalence(tl_i6sup,t_i6sup_eq);
 682   }
 683
 684   testcase tc_superset_i6_dyn() runs on A {
 685     var RoSoI vl_goodValues :=
 686     {
 687       {20,21,22,20,21,22,-1,0,1,2,6,100,20,21,22},{20,21,22,20,21,22,-1,0,1,2,7,100,20,21,22},
 688       {20,21,22,20,21,22,-1,0,1,2,8,9,100,20,21,22},{20,21,22,20,21,22,-1,0,1,2,6,7,8,100,20,21,22},
 689       {20,21,22,20,21,22,-1,0,1,2,6,7,8,9,100,20,21,22},
 690       {20,21,22,1,-1,2,0,3,4,5,6,20,21,22,7,20,21,22,8,9,100,20,21,22},
 691       {1,20,21,22,2,3,4,5,6,7,8,9,100,-1,0,20,21,22,20,21,22}};
 692     var RoSoI vl_badValues := {{0},{1},{-1},{1000},{1,19},{},{20},{21},{22},{20,21},{22,20},
 693       {22,21,100},
 694       {2,6,7,8,9,20,21,22,100},{20,21,22,1,6,7,8,9,100},{20,21,22,1,6,7,8,9,100}
 695     };
 696     f_checkSoITemplate(t_i6sup,vl_goodValues,vl_badValues);
 697   }
 698
 699   //=== i7 ===
 700   //superset(1,2,(6..9)) length (7);
 701
 702   testcase tc_superset_i7_eq_dyn() runs on A {
 703     var template SoI tl_i7sup      := superset(all from t_SoI1) length (7);
 704     f_checkSoITemplateEquivalence(tl_i7sup,t_i7sup_eq);
 705   }
 706
 707   testcase tc_superset_i7_eq_2dyn() runs on A {
 708     var template SoI tl_SoI1 := {1, 2, (6..9)};
 709     var template SoI tl_i7sup      := superset(all from tl_SoI1) length (7);
 710     f_checkSoITemplateEquivalence(tl_i7sup,t_i7sup_eq);
 711   }
 712   testcase tc_superset_i7_dyn() runs on A {
 713     var template SoI tl_i7sup      := superset(all from t_SoI1) length (7);
 714     var RoSoI vl_goodValues := {
 715       {1,2,6,100,200,300,400},{1,2,7,100,200,300,400},{1,2,8,100,200,300,400},{1,2,9,100,200,300,400},
 716       {2,1,6,100,200,300,400},
 717       {1,2,6,7,8,9,0},{1,2,6,7,8,9,1000},{1,2,-1,6,7,8,9}};
 718     var RoSoI vl_badValues := {{1,2,3,4,5,6,7,8,9},{0},{1},{-1},{1000},{1,19},{},
 719       {20},{21},{22},{20,21},
 720       {22,20},{22,21,100},
 721       {2,6,7,8,9,100},{1,6,7,8,9,100}};
 722     f_checkSoITemplate(tl_i7sup,vl_goodValues,vl_badValues);
 723   }
 724
 725   testcase tc_superset_i7_2dyn() runs on A {
 726     var template SoI tl_SoI1 := {1, 2, (6..9)};
 727     var template SoI tl_i7sup      := superset(all from tl_SoI1) length (7);
 728     var RoSoI vl_goodValues := {
 729       {1,2,6,100,200,300,400},{1,2,7,100,200,300,400},{1,2,8,100,200,300,400},{1,2,9,100,200,300,400},
 730       {2,1,6,100,200,300,400},
 731       {1,2,6,7,8,9,0},{1,2,6,7,8,9,1000},{1,2,-1,6,7,8,9}};
 732     var RoSoI vl_badValues := {{1,2,3,4,5,6,7,8,9},{0},{1},{-1},{1000},{1,19},{},
 733       {20},{21},{22},{20,21},
 734       {22,20},{22,21,100},
 735       {2,6,7,8,9,100},{1,6,7,8,9,100}};
 736     f_checkSoITemplate(tl_i7sup,vl_goodValues,vl_badValues);
 737   }
 738
 739   //=== i7sup_1 ===
 740   //superset(1,2,(6..9)) length (6);
 741   testcase tc_superset_i7_1_eq_dyn() runs on A {
 742     template SoI tl_i7sup_1    := superset(all from t_SoI1) length (6);
 743     f_checkSoITemplateEquivalence(tl_i7sup_1,t_i7sup_1_eq);
 744   }
 745
 746   testcase tc_superset_i7_1_eq_2dyn() runs on A {
 747     var template SoI tl_SoI1 := {1, 2, (6..9)};
 748     var template SoI tl_i7sup_1    := superset(all from tl_SoI1) length (6);
 749     f_checkSoITemplateEquivalence(tl_i7sup_1,t_i7sup_1_eq);
 750   }
 751
 752   testcase tc_superset_i7_1_dyn() runs on A {
 753     template SoI tl_i7sup_1    := superset(all from t_SoI1) length (6);
 754     var RoSoI vl_goodValues := {{1,2,6,7,8,9},
 755       {1,2,6,100,200,300},{1,2,7,100,200,300},{1,2,7,100,200,300},{1,2,8,100,200,300},{1,2,9,100,200,300}};
 756     var RoSoI vl_badValues := {{1,2,3,4,5,6,7,8,9},
 757       {0},{1},{-1},{1000},
 758       {1,19},{},{20},{21},{22},{20,21},{22,20},
 759       {22,21,100},
 760       {2,6,7,8,9,100},{1,6,7,8,9,100}};
 761     f_checkSoITemplate(tl_i7sup_1,vl_goodValues,vl_badValues);
 762   }
 763
 764   testcase tc_superset_i7_1_2dyn() runs on A {
 765     var template SoI tl_SoI1 := {1, 2, (6..9)};
 766     var template SoI tl_i7sup_1    := superset(all from tl_SoI1) length (6);
 767     var RoSoI vl_goodValues := {{1,2,6,7,8,9},
 768       {1,2,6,100,200,300},{1,2,7,100,200,300},{1,2,7,100,200,300},{1,2,8,100,200,300},{1,2,9,100,200,300}};
 769     var RoSoI vl_badValues := {{1,2,3,4,5,6,7,8,9},
 770       {0},{1},{-1},{1000},
 771       {1,19},{},{20},{21},{22},{20,21},{22,20},
 772       {22,21,100},
 773       {2,6,7,8,9,100},{1,6,7,8,9,100}};
 774     f_checkSoITemplate(tl_i7sup_1,vl_goodValues,vl_badValues);
 775   }
 776
 777   //=== i8 ===
 778     //superset(1,2,(6..9),complement(8,9)) length (4);
 779   testcase tc_superset_i8_eq_dyn() runs on A {
 780     var template SoI tl_i8sup      := superset(all from t_SoI1, complement(8,9)) length (4);
 781     f_checkSoITemplateEquivalence(tl_i8sup,t_i8sup_eq);
 782   }
 783   testcase tc_superset_i8_eq_2dyn() runs on A {
 784     var template SoI tl_SoI1 := {1, 2, (6..9)};
 785     var template SoI tl_i8sup      := superset(all from tl_SoI1, complement(8,9)) length (4);
 786     f_checkSoITemplateEquivalence(tl_i8sup,t_i8sup_eq);
 787   }
 788
 789   testcase tc_superset_i8_dyn() runs on A {
 790     var template SoI tl_i8sup      := superset(all from t_SoI1, complement(8,9)) length (4);
 791     var RoSoI vl_goodValues := {
 792       {1,2,6,6},{1,2,7,6},{1,2,8,6},{1,2,9,6},
 793       {1,2,6,7},{1,2,7,7},{1,2,8,7},{1,2,9,7},
 794       {1,2,6,10},{1,2,7,10},{1,2,8,10},{1,2,9,10},
 795       {1,2,8,6},{1,2,8,7}
 796     };
 797     var RoSoI vl_badValues := {
 798       {1,2,8,9},{1,2,9,9},
 799       {1,2,8,9},{1,2,9,9},
 800       {1,2,6,10,11},{1,2,7,10,12,13},{1,2,5,10},{1,2,4,10},
 801
 802       {},
 803       {0},{1},{2},{1000},
 804       {1,2},{1,6},{20,21},{22,20},
 805       {22,21,100},{1,2,6},
 806       {1,2,3,4,5,6,7,8,9},
 807       {2,6,7,8,9,100},{1,6,7,8,9,100},{1,2,3,4,5,6,7,8,9} };
 808     f_checkSoITemplate(tl_i8sup,vl_goodValues,vl_badValues);
 809   }
 810   testcase tc_superset_i8_2dyn() runs on A {
 811     var template SoI tl_SoI1 := {1, 2, (6..9)};
 812     var template SoI tl_i8sup      := superset(all from tl_SoI1, complement(8,9)) length (4);
 813     var RoSoI vl_goodValues := {
 814       {1,2,6,6},{1,2,7,6},{1,2,8,6},{1,2,9,6},
 815       {1,2,6,7},{1,2,7,7},{1,2,8,7},{1,2,9,7},
 816       {1,2,6,10},{1,2,7,10},{1,2,8,10},{1,2,9,10},
 817       {1,2,8,6},{1,2,8,7}
 818     };
 819     var RoSoI vl_badValues := {
 820       {1,2,8,9},{1,2,9,9},
 821       {1,2,8,9},{1,2,9,9},
 822       {1,2,6,10,11},{1,2,7,10,12,13},{1,2,5,10},{1,2,4,10},
 823
 824       {},
 825       {0},{1},{2},{1000},
 826       {1,2},{1,6},{20,21},{22,20},
 827       {22,21,100},{1,2,6},
 828       {1,2,3,4,5,6,7,8,9},
 829       {2,6,7,8,9,100},{1,6,7,8,9,100},{1,2,3,4,5,6,7,8,9} };
 830     f_checkSoITemplate(tl_i8sup,vl_goodValues,vl_badValues);
 831   }
 832
 833   //=== i9 ===
 834   //superset(complement(1,2,(6..9)))                //length (4);
 835   // It matches all set of integers which contains at least one integer which is not 1,2,6,7,8 or 9
 836   testcase tc_superset_i9_eq_dyn() runs on A {
 837     var template SoI tl_i9sup      := superset(complement(all from t_SoI1))
 838     f_checkSoITemplateEquivalence(tl_i9sup,t_i9sup_eq);
 839   }
 840   testcase tc_superset_i9_eq_2dyn() runs on A {
 841     var template SoI tl_SoI1 := {1, 2, (6..9)};
 842     var template SoI tl_i9sup      := superset(complement(all from tl_SoI1))
 843     f_checkSoITemplateEquivalence(tl_i9sup,t_i9sup_eq);
 844   }
 845
 846   testcase tc_superset_i9_dyn() runs on A {
 847     var template SoI tl_i9sup      := superset(complement(all from t_SoI1))
 848     var RoSoI vl_goodValues := {
 849       {0,3,4,5},{0,10,11,12},{0},{3},{4},{5},{10},{11},{3,4},{1,2,3},{1,2,6,10},{1,2,6,7,8,9,10}
 850     };
 851     var RoSoI vl_badValues := {
 852       {},{1},{2},{6},{7},{8},{9},{1,2},{1,6},{1,7},{1,8},{1,9},{2,6},{2,7},{2,8},{2,9},{1,2,6},{1,2,6,9}
 853     }
 854     f_checkSoITemplate(tl_i9sup,vl_goodValues,vl_badValues);
 855   }
 856   testcase tc_superset_i9_2dyn() runs on A {
 857     var template SoI tl_SoI1 := {1, 2, (6..9)};
 858     var template SoI tl_i9sup      := superset(complement(all from tl_SoI1))
 859     var RoSoI vl_goodValues := {
 860       {0,3,4,5},{0,10,11,12},{0},{3},{4},{5},{10},{11},{3,4},{1,2,3},{1,2,6,10},{1,2,6,7,8,9,10}
 861     };
 862     var RoSoI vl_badValues := {
 863       {},{1},{2},{6},{7},{8},{9},{1,2},{1,6},{1,7},{1,8},{1,9},{2,6},{2,7},{2,8},{2,9},{1,2,6},{1,2,6,9}
 864     }
 865     f_checkSoITemplate(tl_i9sup,vl_goodValues,vl_badValues);
 866   }
 867
 868   //=== i9sup_1 ===
 869   //superset(complement(1,2,(6..9)))       length (4);
 870   // It matches all set of integers with length 4 which contains at least one integer which is not 1,2,6,7,8 or 9
 871   testcase tc_superset_i9_1_eq_dyn() runs on A {
 872     var template SoI tl_i9sup_1      := superset(complement(all from t_SoI1)) length (4);
 873     f_checkSoITemplateEquivalence(tl_i9sup_1,t_i9sup_1_eq);
 874   }
 875   testcase tc_superset_i9_1_eq_2dyn() runs on A {
 876     var template SoI tl_SoI1 := {1, 2, (6..9)};
 877     var template SoI tl_i9sup_1      := superset(complement(all from tl_SoI1)) length (4);
 878     f_checkSoITemplateEquivalence(tl_i9sup_1,t_i9sup_1_eq);
 879   }
 880
 881   testcase tc_superset_i9_1_dyn() runs on A {
 882     var template SoI tl_i9sup_1      := superset(complement(all from t_SoI1)) length (4);
 883     var RoSoI vl_goodValues := {
 884       {0,3,4,5},{0,10,11,12}, //4matches to compl
 885       {1,3,4,5},{2,3,4,5},{6,3,4,5},  //3 matches
 886       {1,2,10,11}, //2matches to compl value list
 887       {1,2,6,10} //1matches
 888     };
 889     var RoSoI vl_badValues := {{0},{3},{4},{5},{10},{11},{3,4},{1,2,3},
 890       {},{1},{2},{6},{7},{8},{9},{1,2},{1,6},{1,7},{1,8},{1,9},{2,6},{2,7},{2,8},{2,9},{1,2,6},{1,2,6,9},{1,2,6,7,8,9,10}
 891     }
 892     f_checkSoITemplate(tl_i9sup_1,vl_goodValues,vl_badValues);
 893   }
 894
 895   testcase tc_superset_i9_1_2dyn() runs on A {
 896     var template SoI tl_SoI1 := {1, 2, (6..9)};
 897     var template SoI tl_i9sup_1      := superset(complement(all from tl_SoI1)) length (4);
 898     var RoSoI vl_goodValues := {
 899       {0,3,4,5},{0,10,11,12}, //4matches to compl
 900       {1,3,4,5},{2,3,4,5},{6,3,4,5},  //3 matches
 901       {1,2,10,11}, //2matches to compl value list
 902       {1,2,6,10} //1matches
 903     };
 904     var RoSoI vl_badValues := {{0},{3},{4},{5},{10},{11},{3,4},{1,2,3},
 905       {},{1},{2},{6},{7},{8},{9},{1,2},{1,6},{1,7},{1,8},{1,9},{2,6},{2,7},{2,8},{2,9},{1,2,6},{1,2,6,9},{1,2,6,7,8,9,10}
 906     }
 907     f_checkSoITemplate(tl_i9sup_1,vl_goodValues,vl_badValues);
 908   }
 909
 910   //=== i10 ===
 911   //superset(1,2,(6..9),complement(1,2,(6..9) )) length (4);
 912   //This matches with set of values (with length of 4) which contains at least once values from the list 1,2,(6..9) furthermore one value which does not matches
 913   // with that list
 914   testcase tc_superset_i10_eq_dyn() runs on A {
 915     var template SoI tl_i10sup     := superset(all from t_SoI1, complement(all from t_SoI1)) length (4);
 916     f_checkSoITemplateEquivalence(tl_i10sup,t_i10sup_eq);
 917   }
 918
 919   testcase tc_superset_i10_eq_2dyn() runs on A {
 920     var template SoI tl_SoI1 := {1, 2, (6..9)};
 921     var template SoI tl_i10sup     := superset(all from tl_SoI1, complement(all from tl_SoI1)) length (4);
 922     f_checkSoITemplateEquivalence(tl_i10sup,t_i10sup_eq);
 923   }
 924
 925   testcase tc_superset_i10_dyn() runs on A {
 926     var template SoI tl_i10sup     := superset(all from t_SoI1, complement(all from t_SoI1)) length (4);
 927     var RoSoI vl_goodValues := {
 928       {1,2,6,10},{1,2,7,11},{1,2,8,-1},{1,2,9,0},{1,2,9,1000}
 929     };
 930     var RoSoI vl_badValues := {
 931       {0},{3},{4},{5},{10},{11},{3,4},{1,2,3},
 932       {},{1},{2},{6},{7},{8},{9},{1,2},{1,6},{1,7},{1,8},{1,9},{2,6},{2,7},{2,8},{2,9},{1,2,6},
 933       {1,2,6,9},{0,3,4,5},{0,10,11,12}, //4matches to compl
 934       {1,3,4,5},{2,3,4,5},{6,3,4,5},  //3 matches{1,2,6,7,8,9,10}
 935       {1,3,4,5},
 936       {2,3,4,5},
 937       {6,3,4,5},
 938       {1,2,10,11}
 939     }
 940     f_checkSoITemplate(tl_i10sup,vl_goodValues,vl_badValues);
 941   }
 942   testcase tc_superset_i10_2dyn() runs on A {
 943     var template SoI tl_SoI1 := {1, 2, (6..9)};
 944     var template SoI tl_i10sup     := superset(all from t_SoI1, complement(all from t_SoI1)) length (4);
 945     var RoSoI vl_goodValues := {
 946       {1,2,6,10},{1,2,7,11},{1,2,8,-1},{1,2,9,0},{1,2,9,1000}
 947     };
 948     var RoSoI vl_badValues := {
 949       {0},{3},{4},{5},{10},{11},{3,4},{1,2,3},
 950       {},{1},{2},{6},{7},{8},{9},{1,2},{1,6},{1,7},{1,8},{1,9},{2,6},{2,7},{2,8},{2,9},{1,2,6},
 951       {1,2,6,9},{0,3,4,5},{0,10,11,12}, //4matches to compl
 952       {1,3,4,5},{2,3,4,5},{6,3,4,5},  //3 matches{1,2,6,7,8,9,10}
 953       {1,3,4,5},
 954       {2,3,4,5},
 955       {6,3,4,5},
 956       {1,2,10,11}
 957     }
 958     f_checkSoITemplate(tl_i10sup,vl_goodValues,vl_badValues);
 959   }
 960
 961   //=== i11 ===
 962   // superset(1,2,(6..9), complement(1,2)) length (4);
 963
 964   testcase tc_superset_i11_eq_dyn() runs on A {
 965     var template SoI tl_i11sup     := superset(all from t_SoI1, complement(all from t_SoI5)) length (4);
 966     f_checkSoITemplateEquivalence(tl_i11sup,t_i11sup_eq);
 967   }
 968
 969   testcase tc_superset_i11_dyn() runs on A {
 970     var template SoI tl_i11sup     := superset(all from t_SoI1, complement(all from t_SoI5)) length (4);
 971     var RoSoI vl_goodValues := {
 972       {1,2,6,0},{1,2,7,3},{1,2,8,3},{1,2,9,4},{1,2,9,1000}
 973     };
 974     var RoSoI vl_badValues := {
 975       {0},{3},{4},{5},{10},{11},{3,4},{1,2,3},
 976       {},{1},{2},{6},{7},{8},{9},{1,2},{1,6},{1,7},{1,8},{1,9},{2,6},{2,7},{2,8},{2,9},{1,2,6},
 977       {1,2,6,1},{0,3,4,5},{0,10,11,12},
 978       {1,3,4,5},{2,3,4,5},{6,3,4,5},
 979       {1,3,4,5},
 980       {2,3,4,5},
 981       {6,3,4,5},
 982       {1,2,10,11}
 983     }
 984     f_checkSoITemplate(tl_i11sup,vl_goodValues,vl_badValues);
 985   }
 986
 987 }
 988
 989 }  // end of module