Package statechum.analysis.learning.TestFSMAlgo

Examples of statechum.analysis.learning.TestFSMAlgo.FSMStructure

293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
   */
  public void checkLoading(FSMStructure gr) throws IOException
  {
    final Configuration config = Configuration.getDefaultConfiguration();
    StringWriter writer = new StringWriter();gr.transform322.writeGraphML(writer);
    FSMStructure loaded = FSMStructure.loadGraph(new StringReader(writer.toString()),config);

    Assert.assertTrue(!WMethod.checkUnreachableStates(gr));Assert.assertTrue(!WMethod.checkUnreachableStates(loaded));
    Assert.assertNull(checkM(gr,loaded));
   
    for(List<String> stateCoverSeq:WMethod.computeStateCover(gr))
    {
      String a = gr.getVertex(stateCoverSeq), b=loaded.getVertex(stateCoverSeq);
      Assert.assertEquals(gr.accept.get(a),loaded.accept.get(b));
    }

  }
View Full Code Here
309
310
311
312
313
314
315
316
  }

  @Test
  public final void testGraphMLWriter3() throws IOException
  {
    FSMStructure fsm = new FSMStructure(TestFSMAlgo.buildGraph(TestRpniLearner.largeGraph1_invalid5, "testMerge_fail1"),Configuration.getDefaultConfiguration());
    checkLoading(fsm);
  }
View Full Code Here
316
317
318
319
320
321
322
323
324
  }
 
  @Test
  public final void testGraphMLWriter4() throws IOException
  {
    FSMStructure fsm = new FSMStructure(TestFSMAlgo.buildGraph(TestRpniLearner.largeGraph1_invalid5, "testMerge_fail1"),Configuration.getDefaultConfiguration());
    fsm.accept.put(fsm.findVertex("BB1"),false);
    checkLoading(fsm);
  }
View Full Code Here
324
325
326
327
328
329
330
331
  }

  @Test
  public final void testGraphMLWriter5() throws IOException
  {
    FSMStructure fsm = new FSMStructure(TestFSMAlgo.buildGraph("S-a->A\nS-b->B\nS-c->C\nS-d->D\nS-e->E\nS-f->F\nS-h->H-d->H\nA-a->A1-b->A2-a->K1-a->K1\nB-a->B1-z->B2-b->K1\nC-a->C1-b->C2-a->K2-b->K2\nD-a->D1-b->D2-b->K2\nE-a->E1-b->E2-a->K3-c->K3\nF-a->F1-b->F2-b->K3","testCheckEquivalentStates1"),Configuration.getDefaultConfiguration());
    checkLoading(fsm);
  }
View Full Code Here
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
  }

  @Test
  public final void testGraphMLWriter_load__despite_Initial() throws IOException
  {
    FSMStructure gr = new FSMStructure(TestFSMAlgo.buildGraph(TestRpniLearner.largeGraph1_invalid5, "testMerge_fail1"),Configuration.getDefaultConfiguration());
    StringWriter writer = new StringWriter();gr.transform322.writeGraphML(writer);
    synchronized (computeStateScores.syncObj)
    {// ensure that the calls to Jung's vertex-creation routines do not occur on different threads.
        GraphMLFile graphmlFile = new GraphMLFile();
        graphmlFile.setGraphMLFileHandler(new ExperimentGraphMLHandler());
        Graph brokenGraph=graphmlFile.load(new StringReader(writer.toString().replace("VERTEX=\"BB1\"", "VERTEX=\""+Transform322.Initial+" BB1\"")));
        try
        {
          new FSMStructure(brokenGraph,Configuration.getDefaultConfiguration());
        }
        catch(IllegalArgumentException ex)
        {
          Assert.assertTrue(ex.getMessage().contains("duplicate initial state"));
        }
View Full Code Here
82
83
84
85
86
87
88
89
90
91
  @Test
  public final void testLearnerEvaluation1()
  {
    LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
    LearnerEvaluationConfiguration cnf=ProgressDecorator.readLearnerEvaluationConfiguration(loader.expectNextElement(ELEM_KINDS.ELEM_EVALUATIONDATA.name()));
    TestFSMAlgo.checkM(new FSMStructure(cnf.graph,null), new FSMStructure(graph,null));
    Assert.assertEquals(testData, cnf.testSet);
    Assert.assertEquals(config, cnf.config);
    Assert.assertEquals(ltl,cnf.ltlSequences);
  }
View Full Code Here
102
103
104
105
106
107
108
109
110
   
    dumper.topElement.appendChild(learnerConfig);dumper.close();xmlData = output.toString();
   
    LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
    LearnerEvaluationConfiguration cnf=ProgressDecorator.readLearnerEvaluationConfiguration(loader.expectNextElement(ELEM_KINDS.ELEM_EVALUATIONDATA.name()));
    TestFSMAlgo.checkM(new FSMStructure(cnf.graph,null), new FSMStructure(graph,null));
    Assert.assertEquals(testData, cnf.testSet);Assert.assertEquals(anotherconfig, cnf.config);
    Assert.assertEquals(ltl,cnf.ltlSequences);
  }
View Full Code Here
119
120
121
122
123
124
125
126
127
128
    learnerConfig.appendChild(dumper.doc.createElement("junk"));
    dumper.topElement.appendChild(learnerConfig);dumper.close();xmlData = output.toString();
   
    final LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
    LearnerEvaluationConfiguration cnf=ProgressDecorator.readLearnerEvaluationConfiguration(loader.expectNextElement(ELEM_KINDS.ELEM_EVALUATIONDATA.name()));
    TestFSMAlgo.checkM(new FSMStructure(cnf.graph,null), new FSMStructure(graph,null));
    Assert.assertEquals(testData, cnf.testSet);
    Assert.assertEquals(config, cnf.config);
    Assert.assertEquals(ltl,cnf.ltlSequences);
  } 
View Full Code Here
151
152
153
154
155
156
157
158
159
    }
    Assert.assertEquals(anotherXML,xmlData);
   
    LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
    LearnerEvaluationConfiguration cnf=ProgressDecorator.readLearnerEvaluationConfiguration(loader.expectNextElement(ELEM_KINDS.ELEM_EVALUATIONDATA.name()));
    TestFSMAlgo.checkM(new FSMStructure(cnf.graph,null), new FSMStructure(graph,null));
    Assert.assertEquals(testData, cnf.testSet);Assert.assertEquals(anotherconfig, cnf.config);
    Assert.assertNull(cnf.ltlSequences);
  }
View Full Code Here
190
191
192
193
194
195
196
197
198
199
200
  public final void testLearnerEvaluation5()
  {
    ByteArrayOutputStream output = new ByteArrayOutputStream();
    RecordProgressDecorator dumper = new RecordProgressDecorator(null,output,1,Configuration.getDefaultConfiguration(),false);
    Element learnerConfig = dumper.writeLearnerEvaluationConfiguration(new LearnerEvaluationConfiguration(graph,testData,anotherconfig,ltl));
    learnerConfig.appendChild(new FSMStructure(TestFSMAlgo.buildGraph("A-a->A", "testLoadInit_fail7"),Configuration.getDefaultConfiguration())
    .transform322.createGraphMLNode(dumper.doc));
    dumper.topElement.appendChild(learnerConfig);dumper.close();xmlData = output.toString();
   
    final LearnerSimulator loader = new LearnerSimulator(new ByteArrayInputStream(xmlData.getBytes()),false);
    checkForCorrectException(new whatToRun() { public void run() {
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.