Examples of net.sf.parteg.base.testcasegraph.ocl.TestCaseGraphHelper

  {
    @SuppressWarnings({"unused"})  
    URI oURI = URIConverter.URI_MAP.get(URI.createURI("pathmap:/UML_LIBRARIES/"));
    URIConverter.URI_MAP.get(URI.createURI(UMLResource.PROFILES_PATHMAP));
    
    m_oTCGHelper = new TestCaseGraphHelper(); 
    List<Region> colStateMachineRegions = new ArrayList<Region>();
    
    // copy all states
    copyAllStates(colStateMachineRegions);

  }
  
  public TestCaseGraphHelper getTestCaseGraphHelper()
  {
    if(m_oTCGHelper == null)
      m_oTCGHelper = new TestCaseGraphHelper();
    return m_oTCGHelper;
  }




        // generate test case graph
        TestCaseGraphGenerator oGenerator = new TestCaseGraphGenerator(
            oStateMachine);
        TestCaseGraphHelper oTCGHelper = oGenerator
            .createTestCaseGraph();
        
        // create test goals from coverage criteria
        TestGoalGenerator oTestGoalGenerator = new TestGoalGenerator(
            oTCGHelper);
        oTestGoalGenerator.defineTestGoalsForTCG();
        
        if(Configuration.getUsedStrategy().compareTo("Constraint Solver Based Strategy") == 0){ //MoBaTeG
          //generate test cases
          TestCreation oTestCreation = new TestCreation(project, oTCGHelper);
          oTestCreation.generateTestCase();
        }
        //
        
        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);
          oLogger.print(Configuration.getLoggerOutput());
        }

Examples of net.sf.parteg.base.testcasegraph.ocl.TestCaseGraphHelper

Related Classes of net.sf.parteg.base.testcasegraph.ocl.TestCaseGraphHelper