Package org.xilaew.atg.model.tests

Examples of org.xilaew.atg.model.tests.TestSuite


public class TestsGeneratorHelper {

  public static TestSuite generateTests(TCGActivity tcgActivity,
      Collection<Path> paths) {
    TestsFactory factory = TestsFactory.eINSTANCE;
    TestSuite result = factory.createTestSuite();
    SUT sut = factory.createSUT();
    sut.setName(tcgActivity.getClassName());
    sut.setPackageName(tcgActivity.getPackageName());
    result.getSut().add(sut);
    JAMPL ampl = AmplFactory.createJAMPL();
    String solver = null;

    // Transform Model to AMPL
    String amplModel = ActTCG2AMPLModel.transform(tcgActivity);
    ampl.getCli().sendCommand(amplModel);
    // Create one Testcase per Path
    for (Path p : paths) {
      // Generate AMPL Data for each Path
      String data = Path2AMPLData.transform(p);
      ampl.loadData(data);
      if (solver == null) {
        InputDialog d = new InputDialog(null, "W�hlen sie den Solver",
            "Welchen Solver m�chten sie verwenden", "couenne", null);
        d.create();
        d.open();
        solver = d.getValue();
        ampl.setSolver(solver);
      }
      // Solve the Model and Data to get Input data
      SolveResult solved;
      try {
        solved = ampl.solve();
      } catch (IOException e) {
        ampl = AmplFactory.createJAMPL();
        ampl.setSolver(solver);
        ampl.loadModel(ActTCG2AMPLModel.transform(tcgActivity));
        System.out.println("RESET!!!");
        ampl.loadData(Path2AMPLData.transform(p));
        try {
          solved = ampl.solve();
        } catch (IOException e1) {
          e1.printStackTrace();
          break;
        }
      }
      // Read Values from Solver and store in Model
      if (solved == SolveResult.Solved) {
        TestCase tc = factory.createTestCase();
        result.getTests().add(tc);
        FunctionCall func = factory.createFunctionCall();
        func.setName(tcgActivity.getName());
        func.setActivity(tcgActivity);
        tc.setFunction(func);
        for (TCGVariable var : tcgActivity.getVariables()) {
View Full Code Here


  }

  public static TestSuite generateTests(TCGActivity tcgActivity,
      EMap<Path, Witness> paths) {
    TestsFactory factory = TestsFactory.eINSTANCE;
    TestSuite result = factory.createTestSuite();
    SUT sut = factory.createSUT();
    sut.setName(tcgActivity.getClassName());
    sut.setPackageName(tcgActivity.getPackageName());
    result.getSut().add(sut);

    // Create one Testcase per Path
    for (Entry<Path,Witness> p : paths.entrySet()) {
      // Read Values from Solver and store in Model
      TestCase tc = factory.createTestCase();
      result.getTests().add(tc);
      FunctionCall func = factory.createFunctionCall();
      func.setName(tcgActivity.getName());
      func.setActivity(tcgActivity);
      tc.setFunction(func);
      for (TCGVariable var : tcgActivity.getVariables()) {
View Full Code Here

        EMap<Path, Witness> paths = search.findAllSatisfiablePaths(
            tcgActivity, monitor);
        properties = search.getProperties();

        // create UnitTests Model with specific data
        TestSuite suite = TestsGeneratorHelper.generateTests(
            tcgActivity, paths);
        monitor.worked(1);

        // create Boost unit test source code
        String testString = Tests2BoostUnitTest.generateUnitTest(suite);
View Full Code Here

        EMap<Path, Witness> paths = search
            .findAllSatisfiablePaths(tcgActivity);
        properties = search.getProperties();

      // create UnitTests Model with specific data
        TestSuite suite = TestsGeneratorHelper.generateTests(
            tcgActivity, paths);

      // create Boost unit test source code
        String testString = Tests2BoostUnitTest.generateUnitTest(suite);

      // Take time measurment
        start = System.nanoTime() - start;
        timeMessurement = properties
            .getProperty(PathSearch.PROPERTY_MAX_PATHLENGTH)
            + "\t"
            + properties
                .getProperty(PathSearch.PROPERTY_MAX_NO_PATHS)
            + "\t"
            + properties
                .getProperty(SatisfiablePathSearch.PROPERTY_SOLVER)
            + "\t"
            + properties
                .getProperty(SatisfiablePathSearch.PROPERTY_UNCHECKED_STEPS)
            + "\t"
            + suite.getTests().size()
            + "\t"
            + start
            + "\t"
            + properties
                .getProperty(SatisfiablePathSearch.STAT_TOTAL_SOLVER_RUNS)
View Full Code Here

TOP

Related Classes of org.xilaew.atg.model.tests.TestSuite

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.