Examples of askErlang()

Examples of statechum.analysis.learning.ErlangOracleLearner.askErlang()

407
408
409
410
411
412
413
414
415
416
417
      final ErlangLabel initLabel = mod.behaviour.convertErlToMod(AbstractLearnerGraph.generateNewLabel("{"+ErlangLabel.missingFunction+",'init','AnyWibble','ok'}", evalConf.config,evalConf.getLabelConverter())),
      labelLock = mod.behaviour.convertErlToMod(AbstractLearnerGraph.generateNewLabel("{"+ErlangLabel.missingFunction+",'call','lock',{'ok','locked'}}", evalConf.config,evalConf.getLabelConverter()));
    final ErlangLabel labelInvalidRead = new ErlangLabel(labelLock.function,labelLock.callName,labelLock.input,new OtpErlangInt(88));
    statechum.Helper.checkForCorrectException(new statechum.Helper.whatToRun() {
      public @Override void run() {
        learner.askErlang(Arrays.asList(new Label[]{initLabel,labelLock,labelInvalidRead}));
      }},IllegalArgumentException.class,"does not belong");
    }
   
    @Test
    public void testAttemptTracesWrongModule() throws IOException
View Full Code Here

Examples of statechum.analysis.learning.ErlangOracleLearner.askErlang()

429
430
431
432
433
434
435
436
437
438
439
      final ErlangLabel pushLabel = modExporter.behaviour.convertErlToMod(AbstractLearnerGraph.generateNewLabel(
          "{"+ErlangLabel.missingFunction+",'exporter:push/1',['JustAnythingA'],'ok'}", exporterConfiguration,evalConf.getLabelConverter()));
    //final ErlangLabel labelInvalidArity = new ErlangLabel(initLabel.function,initLabel.callName,initLabel.input,initLabel.expectedOutput);
    statechum.Helper.checkForCorrectException(new statechum.Helper.whatToRun() {
      public @Override void run() {
        learner.askErlang(Arrays.asList(new Label[]{pushLabel}));
      }},IllegalArgumentException.class,"but attempting to call");
    }
   
    @Test
    public void testAttemptTraces()
View Full Code Here

Examples of statechum.analysis.learning.ErlangOracleLearner.askErlang()

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

Examples of statechum.analysis.learning.ErlangOracleLearner.askErlang()

461
462
463
464
465
466
467
468
469
470
471
      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}));
     
         Assert.assertEquals(TRACEOUTCOME.TRACE_FAIL,tr.outcome);
      Assert.assertEquals("[{"+ErlangLabel.missingFunction+",'init','AnyWibble','ok'},{"+ErlangLabel.missingFunction+",'call','lock',{'ok','locked'}},{"+ErlangLabel.missingFunction+",'call','lock',{'ok','locked'}}]",RPNILearner.questionToString(Arrays.asList(tr.answerDetails)));
     
      tr =learner.askErlang(Arrays.asList(new Label[]{initLabel,labelLock,labelWrite, labelRead}));
View Full Code Here

Examples of statechum.analysis.learning.ErlangOracleLearner.askErlang()

466
467
468
469
470
471
472
473
474
475
476
      tr = learner.askErlang(Arrays.asList(new Label[]{initLabel,labelLock, labelLock}));
     
         Assert.assertEquals(TRACEOUTCOME.TRACE_FAIL,tr.outcome);
      Assert.assertEquals("[{"+ErlangLabel.missingFunction+",'init','AnyWibble','ok'},{"+ErlangLabel.missingFunction+",'call','lock',{'ok','locked'}},{"+ErlangLabel.missingFunction+",'call','lock',{'ok','locked'}}]",RPNILearner.questionToString(Arrays.asList(tr.answerDetails)));
     
      tr =learner.askErlang(Arrays.asList(new Label[]{initLabel,labelLock,labelWrite, labelRead}));
     
         Assert.assertEquals(TRACEOUTCOME.TRACE_OK,tr.outcome);
      Assert.assertEquals("[{"+ErlangLabel.missingFunction+",'init','AnyWibble','ok'},{"+ErlangLabel.missingFunction+",'call','lock',{'ok','locked'}},{"+ErlangLabel.missingFunction+",'call',{'write','AnyWibble'},{'ok','AnyWibble'}},{"+ErlangLabel.missingFunction+",'call','read','AnyWibble'}]",
          RPNILearner.questionToString(Arrays.asList(tr.answerDetails)));
     
View Full Code Here

Examples of statechum.analysis.learning.ErlangOracleLearner.askErlang()

477
478
479
480
481
482
483
484
485
486
487
      // Now attempt a "different output" input
      ErlangLabel lbl = tr.answerDetails[3];
      tr.answerDetails[3] = new ErlangLabel(lbl.function,lbl.callName,
          lbl.input, new OtpErlangAtom("aa"));
      mod.behaviour.getAlphabet().add(tr.answerDetails[3]);
      tr =learner.askErlang(Arrays.asList(tr.answerDetails));
         Assert.assertEquals(TRACEOUTCOME.TRACE_DIFFERENTOUTPUT,tr.outcome);
      Assert.assertEquals("[{"+ErlangLabel.missingFunction+",'init','AnyWibble','ok'},{"+ErlangLabel.missingFunction+",'call','lock',{'ok','locked'}},{"+ErlangLabel.missingFunction+",'call',{'write','AnyWibble'},{'ok','AnyWibble'}},{"+ErlangLabel.missingFunction+",'call','read','AnyWibble'}]",
          RPNILearner.questionToString(Arrays.asList(tr.answerDetails)));
    }
   
View Full Code Here

Examples of statechum.analysis.learning.ErlangOracleLearner.askErlang()

466
467
468
469
470
471
472
473
474
475
476
      final ErlangLabel initLabel = mod.behaviour.convertErlToMod(AbstractLearnerGraph.generateNewLabel("{"+ErlangLabel.missingFunction+",'init','AnyWibble','ok'}", evalConf.config,evalConf.getLabelConverter())),
      labelLock = mod.behaviour.convertErlToMod(AbstractLearnerGraph.generateNewLabel("{"+ErlangLabel.missingFunction+",'call','lock',{'ok','locked'}}", evalConf.config,evalConf.getLabelConverter()));
    final ErlangLabel labelInvalidRead = new ErlangLabel(labelLock.function,labelLock.callName,labelLock.input,new OtpErlangInt(88));
    statechum.Helper.checkForCorrectException(new statechum.Helper.whatToRun() {
      public @Override void run() {
        learner.askErlang(Arrays.asList(new Label[]{initLabel,labelLock,labelInvalidRead}));
      }},IllegalArgumentException.class,"does not belong");
    }
   
    @Test
    public void testAttemptTracesWrongModule() throws IOException
View Full Code Here

Examples of statechum.analysis.learning.ErlangOracleLearner.askErlang()

489
490
491
492
493
494
495
496
497
498
499
      final ErlangLabel pushLabel = modExporter.behaviour.convertErlToMod(AbstractLearnerGraph.generateNewLabel(
          "{"+ErlangLabel.missingFunction+",'exporter:push/1',['JustAnythingA'],'ok'}", exporterConfiguration,evalConf.getLabelConverter()));
    //final ErlangLabel labelInvalidArity = new ErlangLabel(initLabel.function,initLabel.callName,initLabel.input,initLabel.expectedOutput);
    statechum.Helper.checkForCorrectException(new statechum.Helper.whatToRun() {
      public @Override void run() {
        learner.askErlang(Arrays.asList(new Label[]{pushLabel}));
      }},IllegalArgumentException.class,"but attempting to call");
    }
   
    @Test
    public void testAttemptTraces()
View Full Code Here

Examples of statechum.analysis.learning.ErlangOracleLearner.askErlang()

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

Examples of statechum.analysis.learning.ErlangOracleLearner.askErlang()

521
522
523
524
525
526
527
528
529
530
531
      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}));
     
         Assert.assertEquals(TRACEOUTCOME.TRACE_FAIL,tr.outcome);
      Assert.assertEquals("[{"+ErlangLabel.missingFunction+",'init','AnyWibble','ok'},{"+ErlangLabel.missingFunction+",'call','lock',{'ok','locked'}},{"+ErlangLabel.missingFunction+",'call','lock',{'ok','locked'}}]",RPNILearner.questionToString(Arrays.asList(tr.answerDetails)));
     
      tr =learner.askErlang(Arrays.asList(new Label[]{initLabel,labelLock,labelWrite, labelRead}));
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.