Package statechum.model.testset

Examples of statechum.model.testset.PTA_FSMStructure

774
775
776
777
778
779
780
781
782
783
784
  /** Test that it is possible to selectively filter out paths which terminate at specific states. */
  @Test
  public final void test_sequenceSet_testing_shouldBeReturned1c()
  {
    final LearnerGraph machine = buildLearnerGraph("A-a->A-b->B-b->B\nA-d->C-d->C", "test_sequenceSet_testing_shouldBeReturned1c",mainConfiguration,converter);
    en = new PTA_FSMStructure(machine,null) {
      {
        init(machine.new FSMImplementation(){
          @Override
          public boolean shouldBeReturned(Object elem) {
            // elem is null for REJECT states
View Full Code Here
808
809
810
811
812
813
814
815
816
817
818
   */
  @Test
  public final void test_sequenceSet_testing_shouldBeReturned1d()
  {
    final LearnerGraph machine = buildLearnerGraph("A-a->A-b->B-b->B\nA-d->C-d->C\nB-c->D-c->D-a->D-b->D", "test_sequenceSet_testing_shouldBeReturned1d",mainConfiguration,converter);
    en = new PTA_FSMStructure(machine,null) {
      {
        init(machine.new FSMImplementation(){
          @Override
          public boolean shouldBeReturned(Object elem) {
            // elem is null for REJECT states
View Full Code Here
841
842
843
844
845
846
847
848
849
850
851
  /** Test that if I wish to return all paths in a PTA, they will be returned. */
  @Test
  public final void test_sequenceSet_testing_shouldBeReturned1e()
  {
    final LearnerGraph machine = buildLearnerGraph("A-a->A-b->B-b->B\nA-d->C-d->C\nB-c->D-c->D-a->D-b->D", "test_sequenceSet_testing_shouldBeReturned1d",mainConfiguration,converter);
    en = new PTA_FSMStructure(machine,null) {
      {
        init(machine.new FSMImplementation(){
          @Override
          public boolean shouldBeReturned(@SuppressWarnings("unused")  Object elem) {
            // elem is null for REJECT states
View Full Code Here
874
875
876
877
878
879
880
881
882
883
884
  /** Test for shouldBeReturned from the initial state. */
  @Test
  public final void test_sequenceSet_testing_shouldBeReturned2a() // a test for shouldBeReturned
  {
    final LearnerGraph machine = buildLearnerGraph("A-a->A-b->B", "test_sequenceSet_testing_shouldBeReturned2a",mainConfiguration,converter);
    en = new PTA_FSMStructure(machine,null) {
      {
        init(machine.new FSMImplementation(){
          @Override
          public boolean shouldBeReturned(@SuppressWarnings("unused")  Object elem) {
            return false;
View Full Code Here
901
902
903
904
905
906
907
908
909
910
911
  /** Test for shouldBeReturned from a non-initial state. */
  @Test
  public final void test_sequenceSet_testing_shouldBeReturned2b() // a test for shouldBeReturned
  {
    final LearnerGraph machine = buildLearnerGraph("P-a->P\nA-a->A-b->B", "test_sequenceSet_testing_shouldBeReturned2b",mainConfiguration,converter);
    en = new PTA_FSMStructure(machine,machine.findVertex(VertexID.parseID("A")));
    SequenceSet seq = en.new SequenceSet();seq.setIdentity();
    Map<String,String> actual = getDebugDataMap(en,seq.crossWithSet(labelList(new String[] {"b","a"}))
      .crossWithSet(labelList(new String[] {"b","a"})));
    Map<String,String> expected=TestFSMAlgo.buildStringMap(new Object[][] {
        new Object[]{new String[] {"a","a"}, PTASequenceEngine.DebugDataValues.booleanToString(true, true)},
View Full Code Here
918
919
920
921
922
923
924
925
926
927
928
  @SuppressWarnings("unused")
  @Test
  public final void testCreateFSMStructureFail1()
  {
    final LearnerGraph mach = buildLearnerGraph("D-a->A-a->A-b-#B","testPrecisionRecall2b",mainConfiguration,converter);
    new PTA_FSMStructure(mach,mach.findVertex(VertexID.parseID("A")));
   
    Helper.checkForCorrectException(new whatToRun() { public @Override void run() {
        new PTA_FSMStructure(mach,AbstractLearnerGraph.generateNewCmpVertex(VertexID.parseID("Vert"), mach.config));
      }},IllegalArgumentException.class,"is not a valid state of the graph");
  }
View Full Code Here
932
933
934
935
936
937
938
939
940
941
942
  @Test
  public final void testCreateFSMStructureFail2()
  {
    final LearnerGraph mach = buildLearnerGraph("D-a->A-a->A-b-#B","testPrecisionRecall2b",mainConfiguration,converter);
    final LearnerGraph sameMach = buildLearnerGraph("D-a->A-a->A-b-#B","testPrecisionRecall2b",mainConfiguration,converter);
    new PTA_FSMStructure(mach,mach.findVertex(VertexID.parseID("A")));
   
    Helper.checkForCorrectException(new whatToRun() {public @Override void run() {
        new PTA_FSMStructure(mach,sameMach.findVertex(VertexID.parseID("A")));
      }},IllegalArgumentException.class,"is not a valid state of the graph");
  }
View Full Code Here
943
944
945
946
947
948
949
950
951
952
953
  @Test
  public final void test_sequenceSet_testing_shouldBeReturned3() // a test for shouldBeReturned
  {
    final LearnerGraph machine = buildLearnerGraph("A-a->A-b->B", "test_sequenceSet_testing_shouldBeReturned3",mainConfiguration,converter);
    en = new PTA_FSMStructure(machine,null) {
      {
        init(machine.new FSMImplementation(){
          @Override
          public boolean shouldBeReturned(Object elem) {
            // elem is null for REJECT states
View Full Code Here
64
65
66
67
68
69
70
71
72
73
    System.out.println(pr.getPosprecision()+", "+pr.getPosrecall()+", "+pr.getNegprecision()+", "+pr.getNegrecall());
  }
 
  public static PosNegPrecisionRecall compare(LearnerGraph specfsm, LearnerGraph imp){
    PTA_computePrecisionRecall precRec = new PTA_computePrecisionRecall(imp);
    PTASequenceEngine engine = new PTA_FSMStructure(specfsm,null);
    SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(specfsm.wmethod.getFullTestSet(1));
    precRec.crossWith(engine);return precRec.getPosNegPrecisionRecallNum();
  }
View Full Code Here
72
73
74
75
76
77
78
79
80
81
    precRec.crossWith(engine);return precRec.getPosNegPrecisionRecallNum();
  }
 
  public static PosNegPrecisionRecall compare(Collection<List<String>> tests, LearnerGraph specfsm, LearnerGraph imp){
    PTA_computePrecisionRecall precRec = new PTA_computePrecisionRecall(imp);
    PTASequenceEngine engine = new PTA_FSMStructure(specfsm,null);
    SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(tests);
    precRec.crossWith(engine);return precRec.getPosNegPrecisionRecallNum();
  }
View Full Code Here
TOP

Related Classes of statechum.model.testset.PTA_FSMStructure

  • statechum.analysis.learning.experiments.Benchmarklinear
  • statechum.analysis.learning.experiments.CompareGraphs
  • statechum.analysis.learning.experiments.IncrementalAccuracyAndQuestionsExperiment$RPNIEvaluator
  • statechum.analysis.learning.experiments.StructuralDifferencesPaper
  • statechum.analysis.learning.rpnicore.WMethod
  • statechum.apps.CompareGraphs
  • statechum.model.testset.TestPTA_computePrecisionRecall
  • statechum.model.testset.TestPTASequenceEngine
    • 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.