Package nz.ac.waikato.modeljunit.examples

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


      return methods_.get(i).getName();
    }
  }

  public static void main(String[] args) throws Exception {
    FsmModel model = new SimpleSet();
    SimpleMBT tester = new SimpleMBT(model);
    for (int length = 0; length < 100; length++) {
      System.out.println(tester.generate() + ": " + model.getState());
    }
  }
View Full Code Here


        done_ = new HashMap<Object, BitSet>();
        sequence_ = new ArrayList<Transition>();
    }
   
    public static void main(String[] args) {
        QuickTester qt = new QuickTester(new SimpleSet());
        qt.addListener(new VerboseListener());
        qt.generate(20);
    }
View Full Code Here

TOP

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

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.