Package statechum.xmachine.model.testset.PTATestSequenceEngine

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

226
227
228
229
230
231
232
233
234
235
236
237
  }

  @Test
  public final void test_sequenceSet2_3() // 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
242
243
244
245
246
247
248
249
250
251
252
253
  }

  @Test
  public final void test_sequenceSet2_4() // a more complex composition
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.crossWithSet(Arrays.asList(new String[] {"c"}))
      .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
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
  }

  @Test
  public final void test_sequenceSet2_5() // a more complex composition
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    sequenceSet tempE =
      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"}));
    tempE.crossWithSet(Arrays.asList(new String[] {"a"}));
    tempE.crossWithSet(Arrays.asList(new String[] {"b"}));
    vertifyPTA(en, new String[][] {
        new String[] {"a","a","a","b","c","a"},
        new String[] {"a","a","a","b","c","b"}
    });
  }
View Full Code Here
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
  }

  @Test
  public final void test_sequenceSet2_6() // a more complex composition
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.crossWithSet(Arrays.asList(new String[] {"b"}))
      .crossWithSet(Arrays.asList(new String[] {"a"}));

    sequenceSet tempE =
      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"}));
    tempE.crossWithSet(Arrays.asList(new String[] {"a"}));
    tempE.crossWithSet(Arrays.asList(new String[] {"b"}));
    vertifyPTA(en, new String[][] {
        new String[] {"a","a","a","b","c","a"},
        new String[] {"a","a","a","b","c","b"},
        new String[] {"b"}
    });
View Full Code Here
297
298
299
300
301
302
303
304
305
306
307
308
  }

  @Test
  public final void test_sequenceSet3_1() // a more complex composition
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.crossWithSet(Arrays.asList(new String[] {"b","a","d"}));
    vertifyPTA(en, new String[][] {
        new String[] {"b"},
        new String[] {"a"},
        new String[] {"d"}
    });
View Full Code Here
309
310
311
312
313
314
315
316
317
318
319
320
  }

  @Test
  public final void test_sequenceSet3_2() // a more complex composition
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.crossWithSet(Arrays.asList(new String[] {"b","a","d"}))
      .crossWithSet(Arrays.asList(new String[] {"b","a","d"}));
    vertifyPTA(en, new String[][] {
        new String[] {"b"},
        new String[] {"a","a"},
        new String[] {"a","d"},
View Full Code Here
324
325
326
327
328
329
330
331
332
333
334
335
336
  }

  @Test
  public final void test_sequenceSet3_3() // a more complex composition
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    sequenceSet temp = seq.crossWithSet(Arrays.asList(new String[] {"b","a","d"}));
    temp.crossWithSet(Arrays.asList(new String[] {"b","a","d"}))
      .crossWithSet(Arrays.asList(new String[] {"u","a","d"}));
    vertifyPTA(en, new String[][] {
        new String[] {"b"},
        new String[] {"d"},
        new String[] {"a","a","a"},
View Full Code Here
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
  }

  @Test
  public final void test_sequenceSet3_4() // a more complex composition
  {
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    sequenceSet temp = seq.crossWithSet(Arrays.asList(new String[] {"b","a","d"}));
    temp.crossWithSet(Arrays.asList(new String[] {"b","a","d"}))
      .crossWithSet(Arrays.asList(new String[] {"u","a","d"}));
    temp.crossWithSet(Arrays.asList(new String[] {"u","a","d"}));
    temp.crossWithSet(Arrays.asList(new String[] {"u","a","d"}))
      .crossWithSet(Arrays.asList(new String[] {"a"}))
      .crossWithSet(Arrays.asList(new String[] {"b"}))
      .crossWithSet(Arrays.asList(new String[] {"c"}))
      .crossWithSet(Arrays.asList(new String[] {"b","a"}));
   
View Full Code Here
375
376
377
378
379
380
381
382
383
384
385
386
  @Test
  public final void test_sequenceSet3_5() // a more complex composition
  {
    fsm = WMethod.getGraphData(TestFSMAlgo.buildGraph("A-a->B-a->A-b-#C\nA-d->M-a->N\nB-b->D-c->E", "sample automaton"));
    en = new PTA_FSMStructure(fsm);   
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.crossWithSet(Arrays.asList(new String[] {"b","a","d"}))
      .crossWithSet(Arrays.asList(new String[] {"b","a","d"}))
      .crossWithSet(Arrays.asList(new String[] {"a"}));
    vertifyPTA(en, new String[][] {
        new String[] {"b"},
        new String[] {"a","a","a"},
View Full Code Here
395
396
397
398
399
400
401
402
403
404
405
406
  @Test
  public final void test_sequenceSet3_6() // a more complex composition
  {
    fsm = WMethod.getGraphData(TestFSMAlgo.buildGraph("A-a->A-b->B", "sample automaton"));
    en = new PTA_FSMStructure(fsm);   
    sequenceSet seq = en.new sequenceSet();seq.setIdentity();
    seq.crossWithSet(Arrays.asList(new String[] {"b","a"}))
      .crossWithSet(Arrays.asList(new String[] {"b","a"}))
      .crossWithSet(Arrays.asList(new String[] {"a","b"}));
    vertifyPTA(en, new String[][] {
        new String[] {"b","b"},
        new String[] {"b","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.