Package net.sf.parteg.base.testcasegraph.testgeneration

Examples of net.sf.parteg.base.testcasegraph.testgeneration.TestCaseGenerator

62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
    } catch (CoreException e) {
      e.printStackTrace();
    }
   
    //create abstract test cases
    TestCaseGenerator oTCGGenerator = new TestCaseGenerator(
        oSmTCGHelper, project, amplModel, Configuration.getSolverName(), allVariables);
    oTCGGenerator.createTestCases();
   
    ArrayList<Witness> testSuite = oTCGGenerator.getGeneratedTestSuite();

    //TODO: generate JUnit test until all test goal satisfied or all finish test cases
    //Collections.sort(testSuite, Witness.Comparators.pathSize); 
   
    //create executable test suite
View Full Code Here
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
        }
        //
       
        if(Configuration.getUsedStrategy().compareTo("Abstract Interpretation Based Strategy") == 0){ //ParTeG
          // create test suite
          TestCaseGenerator oTCGGenerator = new TestCaseGenerator(
              oTCGHelper);
          oTCGGenerator.createTestCases();
         
          // print test suite according to the selected output format
          TestCaseExporter oTestCaseExporter = new TestCaseExporter(
              oTCGHelper);
          oTestCaseExporter.print(oTCGGenerator.getTestSuite());
 
          // print log file
          net.sf.parteg.core.output.Logger oLogger = oTCGHelper.getLogger();
          LoggerHelperClass.logTestGoalSatisfactionComplete(oLogger,
              oTCGHelper);
View Full Code Here
TOP

Related Classes of net.sf.parteg.base.testcasegraph.testgeneration.TestCaseGenerator

  • net.amin.mobateg.helper.ampl.Witness
  • net.sf.parteg.base.testcasegraph.generated.TCGIntermediateNode
  • net.sf.parteg.base.testcasegraph.generated.TCGNode
  • net.sf.parteg.base.testcasegraph.generated.TCGRealNode
  • net.sf.parteg.base.testcasegraph.generated.TCGTransition
  • net.sf.parteg.base.testcasegraph.generated.TestCaseGraph
  • net.sf.parteg.base.testcasegraph.testsuite.TestCase
  • net.sf.parteg.base.testcasegraph.testsuite.TestSuite
  • net.sf.parteg.base.testcasegraph.testsuite.TransitionInstance
  • net.sf.parteg.input.statemachine.handlers.CreateTestHandler
    • 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.