Examples of FSM

eas.math.fundamentalAlgorithms.graphBased.algorithms.fsm.FSM
@author lko
nz.ac.waikato.modeljunit.examples.FSM
Simple example of a finite state machine (FSM) for testing.

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

public class AllRoundTesterTest extends TestCase
{
  /** This tests a random walk, plus TransitionCoverage metric with history.*/
  public static void testAllRoundWalk()
  {
    AllRoundTester tester = new AllRoundTester(new FSM());
    CoverageHistory metric = new CoverageHistory(new TransitionCoverage(), 1);
    //tester.addListener(new VerboseListener());
    tester.addCoverageMetric(metric);
    tester.setLoopTolerance(1);
    tester.setRandom(new Random(3));

View Full Code Here

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

public class GraphListenerTest
{
  @Test
  public void testBuildGraph()
  {
    Model model = new Model(new FSM());
    GraphListener listen = (GraphListener) model.addListener("graph");
    checkGraph(model, listen, false);
  }

View Full Code Here

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

  }


  @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

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

    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

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

    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

0 1 2

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.