Package nz.ac.waikato.modeljunit.examples

Examples of nz.ac.waikato.modeljunit.examples.FSM

23
24
25
26
27
28
29
30
31
32
33
  }

  @Test
  public void testClear()
  {
    Model model = new Model(new FSM());
    GraphListener listen = (GraphListener) model.addListener("graph");
 
    // take action2 (from state 0 to state 2), then doReset
    int action2 = model.getActionNumber("action2");
    model.doAction(action2);
View Full Code Here
24
25
26
27
28
29
30
31
32
33
34
    public OptionPanelLookahead(String name, String explain, String imgPath) {
        super(name, explain, imgPath);

        if (m_defaultDepth == 0) {
            // find out the default values
            LookaheadTester tmp = new LookaheadTester(new FSM());
            m_defaultDepth = tmp.getDepth();
            m_defaultMaxLength = tmp.getMaxLength();
        }

        this.setLayout(new GridLayout(2, 2));
View Full Code Here
309
310
311
312
313
314
315
316
317
    return action;
  }

  public static void main(String[] args)
  {
    LookaheadTester tester = new LookaheadTester(new FSM());
    tester.addListener(new VerboseListener());
    tester.generate(10);
  }
View Full Code Here
TOP

Related Classes of nz.ac.waikato.modeljunit.examples.FSM

  • nz.ac.waikato.modeljunit.AllRoundTesterTest
  • nz.ac.waikato.modeljunit.coverage.CoverageMetric
  • nz.ac.waikato.modeljunit.coverage.TransitionCoverage
  • nz.ac.waikato.modeljunit.GraphListenerTest
  • nz.ac.waikato.modeljunit.GreedyTesterTest
  • nz.ac.waikato.modeljunit.gui.OptionPanelLookahead
  • nz.ac.waikato.modeljunit.LookaheadTester
  • nz.ac.waikato.modeljunit.ModelTest
  • nz.ac.waikato.modeljunit.ModelTestCaseTest
  • nz.ac.waikato.modeljunit.RandomTester
    • 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.