Package statechum.xmachine.model.testset.PTATestSequenceEngine

Examples of statechum.xmachine.model.testset.PTATestSequenceEngine.sequenceSet.crossWithSet()

238
239
240
241
242
243
244
245
246
247
248
    partialPTA = partialPTA.cross(stateCover);
   
    partialPTA.cross(characterisationSet);
    for(int i=0;i<=this.numberOfExtraStates;i++)
    {
      partialPTA = partialPTA.crossWithSet(alphabet);
      partialPTA.cross(characterisationSet);
    }
   
    return engine.getData();
  }
View Full Code Here
40
41
42
43
44
45
46
47
48
49
50
 
  @Test
  public final void test_sequenceSet1()
  {
    sequenceSet seq = en.new sequenceSet();
    seq.crossWithSet(Arrays.asList(new String[] {"a"})); // appending anything to an empty sequence produces an empty sequence.
    TestPTATestSequenceEngine.vertifyPTA(en, new String[][] {
        new String[] {}
    });
  }
 
View Full Code Here
125
126
127
128
129
130
131
132
133
134
135
 
  @Test
  public final void test_sequenceSet1()
  {
    sequenceSet seq = en.new sequenceSet();
    seq.crossWithSet(Arrays.asList(new String[] {"a"})); // appending anything to an empty sequence produces an empty sequence.
    vertifyPTA(en, new String[][] {
        new String[] {}
    });
  }
 
View Full Code Here
135
136
137
138
139
140
141
142
143
144
145
 
  @Test
  public final void test_sequenceSet2() // an input which exists
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.crossWithSet(Arrays.asList(new String[] {"a"}));
    vertifyPTA(en, new String[][] {
        new String[] {"a"}
    });
  }
 
View Full Code Here
145
146
147
148
149
150
151
152
153
154
155
 
  @Test
  public final void test_sequenceSet3() // the one which does not exist
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.crossWithSet(Arrays.asList(new String[] {"c"}));
    vertifyPTA(en, new String[][] {
        new String[] {"c"}
    });
  }
 
View Full Code Here
155
156
157
158
159
160
161
162
163
164
165
 
  @Test
  public final void test_sequenceSet4() // the one which enters a reject state
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.crossWithSet(Arrays.asList(new String[] {"b"}));
    vertifyPTA(en, new String[][] {
        new String[] {"b"}
    });
  }
 
View Full Code Here
165
166
167
168
169
170
171
172
173
174
175
 
  @Test
  public final void test_sequenceSet5() // a composition of sequenceSet with an input which exists
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.crossWithSet(Arrays.asList(new String[] {"a"}))
      .crossWithSet(Arrays.asList(new String[] {"a"}));
    vertifyPTA(en, new String[][] {
        new String[] {"a","a"}
    });
  }
View Full Code Here
176
177
178
179
180
181
182
183
184
185
186
 
  @Test
  public final void test_sequenceSet6() // a composition of sequenceSet with the one which does not exist
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.crossWithSet(Arrays.asList(new String[] {"c"}))
      .crossWithSet(Arrays.asList(new String[] {"a"}));
    vertifyPTA(en, new String[][] {
        new String[] {"c"}
    });
  }
View Full Code Here
187
188
189
190
191
192
193
194
195
196
197
 
  @Test
  public final void test_sequenceSet7() // a composition of sequenceSet with the one which enters a reject state
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.crossWithSet(Arrays.asList(new String[] {"b"}))
      .crossWithSet(Arrays.asList(new String[] {"a"}));
    vertifyPTA(en, new String[][] {
        new String[] {"b"}
    });
  }
View Full Code Here
198
199
200
201
202
203
204
205
206
207
208
 
  @Test
  public final void test_sequenceSet_2_1() // a more complex composition
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.crossWithSet(Arrays.asList(new String[] {"a"}))
      .crossWithSet(Arrays.asList(new String[] {"a"}))
      .crossWithSet(Arrays.asList(new String[] {"a"}))
      .crossWithSet(Arrays.asList(new String[] {"b"}))
      .crossWithSet(Arrays.asList(new String[] {"c"}));
    vertifyPTA(en, new String[][] {
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.