Package statechum.analysis.learning.ErlangOracleLearner

Examples of statechum.analysis.learning.ErlangOracleLearner.TraceOutcome

558
559
560
561
562
563
564
565
566
567
568
569
570
  private static void evaluateLine(ErlangModule module, BufferedWriter out,
      ErlangOracleLearner learner, LinkedList<List<ErlangLabel>> pos,
      LinkedList<List<ErlangLabel>> neg, List<ErlangLabel> line)
      throws IOException {
    TraceOutcome response = learner.askErlang(line);
    // System.out.println("Writing " + response.toTraceFileString());
    out.write(response.toTraceFileString() + "\n");
    switch (response.outcome) {
    case TRACE_FAIL:
      neg.add(Arrays.asList(response.answerDetails));
      break;
    case TRACE_DIFFERENTOUTPUT:
View Full Code Here
457
458
459
460
461
462
463
464
465
466
467
      mod.behaviour.getAlphabet().add(labelLock);
      mod.behaviour.getAlphabet().add(labelRead);
      mod.behaviour.getAlphabet().add(labelWrite);
      // Attempting first trace
      List<Label> trace = Arrays.asList(new Label[]{initLabel,labelLock});
      TraceOutcome tr = learner.askErlang(trace);
      Assert.assertEquals(TRACEOUTCOME.TRACE_OK,tr.outcome);
      Assert.assertEquals("[{"+ErlangLabel.missingFunction+",'init','AnyWibble','ok'},{"+ErlangLabel.missingFunction+",'call','lock',{'ok','locked'}}]",RPNILearner.questionToString(Arrays.asList(tr.answerDetails)));
     
      tr = learner.askErlang(Arrays.asList(new Label[]{initLabel,labelLock, labelLock}));
     
View Full Code Here
517
518
519
520
521
522
523
524
525
526
527
      mod.behaviour.getAlphabet().add(labelLock);
      mod.behaviour.getAlphabet().add(labelRead);
      mod.behaviour.getAlphabet().add(labelWrite);
      // Attempting first trace
      List<Label> trace = Arrays.asList(new Label[]{initLabel,labelLock});
      TraceOutcome tr = learner.askErlang(trace);
      Assert.assertEquals(TRACEOUTCOME.TRACE_OK,tr.outcome);
      Assert.assertEquals("[{"+ErlangLabel.missingFunction+",'init','AnyWibble','ok'},{"+ErlangLabel.missingFunction+",'call','lock',{'ok','locked'}}]",RPNILearner.questionToString(Arrays.asList(tr.answerDetails)));
     
      tr = learner.askErlang(Arrays.asList(new Label[]{initLabel,labelLock, labelLock}));
     
View Full Code Here
558
559
560
561
562
563
564
565
566
567
568
569
570
  private static void evaluateLine(ErlangModule moduleArg, BufferedWriter outArg,
      ErlangOracleLearner learnerArg, LinkedList<List<ErlangLabel>> pos,
      LinkedList<List<ErlangLabel>> neg, List<ErlangLabel> line)
      throws IOException {
    TraceOutcome response = learnerArg.askErlang(line);
    // System.out.println("Writing " + response.toTraceFileString());
    outArg.write(response.toTraceFileString() + "\n");
    switch (response.outcome) {
    case TRACE_FAIL:
      neg.add(Arrays.asList(response.answerDetails));
      break;
    case TRACE_DIFFERENTOUTPUT:
View Full Code Here
562
563
564
565
566
567
568
569
570
571
572
573
574
  private static void evaluateLine(ErlangModule moduleArg, BufferedWriter outArg,
      ErlangOracleLearner learnerArg, LinkedList<List<ErlangLabel>> pos,
      LinkedList<List<ErlangLabel>> neg, List<ErlangLabel> line)
      throws IOException {
    TraceOutcome response = learnerArg.askErlang(line);
    // System.out.println("Writing " + response.toTraceFileString());
    outArg.write(response.toTraceFileString() + "\n");
    switch (response.outcome) {
    case TRACE_FAIL:
      neg.add(Arrays.asList(response.answerDetails));
      break;
    case TRACE_DIFFERENTOUTPUT:
View Full Code Here
457
458
459
460
461
462
463
464
465
466
467
      mod.behaviour.getAlphabet().add(labelLock);
      mod.behaviour.getAlphabet().add(labelRead);
      mod.behaviour.getAlphabet().add(labelWrite);
      // Attempting first trace
      List<Label> trace = Arrays.asList(new Label[]{initLabel,labelLock});
      TraceOutcome tr = learner.askErlang(trace);
      Assert.assertEquals(TRACEOUTCOME.TRACE_OK,tr.outcome);
      Assert.assertEquals("[{"+ErlangLabel.missingFunction+",'init','AnyWibble','ok'},{"+ErlangLabel.missingFunction+",'call','lock',{'ok','locked'}}]",RPNILearner.questionToString(Arrays.asList(tr.answerDetails)));
     
      tr = learner.askErlang(Arrays.asList(new Label[]{initLabel,labelLock, labelLock}));
     
View Full Code Here
484
485
486
487
488
489
490
491
492
493
494
      mod.behaviour.getAlphabet().add(labelLock);
      mod.behaviour.getAlphabet().add(labelRead);
      mod.behaviour.getAlphabet().add(labelWrite);
      // Attempting first trace
      List<Label> trace = Arrays.asList(new Label[]{initLabel,labelLock});
      TraceOutcome tr = learner.askErlang(trace);
      Assert.assertEquals(TRACEOUTCOME.TRACE_OK,tr.outcome);
      Assert.assertEquals("[{"+ErlangLabel.missingFunction+",'init','AnyWibble','ok'},{"+ErlangLabel.missingFunction+",'call','lock',{'ok','locked'}}]",RPNILearner.questionToString(Arrays.asList(tr.answerDetails)));
     
      tr = learner.askErlang(Arrays.asList(new Label[]{initLabel,labelLock, labelLock}));
     
View Full Code Here
457
458
459
460
461
462
463
464
465
466
467
      mod.behaviour.getAlphabet().add(labelLock);
      mod.behaviour.getAlphabet().add(labelRead);
      mod.behaviour.getAlphabet().add(labelWrite);
      // Attempting first trace
      List<Label> trace = Arrays.asList(new Label[]{initLabel,labelLock});
      TraceOutcome tr = learner.askErlang(trace);
      Assert.assertEquals(TRACEOUTCOME.TRACE_OK,tr.outcome);
      Assert.assertEquals("[{"+ErlangLabel.missingFunction+",'init','AnyWibble','ok'},{"+ErlangLabel.missingFunction+",'call','lock',{'ok','locked'}}]",RPNILearner.questionToString(Arrays.asList(tr.answerDetails)));
     
      tr = learner.askErlang(Arrays.asList(new Label[]{initLabel,labelLock, labelLock}));
     
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.ErlangOracleLearner.TraceOutcome

  • statechum.analysis.Erlang.TestErlangModule
  • statechum.Interface.ErlangTraceGenerator
    • 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.