Package statechum.model.testset.PTASequenceEngine

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

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
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
457
458
459
460
461
462
463
464
465
466
467
      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> actual3 = getDebugDataMap(en,tempE.crossWithSet(labelList(new String[] {"a"})));
    Map<String,String> actual4 = getDebugDataMap(en,tempE.crossWithSet(labelList(new String[] {"b"})));
    Map<String,String> actual2 = getDebugDataMap(en,tempE);
    Map<String,String> actual1 = getDebugDataMap(en,temp0);
    vertifyPTA(en, 3, new String[][] {
        new String[] {"a","a","a","b","c","a"},
View Full Code Here
458
459
460
461
462
463
464
465
466
467
468
        .crossWithSet(labelList(new String[] {"a"}))
        .crossWithSet(labelList(new String[] {"a"}))
        .crossWithSet(labelList(new String[] {"b"}))
        .crossWithSet(labelList(new String[] {"c"}));
    Map<String,String> actual3 = getDebugDataMap(en,tempE.crossWithSet(labelList(new String[] {"a"})));
    Map<String,String> actual4 = getDebugDataMap(en,tempE.crossWithSet(labelList(new String[] {"b"})));
    Map<String,String> actual2 = getDebugDataMap(en,tempE);
    Map<String,String> actual1 = getDebugDataMap(en,temp0);
    vertifyPTA(en, 3, new String[][] {
        new String[] {"a","a","a","b","c","a"},
        new String[] {"a","a","a","b","c","b"},
View Full Code Here
482
483
484
485
486
487
488
489
490
491
492
  @Test
  public final void test_sequenceSet3_1() // a more complex composition
  {
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"b","a","d"})));
    vertifyPTA(en, 3, new String[][] {
        new String[] {"b"},
        new String[] {"a"},
        new String[] {"d"}
    });
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.