Package statechum.Helper

Examples of statechum.Helper.whatToRun

1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
  @Test
  public void testLabelStatesAwayFromRoot4()
  {
    final LearnerGraph graph = FsmParser.buildLearnerGraph("A-a->C-a->A-b->B-a->D / C-b->C","testLabelStatesAwayFromRoot1",config, converter);
   
    Helper.checkForCorrectException(new whatToRun() {
      @Override
      public void run() throws NumberFormatException
      {
        MarkovPassivePairSelection.labelStatesAwayFromRoot(graph,3);
      }
View Full Code Here
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
1336
  @Test
  public void testIdentifyUncoveredTransitions1()
  {
    final LearnerGraph graph = FsmParser.buildLearnerGraph("A-a->D-b->C / A-c->B-b->C / B-u->E","testIdentifyUncoveredTransitions1a",config, converter);
    final LearnerGraph reference = FsmParser.buildLearnerGraph("A-a->D-b->C / A-c->B-b->C / B-u->E / B-x->B / T-b->T-u->T","testIdentifyUncoveredTransitions1b",config, converter);
    Helper.checkForCorrectException(new whatToRun() {
      @Override
      public void run() throws NumberFormatException
      {
        MarkovPassivePairSelection.identifyUncoveredTransitions(graph,reference);
      }
View Full Code Here
1468
1469
1470
1471
1472
1473
1474
1475
1476
1477
1478
  @Test
  public void testIdentifyUncoveredTransitions6()
  {
    final LearnerGraph graph = FsmParser.buildLearnerGraph("A-a->D-b->C / A-c->B-b->C1 / B-u->E","testIdentifyUncoveredTransitions2a",config, converter);
    final LearnerGraph reference = FsmParser.buildLearnerGraph("A-a->D","testIdentifyUncoveredTransitions3",config, converter);
    Helper.checkForCorrectException(new whatToRun() {
      @Override
      public void run() throws NumberFormatException
      {
        MarkovPassivePairSelection.identifyUncoveredTransitions(graph,reference);
      }
View Full Code Here
1491
1492
1493
1494
1495
1496
1497
1498
1499
1500
1501
  @Test
  public void testTrimUncoveredTransitions2()
  {
    final LearnerGraph graph = FsmParser.buildLearnerGraph("A-a->D-b->C / A-c->B-b->C1 / B-u->E","testIdentifyUncoveredTransitions2a",config, converter);
    final LearnerGraph reference = FsmParser.buildLearnerGraph("A-a->D","testIdentifyUncoveredTransitions3",config, converter);
    Helper.checkForCorrectException(new whatToRun() {
      @Override
      public void run() throws NumberFormatException
      {
        MarkovPassivePairSelection.trimUncoveredTransitions(graph,reference);
      }
View Full Code Here
2034
2035
2036
2037
2038
2039
2040
2041
2042
2043
2044
  @Test
  public void testConstructSurroundingTransitions9()
  {
    final LearnerGraph fsm = FsmParser.buildLearnerGraph("A-t->B-b->C", "testTracePath1",config,converter);
    final Collection<Map.Entry<Label,CmpVertex>> surroundingTransitions = MarkovPassivePairSelection.obtainSurroundingTransitions(fsm, MarkovClassifier.computeInverseGraph(fsm), fsm.findVertex("A"));
    Helper.checkForCorrectException(new whatToRun() {
      @Override
      public void run() throws NumberFormatException
      {
        surroundingTransitions.iterator().next().setValue(fsm.findVertex("A"));
      }
View Full Code Here
2062
2063
2064
2065
2066
2067
2068
2069
2070
2071
2072
2073
2074
2075
2076
2077
2078
2079
 
  @Test
  public void testUniquePaths1()
  {
    final LearnerGraph fsm = new LearnerGraph(config);fsm.initEmpty();
    Helper.checkForCorrectException(new whatToRun() {
      @Override
      public void run()
      {
        MarkovClassifier.calculateFractionOfStatesIdentifiedBySingletons(fsm);
      }
    }, IllegalArgumentException.class, "empty reference");
    Helper.checkForCorrectException(new whatToRun() {
      @Override
      public void run()
      {
        MarkovClassifier.calculateFractionOfIdentifiedStates(fsm,null);
      }
View Full Code Here
314
315
316
317
318
319
320
321
322
   
  /** Tests label interpretation: unknown label. */
  @Test
  public final void testLabelInterpretation_fail2()
  {
    checkForCorrectException(new whatToRun() { public @Override void run() {
      ba.interpretInputLabel("d");
    }},IllegalArgumentException.class,"unrecognised label");
  }
View Full Code Here
510
511
512
513
514
515
516
517
518
519
520
521
522
 
  /** Tests parser of expressions. */
  @Test
  public final void testExpr12a()
  {
    checkForCorrectException(new whatToRun() { public @Override void run() {
      ba.interpretString("");
    }},IllegalArgumentException.class,"unexpected end");
   
    checkForCorrectException(new whatToRun() { public @Override void run() {
      ba.computeAlphabet("");
    }},IllegalArgumentException.class,"unexpected end");
  }
View Full Code Here
128
129
130
131
132
133
134
135
136
  @Test
  public final void testWriteAugment3()
  {
    final LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(removeTagFromString(xmlData,ELEM_KINDS.ELEM_AUGMENTPTA).getBytes()),false);
    loader.config = Configuration.getDefaultConfiguration();
    checkForCorrectException(new whatToRun() { public void run() {
      loader.readAugmentPTA(loader.expectNextElement(statechum.analysis.learning.observers.TestRecordProgressDecorator.junkTag));
    }},IllegalArgumentException.class,"cannot load augmentPTA data");
  }
View Full Code Here
147
148
149
150
151
152
153
154
155
    dumper.topElement.appendChild(augmentElement);dumper.close();
    xmlData = output.toString();

    final LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
    loader.config = Configuration.getDefaultConfiguration();
    checkForCorrectException(new whatToRun() { public void run() {
      loader.readAugmentPTA(loader.expectNextElement(ELEM_KINDS.ELEM_AUGMENTPTA.name()));
    }},IllegalArgumentException.class,"missing sequence");
  }
View Full Code Here
TOP

Related Classes of statechum.Helper.whatToRun

  • collections.TestMapWithSearch
  • collections.TestMapWithSearchMisc
  • statechum.analysis.Erlang.Signatures.TestTypes
  • statechum.analysis.Erlang.TestErlangGraphs
  • statechum.analysis.Erlang.TestErlangModule
  • statechum.analysis.Erlang.TestErlangParser
  • statechum.analysis.Erlang.TestErlangParser$TestParseBitStrFail
  • statechum.analysis.Erlang.TestErlangParser$TestParseDoubleFail
  • statechum.analysis.Erlang.TestErlangParser$TestParseInvalidCharsInAtomFail
  • statechum.analysis.Erlang.TestErlangRunner
    • 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.