Examples of nz.ac.waikato.modeljunit.LookaheadTester

nz.ac.waikato.modeljunit.LookaheadTester

A test generator that looks N-levels ahead in the graph. It chooses the highest-valued transition (action) that is enabled in the current state. The value of transitions/actions and states is determined by three parameters, NEWTRANS, NEWACTION and DEPTH. In a given state, the value of an action that has never been taken before in that state (so its destination state is unknown) is NEWACTION if its action has never been taken anywhere in the graph, or NEWTRANS if its action has been taken elsewhere. The value of an action that has been taken before is the value of the state that it leads to (*), minus the number of times that the transition has been taken. So previously-taken paths gradually become less and less attractive. (*) if the action is non-deterministic, then there are several transitions labelled with that action, and the value of the action is the maximum of the value of those transitions. The value of a state is zero if it is the current state, or if it is at least DEPTH steps away from the current state, otherwise it is the maximum value of its outgoing transitions. This means that the lookahead is limited to paths of length DEPTH. The get/setMaxLength methods can be used to control the maximum length of each generated test. If the test generation has not reached a terminal state before that length, it does a reset. @author Pele Douangsavanh and Mark Utting

  {
    FsmModel model = new SimpleSet();
    List<Tester> testers = new ArrayList<Tester>();
    testers.add(new RandomTester(model));
    testers.add(new GreedyTester(model));
    testers.add(new LookaheadTester(model));


    for (Tester tester : testers) {
      double average = allTransitions(tester);
      System.out.println(tester.getName()+": "+average+" average.");
    }

    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));
        add(new JLabel("Lookahead Depth:"));
        m_lookaheadDepth = new JTextField(Integer.toString(m_defaultDepth));

        tester.addCoverageMetric(metric);
        return tester;
    }


    public Tester constructLookaheadTester(Project project, CoverageMetric metric) {
        LookaheadTester tester = new LookaheadTester(loadModelClass(project));
        tester.addCoverageMetric(metric);
        //    tester.setDepth(100);
        tester.setMaxLength(WALK_LENGTH);
        return tester;
    }

Examples of nz.ac.waikato.modeljunit.LookaheadTester

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