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);