Package statechum.xmachine.model.testset.PTATestSequenceEngine

Examples of statechum.xmachine.model.testset.PTATestSequenceEngine.sequenceSet

188
189
190
191
192
193
194
195
196
197
198
199
  @Test
  public final void test_ign3() // long test sequence (which does not exist) which is rejected part-way
  {
    FSMStructure mach = WMethod.getGraphData(TestFSMAlgo.buildGraph("AM-a->AM-b->AM-c->AM","tmp graph"));
    PTATestSequenceEngine engine = new PTA_FSMStructure(mach);
    sequenceSet partialPTA = engine.new sequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","b","b","c","c","d"},
      }));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
    precComputer.crossWith(engine);
View Full Code Here
124
125
126
127
128
129
130
131
132
133
134
  }
 
  @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
134
135
136
137
138
139
140
141
142
143
144
  }
 
  @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
144
145
146
147
148
149
150
151
152
153
154
  }
 
  @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
154
155
156
157
158
159
160
161
162
163
164
  }
 
  @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
164
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
175
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
186
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
197
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
211
212
213
214
215
216
217
218
219
220
221
222
  }

  @Test
  public final void test_sequenceSet2_2() // 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"}))
      .crossWithSet(Arrays.asList(new String[] {"a"}));
View Full Code Here
TOP

Related Classes of statechum.xmachine.model.testset.PTATestSequenceEngine.sequenceSet

  • statechum.analysis.learning.experiments.IncrementalAccuracyAndQuestionsExperiment$RPNIEvaluator
  • statechum.xmachine.model.testset.TestPTA_computePrecisionRecall
  • statechum.xmachine.model.testset.TestPTATestSequenceEngine
  • statechum.xmachine.model.testset.WMethod
    • Copyright © 2018 www.massapicom. 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.