Package statechum.analysis.learning.TestFSMAlgo

Examples of statechum.analysis.learning.TestFSMAlgo.FSMStructure

377
378
379
380
381
382
383
384
  }

  @Test
  public final void testTruncateSeq5()
  {
    FSMStructure fsm = getGraphData(buildGraph("A-p->A-b->B-c->B-a->C\nQ-d->S","testTruncateSeq5"));
    Assert.assertEquals(Arrays.asList(new String[]{"p","b","d"}), WMethod.truncateSequence(fsm, Arrays.asList(new String[]{"p","b","d"})));
  }
View Full Code Here
384
385
386
387
388
389
390
391
  }

  @Test
  public final void testTruncateSeq5b()
  {
    FSMStructure fsm = getGraphData(buildGraph("A-p->A-b->B-c->B-a->C\nQ-f->S","testTruncateSeq5b"));
    Assert.assertEquals(Arrays.asList(new String[]{"p","b","d"}), WMethod.truncateSequence(fsm, Arrays.asList(new String[]{"p","b","d"})));
  }
View Full Code Here
391
392
393
394
395
396
397
398
  }

  @Test
  public final void testTruncateSeq6()
  {
    FSMStructure fsm = getGraphData(buildGraph("A-p->A-b->B-c->B-a->C\nQ-d->S","testTruncateSeq6"));
    Assert.assertEquals(Arrays.asList(new String[]{"a"}), WMethod.truncateSequence(fsm, Arrays.asList(new String[]{"a"})));
  }
View Full Code Here
398
399
400
401
402
403
404
405
  }
 
  @Test
  public final void testTruncateSeq7()
  {
    FSMStructure fsm = getGraphData(buildGraph("A-p->A-b->B-c->B-a->C\nQ-d->S","testTruncateSeq7"));
    Assert.assertEquals(Arrays.asList(new String[]{"p","p","p"}), WMethod.truncateSequence(fsm, Arrays.asList(new String[]{"p","p","p"})));
  }
View Full Code Here
408
409
410
411
412
413
414
415
416
417
418
   * Test method for {@link statechum.xmachine.model.testset.WMethod#appendSequence(statechum.analysis.learning.TestFSMAlgo.FSMStructure, java.util.Set, java.util.List)}.
   */
  @Test
  public final void testAppendSequence0()
  {
    FSMStructure fsm = getGraphData(buildGraph("A-p->A-b->B-c->B-a->C\nQ-d->S","testAppendSequence0"));
    PrefixFreeCollection sequences = new SlowPrefixFreeCollection();
    Set<List<String>> expected = buildSet(new String[][]{
        new String[]{}
      });
   
View Full Code Here
425
426
427
428
429
430
431
432
433
434
435
   * Test method for {@link statechum.xmachine.model.testset.WMethod#appendSequence(statechum.analysis.learning.TestFSMAlgo.FSMStructure, java.util.Set, java.util.List)}.
   */
  @Test
  public final void testAppendSequence0b()
  {
    FSMStructure fsm = getGraphData(buildGraph("A-p->A-b->B-c->B-a->C\nQ-d->S","testAppendSequence0b"));
    PrefixFreeCollection sequences = new SlowPrefixFreeCollection();
    sequences.addSequence(Arrays.asList(new String[]{}));

    Set<List<String>> expected = buildSet(new String[][]{
        new String[]{}
View Full Code Here
444
445
446
447
448
449
450
451
452
453
454
   * Test method for {@link statechum.xmachine.model.testset.WMethod#appendSequence(statechum.analysis.learning.TestFSMAlgo.FSMStructure, java.util.Set, java.util.List)}.
   */
  @Test
  public final void testAppendSequence1()
  {
    FSMStructure fsm = getGraphData(buildGraph("A-p->A-b->B-c->B-a->C\nQ-d->S","testAppendSequence1"));
    PrefixFreeCollection sequences = new SlowPrefixFreeCollection();
    sequences.addSequence(Arrays.asList(new String[]{"p","b"}));
    Set<List<String>> expected = buildSet(new String[][]{
        new String[]{"p","b"}
      });
View Full Code Here
462
463
464
465
466
467
468
469
470
471
472
   * Test method for {@link statechum.xmachine.model.testset.WMethod#appendSequence(statechum.analysis.learning.TestFSMAlgo.FSMStructure, java.util.Set, java.util.List)}.
   */
  @Test
  public final void testAppendSequence2()
  {
    FSMStructure fsm = getGraphData(buildGraph("A-p->A-b->B-c->B-a->C\nQ-d->S","testAppendSequence2"));
    PrefixFreeCollection sequences = new SlowPrefixFreeCollection();
    sequences.addSequence(Arrays.asList(new String[]{"p","b"}));
    Set<List<String>> expected = buildSet(new String[][]{
        new String[]{"p","b"}
      });
View Full Code Here
480
481
482
483
484
485
486
487
488
489
490
   * Test method for {@link statechum.xmachine.model.testset.WMethod#appendSequence(statechum.analysis.learning.TestFSMAlgo.FSMStructure, java.util.Set, java.util.List)}.
   */
  @Test
  public final void testAppendSequence3()
  {
    FSMStructure fsm = getGraphData(buildGraph("A-p->A-b->B-c->B-a->C\nQ-d->S","testAppendSequence3"));
    PrefixFreeCollection sequences = new SlowPrefixFreeCollection();
    sequences.addSequence(Arrays.asList(new String[]{"p","b"}));
    Set<List<String>> expected = buildSet(new String[][]{
        new String[]{"p","b","c"}
      });
View Full Code Here
498
499
500
501
502
503
504
505
506
507
508
   * Test method for {@link statechum.xmachine.model.testset.WMethod#appendSequence(statechum.analysis.learning.TestFSMAlgo.FSMStructure, java.util.Set, java.util.List)}.
   */
  @Test
  public final void testAppendSequence4()
  {
    FSMStructure fsm = getGraphData(buildGraph("A-p->A-b->B-c->B-a->C\nQ-d->S","testAppendSequence4"));
    PrefixFreeCollection sequences = new SlowPrefixFreeCollection();
    sequences.addSequence(Arrays.asList(new String[]{"p","b"}));
    Set<List<String>> expected = buildSet(new String[][]{
        new String[]{"p","b"},
        new String[]{"p","p"}
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.TestFSMAlgo.FSMStructure

  • statechum.analysis.learning.computeStateScores
  • statechum.analysis.learning.experiments.AccuracyAndQuestionsExperiment
  • statechum.analysis.learning.experiments.AccuracyAndQuestionsExperiment$RPNIEvaluator
  • statechum.analysis.learning.experiments.IncrementalAccuracyAndQuestionsExperiment
  • statechum.analysis.learning.experiments.IncrementalAccuracyAndQuestionsExperiment$RPNIEvaluator
  • statechum.analysis.learning.experiments.PathCompressionExperiment
  • statechum.analysis.learning.experiments.RandomPathGenerator
  • statechum.analysis.learning.observers.ProgressDecorator
  • statechum.analysis.learning.observers.RecordProgressDecorator
  • statechum.analysis.learning.observers.Test_LearnerComparator
    • 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.