Package statechum.xmachine.model.testset.PTATestSequenceEngine

Examples of statechum.xmachine.model.testset.PTATestSequenceEngine.sequenceSet

232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
    List<List<String>> stateCover = computeStateCover(fsm);
    characterisationSet = computeWSet(fsm);if (characterisationSet.isEmpty()) characterisationSet.add(Arrays.asList(new String[]{}));
    transitionCover = crossWithSet(stateCover,alphabet);transitionCover.addAll(stateCover);

    PTATestSequenceEngine engine = new PTA_FSMStructure(fsm);
    sequenceSet partialPTA = engine.new sequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(stateCover);
   
    partialPTA.cross(characterisationSet);
    for(int i=0;i<=this.numberOfExtraStates;i++)
    {
      partialPTA = partialPTA.crossWithSet(alphabet);
      partialPTA.cross(characterisationSet);
    }
   
    return engine.getData();
  }
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
  }
 
  @Test
  public final void test_sequenceSet1()
  {
    sequenceSet seq = en.new sequenceSet();
    seq.crossWithSet(Arrays.asList(new String[] {"a"})); // appending anything to an empty sequence produces an empty sequence.
    TestPTATestSequenceEngine.vertifyPTA(en, new String[][] {
        new String[] {}
    });
  }
View Full Code Here
51
52
53
54
55
56
57
58
59
60
61
62
  @Test
  public final void test_1()
  {
    FSMStructure mach = WMethod.getGraphData(TestFSMAlgo.buildGraph("A-a->A-b-#B","tmp graph"));
    PTATestSequenceEngine engine = new PTA_FSMStructure(mach);
    sequenceSet partialPTA = engine.new sequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","a","a"}, new String[]{"b"}
      }));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
    assertEquals(3, precComputer.pos_relret);assertEquals(1, precComputer.neg_relret);
View Full Code Here
67
68
69
70
71
72
73
74
75
76
77
78
  @Test
  public final void test_2()
  {
    FSMStructure mach = WMethod.getGraphData(TestFSMAlgo.buildGraph("A-a->A-b-#B","tmp graph"));
    PTATestSequenceEngine engine = new PTA_FSMStructure(mach);
    sequenceSet partialPTA = engine.new sequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","a","a"}, new String[]{"b"}, new String[]{"a", "b"}
      }));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
    assertEquals(3, precComputer.pos_relret);assertEquals(1, precComputer.neg_relret);
View Full Code Here
83
84
85
86
87
88
89
90
91
92
93
94
  @Test
  public final void test_3()
  {
    FSMStructure mach = WMethod.getGraphData(TestFSMAlgo.buildGraph("A-a->A-b-#B","tmp graph"));
    PTATestSequenceEngine engine = new PTA_FSMStructure(mach);
    sequenceSet partialPTA = engine.new sequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","a","a","a","b"}, new String[]{"b"}, new String[]{"a", "b"}
      }));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
    assertEquals(4, precComputer.pos_relret);assertEquals(2, precComputer.neg_relret);
View Full Code Here
99
100
101
102
103
104
105
106
107
108
109
110
  @Test
  public final void test_4()
  {
    FSMStructure mach = WMethod.getGraphData(TestFSMAlgo.buildGraph("AM-a->BM-a->AM\nBM-b->CM-a->DM","tmp graph"));
    PTATestSequenceEngine engine = new PTA_FSMStructure(mach);
    sequenceSet partialPTA = engine.new sequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","a","a","a","b"}, new String[]{"b"}, new String[]{"a", "b", "c"}, new String[]{"a", "b", "a"}
      }));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
    assertEquals(5, precComputer.pos_relret);assertEquals(2, precComputer.neg_relret);
View Full Code Here
115
116
117
118
119
120
121
122
123
124
125
126
  @Test
  public final void test_5() // long test sequence (which exists) which is rejected part-way
  {
    FSMStructure mach = WMethod.getGraphData(TestFSMAlgo.buildGraph("AM-a->AM-b->AM-c->AM","tmp graph"));
    PTATestSequenceEngine engine = new PTA_FSMStructure(mach);
    sequenceSet partialPTA = engine.new sequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","b","b","c","c"},
      }));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
    assertEquals(2, precComputer.pos_relret);assertEquals(0, precComputer.neg_relret);
View Full Code Here
131
132
133
134
135
136
137
138
139
140
141
142
  @Test
  public final void test_6() // long test sequence (which does not exist) which is rejected part-way
  {
    FSMStructure mach = WMethod.getGraphData(TestFSMAlgo.buildGraph("AM-a->AM-b->AM-c->AM","tmp graph"));
    PTATestSequenceEngine engine = new PTA_FSMStructure(mach);
    sequenceSet partialPTA = engine.new sequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","b","b","c","c","d"},
      }));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
    assertEquals(2, precComputer.pos_relret);assertEquals(1, precComputer.neg_relret);
View Full Code Here
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
  public final void test_ign_1() // long test sequence (which exists) which is rejected part-way, but first element of it is ignored.
  {
    FSMStructure mach = WMethod.getGraphData(TestFSMAlgo.buildGraph("AM-a->AM-b->AM-c->AM","tmp graph"));
    PTATestSequenceEngine engine = new PTA_FSMStructure(mach);

    sequenceSet partialPTA = engine.new sequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a"},
      }));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
   
    engine = new PTA_FSMStructure(mach);
    partialPTA = engine.new sequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","b","b","c","c"},
      }));
    precComputer.crossWith(engine);
    assertEquals(1, precComputer.pos_relret);assertEquals(0, precComputer.neg_relret);
    assertEquals(4, precComputer.pos_Rel);assertEquals(0, precComputer.neg_Rel);
View Full Code Here
171
172
173
174
175
176
177
178
179
180
181
182
  @Test
  public final void test_ign2() // a complex structure, most of which gets ignored.
  {
    FSMStructure mach = WMethod.getGraphData(TestFSMAlgo.buildGraph("AM-a->BM-a->AM\nBM-b->CM-a->DM","tmp graph"));
    PTATestSequenceEngine engine = new PTA_FSMStructure(mach);
    sequenceSet partialPTA = engine.new sequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","a","a","a","b"}, new String[]{"b"}, new String[]{"a", "b", "c"}, new String[]{"a", "b", "a"}
      }));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
    precComputer.crossWith(engine);
View Full Code Here
TOP

Related Classes of statechum.xmachine.model.testset.PTATestSequenceEngine.sequenceSet

  • statechum.analysis.learning.experiments.IncrementalAccuracyAndQuestionsExperiment$RPNIEvaluator
  • statechum.xmachine.model.testset.TestPTA_computePrecisionRecall
  • statechum.xmachine.model.testset.TestPTATestSequenceEngine
  • statechum.xmachine.model.testset.WMethod
    • 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.