Package statechum.analysis.learning.rpnicore.WMethod

Examples of statechum.analysis.learning.rpnicore.WMethod.DifferentFSMException

286
287
288
289
290
291
292
293
294
295
   
    Assert.assertSame(MarkovOutcome.positive, newTransitions.get(graph.findVertex("B")).get(lblB));

    final LearnerGraph expected = FsmParser.buildLearnerGraph("A-a->B-b->C / B-u-#D / T-b->T-u->T","testConstructExtendedGraph3b",config, converter);
    LearnerGraph actual = cl.constructMarkovTentative();
    DifferentFSMException ex = WMethod.checkM(expected, actual);
    if (ex != null)
      throw ex;
    Assert.assertNotSame(graph, actual);
  }
View Full Code Here
310
311
312
313
314
315
316
317
318
319
   
    Assert.assertSame(MarkovOutcome.positive, newTransitions.get(graph.findVertex("B")).get(lblB));

    final LearnerGraph expected = FsmParser.buildLearnerGraph("A-a->B-b->C / T-b->T-u->T","testConstructExtendedGraph4b",config, converter);
    LearnerGraph actual = cl.constructMarkovTentative();
    DifferentFSMException ex = WMethod.checkM(expected, actual);
    if (ex != null)
      throw ex;
    Assert.assertNotSame(graph, actual);
  }
View Full Code Here
335
336
337
338
339
340
341
342
343
344
   
    Assert.assertSame(MarkovOutcome.positive,newTransitions.get(graph.findVertex("B")).get(lblB));

    final LearnerGraph expected = FsmParser.buildLearnerGraph("A-a->B-b->C / A-w->M-c->B / T-b->T-u->T","testConstructExtendedGraph5b",config, converter);
    LearnerGraph actual = cl.constructMarkovTentative();
    DifferentFSMException ex = WMethod.checkM(expected, actual);
    if (ex != null)
      throw ex;
    Assert.assertNotSame(graph, actual);
  }
View Full Code Here
360
361
362
363
364
365
366
367
368
369
   
    Assert.assertSame(MarkovOutcome.positive, newTransitions.get(graph.findVertex("B")).get(lblB));

    final LearnerGraph expected = FsmParser.buildLearnerGraph("A-a->B / A-c->B / B-b->C / T-b->T-u->T","testConstructExtendedGraph6b",config, converter);
    LearnerGraph actual = cl.constructMarkovTentative();
    DifferentFSMException ex = WMethod.checkM(expected, actual);
    if (ex != null)
      throw ex;
    Assert.assertNotSame(graph, actual);
  }
View Full Code Here
506
507
508
509
510
511
512
513
514
515
"'P1000',"+
"['init/0,[],{reply,{ok,\\'AnyWibble\\'}}','deallocate/1,[\\'AnyWibble\\'],\\'AnyWibble\\'','stop/0,[],ok','stop/0,[],\\'AnyWibble\\'','start/0,[],\\'AnyWibble\\'','allocate/0,[],{ok,\\'WibbleA\\'}','start/0,[],true','deallocate/1,[\\'AnyWibble\\'],ok','init/0,[],{reply,ok}','allocate/0,[],{ok,\\'WobbleA\\'}','allocate/0,[],{ok,\\'AnyWibble\\'}']"+
        "}"),
        freq2,learnerConfig.getLabelConverter(),true);
   
    DifferentFSMException ex = WMethod.checkM(frequency, freq2);
    if (ex != null)
      Assert.assertNull(ex.getMessage(),ex);
    Assert.assertEquals(frequency.getStateNumber(),freq2.getStateNumber());
  }
View Full Code Here
238
239
240
241
242
243
244
245
246
247
    m.createMarkovLearner(plusStrings, minusStrings,false);
    final LearnerGraph graph = FsmParser.buildLearnerGraph("A-u->B-p->B","testConstructExtendedGraph1",config, converter);
    Map<CmpVertex, Map<Label, MarkovOutcome>> newTransitions = m.constructMarkovTentative(graph,true);
    Assert.assertTrue(newTransitions.isEmpty());// not enough evidence to update, hence nothing should be recorded.
    final LearnerGraph expected = FsmParser.buildLearnerGraph("A-u->B-p->B","testConstructExtendedGraph1",config, converter);
    DifferentFSMException ex = WMethod.checkM(expected, m.get_extension_model());
    if (ex != null)
      throw ex;
    Assert.assertNotSame(graph, m.get_extension_model());
  }
View Full Code Here
255
256
257
258
259
260
261
262
263
264
    m.createMarkovLearner(plusStrings, minusStrings,false);
    final LearnerGraph graph = FsmParser.buildLearnerGraph("A-a->B","testConstructExtendedGraph2",config, converter);
    Map<CmpVertex, Map<Label, MarkovOutcome>> newTransitions = m.constructMarkovTentative(graph,true);
    Assert.assertTrue(newTransitions.isEmpty());// not enough evidence to update, hence nothing should be recorded.
    final LearnerGraph expected = FsmParser.buildLearnerGraph("A-a->B","testConstructExtendedGraph2",config, converter);
    DifferentFSMException ex = WMethod.checkM(expected, m.get_extension_model());
    if (ex != null)
      throw ex;
    Assert.assertNotSame(graph, m.get_extension_model());
  }
View Full Code Here
277
278
279
280
281
282
283
284
285
286
    Assert.assertSame(MarkovOutcome.negative, newTransitions.get(graph.findVertex("B")).get(lblU));
   
    Assert.assertSame(MarkovOutcome.positive, newTransitions.get(graph.findVertex("B")).get(lblB));

    final LearnerGraph expected = FsmParser.buildLearnerGraph("A-a->B-b->C / B-u-#D / T-b->T-u->T","testConstructExtendedGraph3b",config, converter);
    DifferentFSMException ex = WMethod.checkM(expected, m.get_extension_model());
    if (ex != null)
      throw ex;
    Assert.assertNotSame(graph, m.get_extension_model());
  }
View Full Code Here
299
300
301
302
303
304
305
306
307
308
    Assert.assertFalse(newTransitions.get(graph.findVertex("B")).containsKey(lblU));// failure ignored
   
    Assert.assertSame(MarkovOutcome.positive, newTransitions.get(graph.findVertex("B")).get(lblB));

    final LearnerGraph expected = FsmParser.buildLearnerGraph("A-a->B-b->C / T-b->T-u->T","testConstructExtendedGraph4b",config, converter);
    DifferentFSMException ex = WMethod.checkM(expected, m.get_extension_model());
    if (ex != null)
      throw ex;
    Assert.assertNotSame(graph, m.get_extension_model());
  }
View Full Code Here
322
323
324
325
326
327
328
329
330
331
    Assert.assertEquals(1,newTransitions.get(graph.findVertex("B")).size());
   
    Assert.assertSame(MarkovOutcome.positive,newTransitions.get(graph.findVertex("B")).get(lblB));

    final LearnerGraph expected = FsmParser.buildLearnerGraph("A-a->B-b->C / A-w->M-c->B / T-b->T-u->T","testConstructExtendedGraph5b",config, converter);
    DifferentFSMException ex = WMethod.checkM(expected, m.get_extension_model());
    if (ex != null)
      throw ex;
    Assert.assertNotSame(graph, m.get_extension_model());
  }
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.rpnicore.WMethod.DifferentFSMException

  • statechum.analysis.Erlang.TestSynapseAuxiliaryFunctions
  • statechum.analysis.learning.experiments.PairSelection.TestLearnFromTracesUsingMarkov
  • statechum.analysis.learning.experiments.PairSelection.TestLearnFromTracesUsingMarkov$InconsistencyComputation
  • statechum.analysis.learning.experiments.PairSelection.TestMarkovLearner
  • statechum.analysis.learning.experiments.PairSelection.TestWekaPairClassifier
  • statechum.analysis.learning.experiments.PaperUAS
  • statechum.analysis.learning.experiments.TestPaperUAS
  • statechum.analysis.learning.experiments.TestPaperUAS_Large
  • statechum.analysis.learning.linear.TestGD_ExistingGraphs
  • statechum.analysis.learning.linear.TestGD_ExistingGraphsUsingTestSet
    • 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.