Package statechum.model.testset.PTASequenceEngine

Examples of statechum.model.testset.PTASequenceEngine.SequenceSet.crossWithSet()

304
305
306
307
308
309
310
311
312
313
314
 
  @Test
  public final void test_sequenceSet5() // a composition of sequenceSet with an input which exists
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"a"}))
      .crossWithSet(labelList(new String[] {"a"})));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"a","a"}
    });
    Map<String,String>  expected=TestFSMAlgo.buildStringMap(new Object[][] {
View Full Code Here
319
320
321
322
323
324
325
326
327
328
329
 
  @Test
  public final void test_sequenceSet6() // a composition of sequenceSet with the one which does not exist
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"c"}))
      .crossWithSet(labelList(new String[] {"a"})));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"c"}
    });
    Map<String,String>  expected=TestFSMAlgo.buildStringMap(new Object[][] {
View Full Code Here
333
334
335
336
337
338
339
340
341
342
343
 
  @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();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"b"}))
      .crossWithSet(labelList(new String[] {"a"})));
    vertifyPTA(en, 1, new String[][] {
        new String[] {"b"}
    });
    Map<String,String>  expected=TestFSMAlgo.buildStringMap(new Object[][] {
View Full Code Here
347
348
349
350
351
352
353
354
355
356
357
 
  @Test
  public final void test_sequenceSet_2_1() // a more complex composition
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"a"}))
      .crossWithSet(labelList(new String[] {"a"}))
      .crossWithSet(labelList(new String[] {"a"}))
      .crossWithSet(labelList(new String[] {"b"}))
      .crossWithSet(labelList(new String[] {"c"})));
    vertifyPTA(en, 1, new String[][] {
View Full Code Here
365
366
367
368
369
370
371
372
373
374
375
  @Test
  public final void test_sequenceSet2_2() // a more complex composition
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"a"}))
      .crossWithSet(labelList(new String[] {"a"}))
      .crossWithSet(labelList(new String[] {"a"}))
      .crossWithSet(labelList(new String[] {"b"}))
      .crossWithSet(labelList(new String[] {"c"}))
      .crossWithSet(labelList(new String[] {"a"})));
View Full Code Here
383
384
385
386
387
388
389
390
391
392
393
  @Test
  public final void test_sequenceSet2_3() // a more complex composition
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"a"}))
      .crossWithSet(labelList(new String[] {"a"}))
      .crossWithSet(labelList(new String[] {"a"}))
      .crossWithSet(labelList(new String[] {"b"}))
      .crossWithSet(labelList(new String[] {"c"}))
      .crossWithSet(labelList(new String[] {"a"}))
View Full Code Here
79
80
81
82
83
84
85
86
87
88
89
  @Test
  public final void testPrecisionRecall0()
  {
    PTASequenceEngine en = new PTA_FSMStructure(fsm,null);
    SequenceSet seq = en.new SequenceSet();
    seq.crossWithSet(labelList(new String[] {"a"})); // appending anything to an empty sequence produces an empty sequence.
    TestPTASequenceEngine.vertifyPTA(en, 1, new String[][] {
        new String[] {}
    },fsm.config,converter);
  }
 
View Full Code Here
402
403
404
405
406
407
408
409
410
411
412
  @Test
  public final void test_sequenceSet2_4() // a more complex composition
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"c"}))
      .crossWithSet(labelList(new String[] {"a"}))
      .crossWithSet(labelList(new String[] {"a"}))
      .crossWithSet(labelList(new String[] {"b"}))
      .crossWithSet(labelList(new String[] {"c"}))
      .crossWithSet(labelList(new String[] {"a"})));
View Full Code Here
426
427
428
429
430
431
432
433
434
435
436
       seq.crossWithSet(labelList(new String[] {"a"}))
        .crossWithSet(labelList(new String[] {"a"}))
        .crossWithSet(labelList(new String[] {"a"}))
        .crossWithSet(labelList(new String[] {"b"}))
        .crossWithSet(labelList(new String[] {"c"}));
    Map<String,String> actual2 = getDebugDataMap(en,tempE.crossWithSet(labelList(new String[] {"a"})));
    Map<String,String> actual3 = getDebugDataMap(en,tempE.crossWithSet(labelList(new String[] {"b"})));
    Map<String,String> actual1 = getDebugDataMap(en,tempE);// if I do this before PTA is updated, the long path returned by getDebugDataMap will have its nodes marked as leaves, but after PTA is built, they are no long leaves.
    vertifyPTA(en, 2, new String[][] {
        new String[] {"a","a","a","b","c","a"},
        new String[] {"a","a","a","b","c","b"}
View Full Code Here
427
428
429
430
431
432
433
434
435
436
437
        .crossWithSet(labelList(new String[] {"a"}))
        .crossWithSet(labelList(new String[] {"a"}))
        .crossWithSet(labelList(new String[] {"b"}))
        .crossWithSet(labelList(new String[] {"c"}));
    Map<String,String> actual2 = getDebugDataMap(en,tempE.crossWithSet(labelList(new String[] {"a"})));
    Map<String,String> actual3 = getDebugDataMap(en,tempE.crossWithSet(labelList(new String[] {"b"})));
    Map<String,String> actual1 = getDebugDataMap(en,tempE);// if I do this before PTA is updated, the long path returned by getDebugDataMap will have its nodes marked as leaves, but after PTA is built, they are no long leaves.
    vertifyPTA(en, 2, new String[][] {
        new String[] {"a","a","a","b","c","a"},
        new String[] {"a","a","a","b","c","b"}
    });
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.