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

Package nz.ac.waikato.modeljunit.examples

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

nz.ac.waikato.modeljunit.examples.QuiDonc
A simple EFSM model of the Qui-Donc service. Qui-Donc is a service of France Telecom that allows you to ring up, enter a telephone number and find which subscriber owns that telephone number and what is their address.

  }


  public void setUp()
  {
    output_ = new StringWriter();
    quidonc = new QuiDonc(new PrintWriter(output_));
  }

View Full Code Here


  /** This tests a greedy random walk, plus transition coverage */
  public static void testGreedyRandomWalk()
  {
    output_.write("STARTING GREEDY\n");
    Tester tester = new GreedyTester(new QuiDonc());
    CoverageHistory metric = new CoverageHistory(new TransitionCoverage(), 1);
    tester.addListener(metric);
    tester.generate(100);
    int coverage = metric.getCoverage();
    List<Integer> hist = metric.getHistory();

View Full Code Here


  /** This tests an all-round-trips walk, plus transition coverage */
  public static void testAllRoundTrips()
  {
    output_.write("STARTING ALL ROUND TRIPS\n");
    Tester tester = new AllRoundTester(new QuiDonc());
    CoverageHistory metric = new CoverageHistory(new TransitionCoverage(), 1);
    tester.addCoverageMetric(metric);
    tester.generate(100);
    int coverage = metric.getCoverage();
    List<Integer> hist = metric.getHistory();

View Full Code Here

  }


  public void run()
  {
    for (int pass=0; pass < passes; pass++) {
      Model model = new Model(new QuiDonc());
      metric = new CoverageHistory(new TransitionCoverage(), 1);
      model.addListener(metric);
      int seed = rand.nextInt();


      seeds.add(seed);

View Full Code Here

TOP

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

nz.ac.waikato.modeljunit.GraphListener

nz.ac.waikato.modeljunit.GreedyTester

nz.ac.waikato.modeljunit.QuiDoncTest

nz.ac.waikato.modeljunit.ResultExtractor

nz.ac.waikato.modeljunit.Tester

java.io.InputStreamReader

java.io.BufferedReader

java.io.PrintWriter

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.