Examples of nz.ac.waikato.modeljunit.GraphListener

nz.ac.waikato.modeljunit.GraphListener
This ModelListener builds a graph of the observed parts of the model. Note that it is some other class (typically a Tester subclass) that determines which parts of the model are explored. As well as building the graph, this listener also keeps track of which paths have not yet been explored. Internally, it keeps track of two bitsets for each node/state. The 'done_' set records the outgoing transitions that have been taken/explored since the last call to clearDoneTodo(). The 'wasEnabled_' set records the actions that have been observed to have true guards at some point since the last call to clearDoneTodo() (this includes implicitly true guards, where the action has no explicit guard).


  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

        mTestDesign.initializeTester(0);
        //reset the visualisation panel
        mVisualisation.resetRunTimeInformation();
        //Try to fully explore the complete graph before running the test explorations
        Tester tester = TestExeModel.getTester(0);
        GraphListener graph = tester.buildGraph();
        mVisualisation.showEmptyExploredGraph(graph);


        // Clear the information in Result viewer text area
        mResultViewer.resetRunTimeInformation();

View Full Code Here

0 1

TOP

Related Classes of nz.ac.waikato.modeljunit.GraphListener

nz.ac.waikato.jdsl.graph.api.Edge

nz.ac.waikato.jdsl.graph.api.EdgeIterator

nz.ac.waikato.jdsl.graph.api.Vertex

nz.ac.waikato.jdsl.graph.ref.IncidenceListGraph

nz.ac.waikato.modeljunit.examples.ecinema.ECinema

nz.ac.waikato.modeljunit.examples.gsm.SimCard

nz.ac.waikato.modeljunit.examples.QuiDonc

nz.ac.waikato.modeljunit.examples.SizeExperiments

nz.ac.waikato.modeljunit.gui.ModelJUnitGUI

nz.ac.waikato.modeljunit.Tester

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.