public static void main(String[] args) {
OSMOTester tester = new OSMOTester();
tester.addModelObject(new VendingMachine());
tester.generate(29);
// Print coverage metric
TestSuite suite = tester.getSuite();
CSVCoverageReporter csv =
new CSVCoverageReporter(suite.getCoverage(), suite.getAllTestCases(), tester.getFsm());
System.out.println("\n" + csv.getStepCounts());
System.out.println("\n" + suite.getCoverage().getStates());
System.out.println("\n" + suite.getCoverage().getStatePairs());
}
public static void main(String[] args) {
OSMOTester osmo = new OSMOTester();
osmo.addModelObject(new HelloModel());
Scenario scenario = new Scenario(false);
scenario.addStartup("hello", "world", "hello");
osmo.getConfig().setScenario(scenario);
osmo.setTestEndCondition(new Length(5));
osmo.setSuiteEndCondition(new Length(2));
osmo.generate(55);
}