Package statechum.analysis.learning.experiments.ExperimentRunner

Examples of statechum.analysis.learning.experiments.ExperimentRunner.GeneratorConfiguration

168
169
170
171
172
173
174
175
176
177
178
179
180
    populateGraphs();
   
    multiExp = new ExperimentRunner();multiExp.graphsPerRunner=4;multiExp.setTimeBetweenHearbeats(heartbeatTestValue);
    multiExp.setTimeBetweenHearbeats(heartbeatTestValue);// make things run fast.
    multiExp.setLearnerStages(new int[]{30,45,90,99});
    multiExp.addLearnerEvaluator(new GeneratorConfiguration(Configuration.getDefaultConfiguration(),
        w_evaluator.class, "learnerTransitions"));
    multiExp.addLearnerEvaluator(new GeneratorConfiguration(Configuration.getDefaultConfiguration(),
        a_evaluator.class, "learnerAlphabet"));

    List<String> result = new LinkedList<String>();
    for(Entry<String,LearnerGraph> gr:graphs.entrySet())
      for(int stage:new int[]{30,45,90,99})
View Full Code Here
241
242
243
244
245
246
247
248
249
  }
 
  protected ExperimentRunner getSingleStageEvaluator()
  {
    ExperimentRunner experiment = new ExperimentRunner();experiment.graphsPerRunner=4;experiment.setTimeBetweenHearbeats(heartbeatTestValue );
    experiment.addLearnerEvaluator(new GeneratorConfiguration(Configuration.getDefaultConfiguration(),
        countEdge_evaluator.class,"testAllGraphsSingleStage"));
    return experiment;
  }
View Full Code Here
272
273
274
275
276
277
278
279
280
281
282
   */
  @Test
  public final void testInvalidLearnerEvaluatorName1()
  {
    final ExperimentRunner experiment = new ExperimentRunner();experiment.graphsPerRunner=4;experiment.setTimeBetweenHearbeats(heartbeatTestValue);
    experiment.addLearnerEvaluator(new GeneratorConfiguration(Configuration.getDefaultConfiguration(),
        w_evaluator.class, "invalid"+FS));
    checkForCorrectException(new whatToRun() { public @Override void run() throws NumberFormatException, IOException {
      experiment.runExperiment(new String[]{testGraphsDir.getAbsolutePath()});
    }},IllegalArgumentException.class,"invalid learner name");
  }
View Full Code Here
286
287
288
289
290
291
292
293
294
295
296
   */
  @Test
  public final void testInvalidLearnerEvaluatorName2()
  {
    final ExperimentRunner experiment = new ExperimentRunner();experiment.graphsPerRunner=4;experiment.setTimeBetweenHearbeats(heartbeatTestValue);
    experiment.addLearnerEvaluator(new GeneratorConfiguration(Configuration.getDefaultConfiguration(),
        w_evaluator.class, ""));
    checkForCorrectException(new whatToRun() { public @Override void run() throws NumberFormatException, IOException {
      experiment.runExperiment(new String[]{testGraphsDir.getAbsolutePath()});
    }},IllegalArgumentException.class,"invalid learner name");
  }
View Full Code Here
300
301
302
303
304
305
306
307
308
309
310
   */
  @Test
  public final void testInvalidLearnerEvaluatorName3()
  {
    final ExperimentRunner experiment = new ExperimentRunner();experiment.graphsPerRunner=4;experiment.setTimeBetweenHearbeats(heartbeatTestValue);
    experiment.addLearnerEvaluator(new GeneratorConfiguration(Configuration.getDefaultConfiguration(),
        w_evaluator.class, null));
    checkForCorrectException(new whatToRun() { public @Override void run() throws NumberFormatException, IOException {
      experiment.runExperiment(new String[]{testGraphsDir.getAbsolutePath()});
    }},IllegalArgumentException.class,"invalid learner name");
  }
View Full Code Here
485
486
487
488
489
490
491
492
493
  {
    ExperimentRunner result = new ExperimentRunner();result.graphsPerRunner=4;result.setTimeBetweenHearbeats(heartbeatTestValue);
    result.setLearnerStages(new int[]{30,45,90,99});
    Configuration cnf = Configuration.getDefaultConfiguration().copy();
    cnf.setLearnerOverwriteOutput(false);// make sure that existing files are preserved.
    result.addLearnerEvaluator(new GeneratorConfiguration(cnf,w_evaluator.class, "learnerTransitions"));
    result.addLearnerEvaluator(new GeneratorConfiguration(cnf,a_evaluator.class, "learnerAlphabet"));
    return result;
  }
View Full Code Here
152
153
154
155
156
157
158
159
160
161
162
163
164
    populateGraphs();
   
    multiExp = new ExperimentRunner();multiExp.graphsPerRunner=4;multiExp.setTimeBetweenHearbeats(heartbeatTestValue);
    multiExp.setTimeBetweenHearbeats(heartbeatTestValue);// make things run fast.
    multiExp.setLearnerStages(new int[]{30,45,90,99});
    multiExp.addLearnerEvaluator(new GeneratorConfiguration(Configuration.getDefaultConfiguration(),
        w_evaluator.class, "learnerTransitions"));
    multiExp.addLearnerEvaluator(new GeneratorConfiguration(Configuration.getDefaultConfiguration(),
        a_evaluator.class, "learnerAlphabet"));

    List<String> result = new LinkedList<String>();
    for(Entry<String,LearnerGraph> gr:graphs.entrySet())
      for(int stage:new int[]{30,45,90,99})
View Full Code Here
225
226
227
228
229
230
231
232
233
  }
 
  protected ExperimentRunner getSingleStageEvaluator()
  {
    ExperimentRunner experiment = new ExperimentRunner();experiment.graphsPerRunner=4;experiment.setTimeBetweenHearbeats(heartbeatTestValue );
    experiment.addLearnerEvaluator(new GeneratorConfiguration(Configuration.getDefaultConfiguration(),
        countEdge_evaluator.class,"testAllGraphsSingleStage"));
    return experiment;
  }
View Full Code Here
256
257
258
259
260
261
262
263
264
265
266
   */
  @Test
  public final void testInvalidLearnerEvaluatorName1()
  {
    final ExperimentRunner experiment = new ExperimentRunner();experiment.graphsPerRunner=4;experiment.setTimeBetweenHearbeats(heartbeatTestValue);
    experiment.addLearnerEvaluator(new GeneratorConfiguration(Configuration.getDefaultConfiguration(),
        w_evaluator.class, "invalid"+FS));
    checkForCorrectException(new whatToRun() { public @Override void run() throws NumberFormatException, IOException {
      experiment.runExperiment(new String[]{testGraphsDir.getAbsolutePath()});
    }},IllegalArgumentException.class,"invalid learner name");
  }
View Full Code Here
270
271
272
273
274
275
276
277
278
279
280
   */
  @Test
  public final void testInvalidLearnerEvaluatorName2()
  {
    final ExperimentRunner experiment = new ExperimentRunner();experiment.graphsPerRunner=4;experiment.setTimeBetweenHearbeats(heartbeatTestValue);
    experiment.addLearnerEvaluator(new GeneratorConfiguration(Configuration.getDefaultConfiguration(),
        w_evaluator.class, ""));
    checkForCorrectException(new whatToRun() { public @Override void run() throws NumberFormatException, IOException {
      experiment.runExperiment(new String[]{testGraphsDir.getAbsolutePath()});
    }},IllegalArgumentException.class,"invalid learner name");
  }
View Full Code Here
TOP

Related Classes of statechum.analysis.learning.experiments.ExperimentRunner.GeneratorConfiguration

  • statechum.analysis.learning.experiments.IncrementalAccuracyAndQuestionsExperiment
  • statechum.analysis.learning.experiments.IterativeEvaluatorExperiment
  • statechum.analysis.learning.experiments.PathCompressionExperiment
  • statechum.analysis.learning.experiments.TestExperimentRunner
  • statechum.analysis.learning.experiments.WExperiment
    • 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.