Examples of Tester


Examples of core.tests.src.testovi.Tester

   */
  private void testAssignment() {
    String result = "";
    Assignment assignment = new Assignment(file);
    for (TestFile tFile : testList) {
      Tester test = new Tester(file, tFile.getInput());
      if (tFile.getOutputTest()) {
        test.doOutput_test(tFile.getOutputTest(), tFile.getOutput());
      }
      if (tFile.getTimeTest()) {
        test.doElapsed_time_test(tFile.getTimeTest());
      }
      if (tFile.getCPUTimeTest()) {
        test.doCpu_time_test(tFile.getCPUTimeTest());
      }
      if (tFile.getMemoryTest()) {
        test.doMemory_test(tFile.getMemoryTest());
      }
      if (tFile.getThreadNumberTest()) {
        test.doThd_test(tFile.getThreadNumberTest());
      }
      if (tFile.gethandlersTest()) {
        test.doHnd_test(tFile.gethandlersTest());
      }
      if (tFile.getProcessIDTest()) {
        test.doPid_test(tFile.getProcessIDTest());
      }
      test.setTime_limit(tFile.getTimeLimit());
      test.start();
      if (test.getOutput().equalsIgnoreCase("false") || test.getHas_error().equalsIgnoreCase("false")) result = "PASS";
      else result = "FAILED";
    }
    assignment.setResult(result);
  }
View Full Code Here

Examples of jodd.db.oom.tst.Tester

  // ---------------------------------------------------------------- workout

  protected void workoutEntity() {
    DbSession session = new DbSession();

    Tester tester = new Tester();
    tester.setName("one");
    tester.setValue(Integer.valueOf(7));

    DbOomQuery dbOomQuery = DbOomQuery.query(session, DbEntitySql.insert(tester));
    dbOomQuery.setGeneratedKey();
    dbOomQuery.executeUpdate();
    assertDb(session, "{1,one,7}");

    long key = dbOomQuery.getGeneratedKey();
    tester.setId(Long.valueOf(key));
    dbOomQuery.close();

    assertEquals(1, tester.getId().longValue());

    tester.setName("seven");
    DbOomQuery.query(session, DbEntitySql.updateAll(tester)).executeUpdate();
    assertDb(session, "{1,seven,7}");

    tester.setName("SEVEN");
    DbOomQuery.query(session, DbEntitySql.update(tester)).executeUpdate();
    assertDb(session, "{1,SEVEN,7}");

    tester.setName("seven");
    DbOomQuery.query(session, DbEntitySql.updateColumn(tester, "name")).executeUpdate();
    assertDb(session, "{1,seven,7}");

    tester = new Tester();
    tester.setId(Long.valueOf(2));
    tester.setName("two");
    tester.setValue(Integer.valueOf(2));
    DbOomQuery.query(session, DbEntitySql.insert(tester)).executeUpdate();
    assertDb(session, "{1,seven,7}{2,two,2}");

    long count = DbOomQuery.query(session, DbEntitySql.count(Tester.class)).executeCount();
    assertEquals(2, count);

    tester = DbOomQuery.query(session, DbEntitySql.findById(Tester.class, 2)).find(Tester.class);
    assertNotNull(tester);
    assertEquals("{2,two,2}", tester.toString());

    tester = DbOomQuery
        .query(session, DbEntitySql
            .findById(Tester.class, 2)
            .aliasColumnsAs(ColumnAliasType.COLUMN_CODE))
        .find(Tester.class);
    assertNotNull(tester);
    assertEquals("{2,two,2}", tester.toString());

    tester = DbOomQuery
        .query(session, DbEntitySql
            .findById(Tester.class, 2)
            .aliasColumnsAs(ColumnAliasType.TABLE_REFERENCE))
        .find(Tester.class);
    assertNotNull(tester);
    assertEquals("{2,two,2}", tester.toString());

    tester = DbOomQuery
        .query(session, DbEntitySql
            .findById(Tester.class, 2)
            .aliasColumnsAs(ColumnAliasType.TABLE_NAME))
        .find(Tester.class);
    assertNotNull(tester);
    assertEquals("{2,two,2}", tester.toString());

    tester = DbOomQuery
        .query(session, DbEntitySql
            .findById(Tester.class, 2)
            .aliasColumnsAs(ColumnAliasType.COLUMN_CODE))    // fixes POSTGRESQL
        .find();
    assertEquals("{2,two,2}", tester.toString());

    tester = new Tester();
    tester.setName("seven");
    tester = DbOomQuery.query(session, DbEntitySql.find(tester)).find(Tester.class);
    assertEquals("{1,seven,7}", tester.toString());

    DbOomQuery.query(session, DbEntitySql.findByColumn(Tester.class, "name", "seven")).find(Tester.class);
    assertEquals("{1,seven,7}", tester.toString());

    DbOomQuery.query(session, DbEntitySql.deleteById(Tester.class, 1)).executeUpdate();

    count = DbOomQuery.query(session, DbEntitySql.count(Tester.class)).executeCount();
    assertEquals(1, count);
View Full Code Here

Examples of nz.ac.waikato.modeljunit.Tester

   */
  public static void main(String[] args) throws FileNotFoundException
  {
    final int experiments = 100;
    TimedModel model = new TimedModel(new SimpleTimedLight());
    Tester tester = new RandomTester(model);
    //tester.addListener(new VerboseListener());
    double origProb = model.getTimeoutProbability();
    model.setTimeoutProbability(0.3); // while exploring the FSM
    GraphListener graph = tester.buildGraph();
    model.setTimeoutProbability(origProb);
    graph.printGraphDot("SimpleTimedLight.dot");
    System.out.println("FSM has " + graph.getGraph().numVertices() + " states and "
        + graph.getGraph().numEdges() + " transitions");
    CoverageMetric metric = tester.addCoverageMetric(new TransitionCoverage());
    for (double prob = 0.1; prob < 0.99; prob += 0.1) {
      model.setTimeoutProbability(prob);
      double totalSteps = 0.0;
      int totalTime = 0; // sum of all the totalTimes.
      for (int seed = 0; seed < experiments; seed++) {
        int testSeqTime = 0;
        int lastTime = 0; // the time after the last transition
        metric.clear();
        tester.reset();
        tester.setRandom(new Random(seed));
        int count = 0;
        while (metric.getPercentage() < 100.0) {
          tester.generate(1);
          if (model.getTime() > lastTime) {
            lastTime = model.getTime();
          } else {
            testSeqTime += lastTime;
            //System.out.println("added " + lastTime + " secs");
View Full Code Here

Examples of nz.ac.waikato.modeljunit.Tester

  }

  public static void main(String[] args)
  {
    TimedModel model = new TimedModel(new TrafficLight());
    Tester tester = new RandomTester(model);
    //tester.addListener("verbose");
    //GraphListener graphListener = tester.buildGraph();
   
    try {
      for (int count = 0; count < 1000000; count += 1000) {
        tester.generate(1000);
        System.out.println(count);
      }
      //graphListener.printGraphDot("TrafficLight.dot");
    }
    catch (Exception ex) {
View Full Code Here

Examples of nz.ac.waikato.modeljunit.Tester

        + " New State: " + getState());
  }

  public static void main(String[] args)
  {
    Tester tester = new GreedyTester(new AlarmClockOld());
    System.out.println("------------------------");
    tester.setRandom(new Random());
    tester.generate(100);
    GraphListener listener = tester.buildGraph();
    try {
      listener.printGraphDot("OriginalAlarmClock.dot");
    }
    catch (FileNotFoundException e) {
      e.printStackTrace();
View Full Code Here

Examples of nz.ac.waikato.modeljunit.Tester

  /** An example of generating tests from this model. */
  public static void main(String[] args)
  {
    Set<String> sut = new StringSetBuggy(); // StringSetBuggy();
    Tester tester = new GreedyTester(new SimpleSetWithAdaptor(sut));
    //tester.buildGraph(); // to get better statistics
    tester.addListener(new VerboseListener());
   
    // uncoment this line if you want to stop when the first error is found.
    // tester.addListener(new StopOnFailureListener());
   
    tester.addCoverageMetric(new TransitionCoverage());
    tester.generate(50);
    tester.printCoverage();
  }
View Full Code Here

Examples of nz.ac.waikato.modeljunit.Tester

    return result;
  }

  public static void main(String[] args) throws FileNotFoundException
  {
    Tester tester = new RandomTester(new ECinema());
    // The guards make this a more difficult graph to explore, but we can
    // increase the default maximum search to complete the exploration.
    GraphListener graph = tester.buildGraph(100000);
    graph.printGraphDot("ecinema.dot");
    CoverageMetric trans = tester.addCoverageMetric(new TransitionCoverage());
    CoverageMetric trpairs = tester.addCoverageMetric(new TransitionPairCoverage());
    CoverageMetric states = tester.addCoverageMetric(new StateCoverage());
    CoverageMetric actions = tester.addCoverageMetric(new ActionCoverage());
    tester.addListener("verbose");
    // this illustrates how to generate tests upto a given level of coverage.
    int steps = 0;
    while (actions.getPercentage() < 100 /* || steps < 1000*/) {
      tester.generate();
      steps++;
    }
    System.out.println("Generated "+steps+" steps.");
    tester.printCoverage();
  }
View Full Code Here

Examples of nz.ac.waikato.modeljunit.Tester

   *  but we write it as main so that it is easy to run.
   */
  public static void main(String[] args)
  {
    Set<String> sut = new HashSet<String>();
    Tester tester = new GreedyTester(new SmartSetAdaptor(sut));
    tester.addListener("verbose");
    tester.generate(100);
  }
View Full Code Here

Examples of nz.ac.waikato.modeljunit.Tester

      String line = input.readLine();
      if (line == null)
        break;
      if (line.equals("graph")) {
        quidonc.out.println("Building FSM graph...");
        Tester tester = new GreedyTester(quidonc);
        GraphListener graph = tester.buildGraph();
        graph.printGraphDot("QuiDonc.dot");
        quidonc.out.println("Printed FSM graph to QuiDonc.dot.");
        quidonc.out.println("Use dotty or dot from http://www.graphviz.org"
            + " to view/transform the graph.");
      }
View Full Code Here

Examples of nz.ac.waikato.modeljunit.Tester

  }

  public void testSet() throws IOException
  {
    Set<String> sut = new StringSet();
    Tester tester = new GreedyTester(new SimpleSetWithAdaptor(sut));
    tester.addCoverageMetric(new TransitionCoverage());
    tester.addListener(new VerboseListener());
    tester.addListener(new StopOnFailureListener());
    tester.generate(60);
    tester.printCoverage(); // print the model coverage information
  }
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.