Package statechum.model.testset

Examples of statechum.model.testset.PTA_FSMStructure

128
129
130
131
132
133
134
135
136
137
138
  /** Same as 2a but using a different state as an initial state. */
  @Test
  public final void testPrecisionRecall2b()
  {
    LearnerGraph mach = buildLearnerGraph("A-a->A-b-#B","testPrecisionRecall2b",mainConfiguration,converter);
    PTASequenceEngine engine = new PTA_FSMStructure(mach,null);
    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"} // -, FP
View Full Code Here
148
149
150
151
152
153
154
155
156
157
158
 
  @Test
  public final void testPrecisionRecall3()
  {
    LearnerGraph mach = buildLearnerGraph("A-a->A-b-#B","testPrecisionRecall3",mainConfiguration,converter);
    PTASequenceEngine engine = new PTA_FSMStructure(mach,null);
    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"} //, FP
View Full Code Here
167
168
169
170
171
172
173
174
175
176
177
  @Test
  public final void testPrecisionRecall4()
  {
    LearnerGraph mach = buildLearnerGraph("AM-a->BM-a->AM\nBM-b->CM-a->DM","testPrecisionRecall4",mainConfiguration,converter);
    PTASequenceEngine engine = new PTA_FSMStructure(mach,null);
    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"}, // -, FP
View Full Code Here
188
189
190
191
192
193
194
195
196
197
198
  /** long test sequence (which exists) which is rejected part-way. */
  @Test
  public final void testPrecisionRecall5a() 
  {
    LearnerGraph mach = buildLearnerGraph("AM-a->AM-b->AM-c->AM","testPrecisionRecall5",mainConfiguration,converter);
    PTASequenceEngine engine = new PTA_FSMStructure(mach,null);
    SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","a","a","b","a"}, // +, FN
      },mainConfiguration,converter));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
View Full Code Here
206
207
208
209
210
211
212
213
214
215
216
  /** long test sequence which is rejected at the last node. */
  @Test
  public final void testPrecisionRecall5b() 
  {
    LearnerGraph mach = buildLearnerGraph("AM-a->AM-b->AM-c->AM","testPrecisionRecall5",mainConfiguration,converter);
    PTASequenceEngine engine = new PTA_FSMStructure(mach,null);
    SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","a","a","a","b"}, // +, FN
      },mainConfiguration,converter));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
View Full Code Here
224
225
226
227
228
229
230
231
232
233
234
  /** long test sequence (which does not exist) which is rejected part-way. */
  @Test
  public final void testPrecisionRecall6() 
  {
    LearnerGraph mach = buildLearnerGraph("AM-a->AM-b->AM-c->AM","testPrecisionRecall6",mainConfiguration,converter);
    PTASequenceEngine engine = new PTA_FSMStructure(mach,null);
    SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","a","a","b","a","c"}, // +, FN
      },mainConfiguration,converter));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
View Full Code Here
242
243
244
245
246
247
248
249
250
251
252
  /** a tree of long test sequences (which should not exist) are is rejected part-way. */
  @Test
  public final void testPrecisionRecall7() 
  {
    LearnerGraph mach = buildLearnerGraph("AM-a->AM-b->AM-c->AM","testPrecisionRecall6",mainConfiguration,converter);
    PTASequenceEngine engine = new PTA_FSMStructure(mach,null);
    SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","a","a","b","a","d"}, // -
        new String[] {"a","a","a","b","a","e","f"}, // -
        new String[] {"a","a","a","b","a","c","c","c"}, // +, FN
View Full Code Here
262
263
264
265
266
267
268
269
270
271
272
  /** Long test sequences which are accepted. */
  @Test
  public final void testPrecisionRecall8() 
  {
    LearnerGraph mach = buildLearnerGraph("AM-a->AM-b->AM-c->AM","testPrecisionRecall6",mainConfiguration,converter);
    PTASequenceEngine engine = new PTA_FSMStructure(mach,null);
    SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","a","a","a","a","b","c"}, // +
        new String[] {"a","b"}, // +
        new String[] {"a","a","a","b","c"}, // +
View Full Code Here
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
  /** Long test sequence (which exists) which is rejected part-way, but the first element of it does not count. */
  @Test
  public final void testPrecisionRecall_ign1() 
  {
    LearnerGraph mach = buildLearnerGraph("AM-a->AM-b->AM-c->AM","testPrecisionRecall_ign1",mainConfiguration,converter);
    PTASequenceEngine engine = new PTA_FSMStructure(mach,null);
    SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a"}, // +
      },mainConfiguration,converter));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
   
    engine = new PTA_FSMStructure(mach,null);
    partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","b","b","c","c"}, // +, FN
      },mainConfiguration,converter));
    precComputer.crossWith(engine);
View Full Code Here
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
  /** Test sequence (which exists) which is rejected part-way, all of it is ignored. */
  @Test
  public final void testPrecisionRecall_ign2() 
  {
    LearnerGraph mach = buildLearnerGraph("AM-a->AM-b->AM-c->AM","testPrecisionRecall_ign1",mainConfiguration,converter);
    PTASequenceEngine engine = new PTA_FSMStructure(mach,null);
    SequenceSet partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","b","b","c","c"}, // +
      },mainConfiguration,converter));
    PTA_computePrecisionRecall precComputer = new PTA_computePrecisionRecall(fsm);
    precComputer.crossWith(engine);
   
    engine = new PTA_FSMStructure(mach,null);
    partialPTA = engine.new SequenceSet();partialPTA.setIdentity();
    partialPTA = partialPTA.cross(TestFSMAlgo.buildSet(new String[][] {
        new String[] {"a","b","b","c","c"}, // +, FN
      },mainConfiguration,converter));
    precComputer.crossWith(engine);
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.