List of buildGraph() Examples

Examples of buildGraph()

Examples of com.sun.j3d.utils.scenegraph.io.state.com.sun.j3d.utils.universe.SimpleUniverseState.buildGraph()

/*     */ 
/* 468 */       if (attachBranchGraphs) {
/* 469 */         int[] graphs = state.getAllGraphIDs();
/* 470 */         readBranchGraphs(graphs);
/*     */ 
/* 472 */         state.buildGraph();
/*     */       }
/*     */ 
/* 475 */       return state.getNode();
/*     */     }
/* 477 */     throw new IOException("Unrecognized universe class " + universeClass);

View Full Code Here

Examples of com.sun.j3d.utils.scenegraph.io.state.javax.media.j3d.SceneGraphObjectState.buildGraph()

/* 149 */       readNodeComponents(this.inputStream);
/* 150 */       this.symbolTable.readTable(this.inputStream, true);
/*     */ 
/* 152 */       this.symbolTable.setBranchGraphRoot(state.getSymbol(), 0L);
/*     */ 
/* 154 */       state.buildGraph();
/*     */ 
/* 156 */       if (namedObjects != null) {
/* 157 */         this.symbolTable.getNamedObjectMap(namedObjects);
/*     */       }
/* 159 */       return (BranchGroup)state.getNode();

View Full Code Here

Examples of nz.ac.waikato.modeljunit.GreedyTester.buildGraph()

  {
    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.GreedyTester.buildGraph()

      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.GreedyTester.buildGraph()

  {
    System.out.println("Exploring the SimCard model without testing the SUT.");
    RandomTester tester = new GreedyTester(new SimCard(null));
    // use very long test sequences (since reset corresponds to a new card).
    tester.setResetProbability(0.0001);
    GraphListener graph = tester.buildGraph(1000000);
    graph.printGraphDot("gsm.dot");
    System.out.println("Graph contains "
        + graph.getGraph().numVertices() + " states and "
        + graph.getGraph().numEdges() + " transitions.");
  }

View Full Code Here

Examples of nz.ac.waikato.modeljunit.GreedyTester.buildGraph()


  /** An example of generating tests from this model. */
  public static void main(String[] args) throws IOException
  {
    Tester tester = new GreedyTester(new LargeSet(2));
    tester.buildGraph(100000);
    CoverageHistory hist = new CoverageHistory(new TransitionCoverage(), 1);
    tester.addCoverageMetric(hist);
    tester.addListener("verbose");
    while (hist.getPercentage() < 99.0)
      tester.generate();

View Full Code Here

Examples of nz.ac.waikato.modeljunit.GreedyTester.buildGraph()

  public static void main(String[] args)
  {
    Tester tester = new GreedyTester(new AlarmClock());
    tester.setRandom(new Random());
    tester.generate(100);
    GraphListener listener = tester.buildGraph();
    try {
      listener.printGraphDot("AlarmClock.dot");
    }
    catch (FileNotFoundException e) {
      e.printStackTrace();

View Full Code Here

Examples of nz.ac.waikato.modeljunit.GreedyTester.buildGraph()


  public static void main(String[] args)
  {
    Tester tester = new GreedyTester(new TrafficLightOld());
    tester.addListener("verbose");
    GraphListener graphListener = tester.buildGraph();
    try {
      graphListener.printGraphDot("OriginalTrafficLight.dot");
    }
    catch (Exception ex) {
      System.out.println(ex.getMessage());

View Full Code Here

Examples of nz.ac.waikato.modeljunit.RandomTester.buildGraph()

    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());

View Full Code Here

Examples of nz.ac.waikato.modeljunit.RandomTester.buildGraph()

  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());

View Full Code Here

0 1 2 3

TOP

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.