From 9b3fc7cacc31940ad00be5bd92357185c73cea81 Mon Sep 17 00:00:00 2001 From: Enzo Veltri Date: Wed, 11 Nov 2015 13:15:20 +0100 Subject: [PATCH] Test address --- .../synthetic-11-mcscenario-dbms.xml | 53 +++++++++++++++++++ .../it/unibas/lunatic/test/References.java | 48 ++++++++--------- .../test/mc/mainmemory/TestSynthetic11.java | 28 ++++++++++ 3 files changed, 105 insertions(+), 24 deletions(-) create mode 100755 lunaticEngine/misc/resources/mc/synthetic/synthetic-11-mcscenario-dbms.xml create mode 100644 lunaticEngine/test/it/unibas/lunatic/test/mc/mainmemory/TestSynthetic11.java diff --git a/lunaticEngine/misc/resources/mc/synthetic/synthetic-11-mcscenario-dbms.xml b/lunaticEngine/misc/resources/mc/synthetic/synthetic-11-mcscenario-dbms.xml new file mode 100755 index 0000000..06a366a --- /dev/null +++ b/lunaticEngine/misc/resources/mc/synthetic/synthetic-11-mcscenario-dbms.xml @@ -0,0 +1,53 @@ + + + + + DBMS + + org.postgresql.Driver + jdbc:postgresql:synthetic_11 + target + pguser + pguser + + + + + + + $l1 == "Abelard". +]]> + + + + diff --git a/lunaticEngine/test/it/unibas/lunatic/test/References.java b/lunaticEngine/test/it/unibas/lunatic/test/References.java index e7e45e9..bc56551 100755 --- a/lunaticEngine/test/it/unibas/lunatic/test/References.java +++ b/lunaticEngine/test/it/unibas/lunatic/test/References.java @@ -8,7 +8,7 @@ public class References { public static final String algebra_employees = "algebra/employees-egd-mcscenario.xml"; // DE public static final String expenseDB = "de/expenseDB/expenseDB-mcscenario.xml"; - + public static final String RS = "de/RS/RS-mcscenario.xml"; public static final String RS_tc = "de/RS/RS-tc-mcscenario.xml"; public static final String RS_tgd = "de/RS/RS-tgd-mcscenario-dbms.xml"; @@ -21,37 +21,37 @@ public class References { public static final String RS_join_dbms = "de/RS/RS-join-mcscenario-dbms.xml"; public static final String RS_st_exttgd_egd = "de/RS/RS-st-exttgd-egd-mcscenario.xml"; public static final String RS_st_exttgd_egd_dbms = "de/RS/RS-st-exttgd-egd-mcscenario-dbms.xml"; - + public static final String bookPublisher = "de/bookPublisher/bookPublisher-mcscenario.xml"; public static final String bookPublisher_plain = "de/bookPublisher/bookPublisher-mcscenario-plain.xml"; public static final String bookPublisher_egd = "de/bookPublisher/bookPublisher-mcscenario-egd.xml"; public static final String bookPublisher_dbms = "de/bookPublisher/bookPublisher-mcscenario-dbms.xml"; public static final String bookPublisher_ded = "deds/bookPublisher/bookPublisher-unfolded-mcscenario.xml"; - + public static final String verticalPartition_10k_dbms = "de/verticalPartition/verticalPartition-10k-scenario-dbms.xml"; public static final String verticalPartition_100k_dbms = "de/verticalPartition/verticalPartition-100k-scenario-dbms.xml"; - + public static final String employees_rew = "de/employees/employees-rew-mcscenario.xml"; public static final String employees_egd = "de/employees/employees-egd-mcscenario.xml"; public static final String employees_dtgd = "de/employees/employees-dtgd-mcscenario.xml"; public static final String employees_rew_dbms = "de/employees/employees-rew-mcscenario-dbms.xml"; public static final String employees_egd_dbms = "de/employees/employees-egd-mcscenario-dbms.xml"; public static final String employees_dtgd_dbms = "de/employees/employees-dtgd-mcscenario-dbms.xml"; - + public static final String companies_rew = "de/companies/companies-rew-mcscenario.xml"; public static final String companies_rew_dbms = "de/companies/companies-rew-mcscenario-dbms.xml"; - + public static final String unfolding_employees = "de/unfolded/employees-unfolded.xml"; - + // MC public static final String customers_cfd = "mc/customers/customers-cfd-mcscenario.xml"; public static final String customers_cfd_dbms = "mc/customers/customers-cfd-mcscenario-dbms.xml"; - + public static final String employees_comparisons = "mc/employees/employees-comparisons-mcscenario.xml"; public static final String employees_comparisons_dbms = "mc/employees/employees-comparisons-mcscenario-dbms.xml"; public static final String employees_comparisons_nosymmetric = "mc/employees/employees-comparisons-nosymmetric-mcscenario.xml"; public static final String employees_comparisons_nosymmetric_dbms = "mc/employees/employees-comparisons-nosymmetric-mcscenario-dbms.xml"; - + public static final String treatments = "mc/treatments/treatments-mcscenario.xml"; public static final String treatments_dbms = "mc/treatments/treatments-mcscenario-dbms.xml"; public static final String treatments_fr_sp = "mc/treatments/treatments-mcscenario-fr-sp.xml"; @@ -60,10 +60,9 @@ public class References { public static final String treatments_fr_sp_script_dbms = "mc/treatments/treatments-mcscenario-fr-sp-script-dbms.xml"; public static final String treatments_fr_s5 = "mc/treatments/treatments-mcscenario-fr-s5.xml"; public static final String treatments_fr_s5_dbms = "mc/treatments/treatments-mcscenario-fr-s5-dbms.xml"; - public static final String treatments_usermanager = "mc/treatments/treatments-mcscenario-usermanager.xml"; + public static final String treatments_usermanager = "mc/treatments/treatments-mcscenario-usermanager.xml"; public static final String treatments_icde = "mc/treatments/treatments-mcscenario-icde.xml"; - public static final String persons = "mc/persons/person-mcscenario.xml"; public static final String persons_deps = "mc/persons/person-deps-mcscenario.xml"; public static final String persons_deps_01 = "mc/persons/person-deps-01-mcscenario.xml"; @@ -81,7 +80,7 @@ public class References { public static final String persons_deps_07 = "mc/persons/person-deps-07-mcscenario.xml"; public static final String persons_deps_08 = "mc/persons/person-deps-08-mcscenario.xml"; public static final String persons_fr_sp = "mc/persons/person-fr-sp-mcscenario.xml"; - + public static final String persons_deps_dbms = "mc/persons/person-deps-mcscenario-dbms.xml"; public static final String persons_dbms = "mc/persons/person-mcscenario-dbms.xml"; public static final String persons_deps_01_dbms = "mc/persons/person-deps-01-mcscenario-dbms.xml"; @@ -101,16 +100,16 @@ public class References { public static final String persons_fr_sp_ground_dbms = "mc/persons/person-fr-sp-ground-mcscenario-dbms.xml"; public static final String persons_deps_greedy = "mc/persons/person-deps-greedy-mcscenario.xml"; public static final String persons_deps_greedy_dbms = "mc/persons/person-deps-greedy-mcscenario-dbms.xml"; - + public static final String persons_incremental_00 = "mc/incremental/person-00-mcscenario-dbms.xml"; public static final String persons_incremental_01 = "mc/incremental/person-01-mcscenario-dbms.xml"; public static final String persons_incremental_02 = "mc/incremental/person-02-mcscenario-dbms.xml"; - + public static final String flipflop = "mc/flipflop/flipflop-mcscenario.xml"; public static final String flipflop_dmbs = "mc/flipflop/flipflop-mcscenario-dbms.xml"; public static final String contraddicting = "mc/flipflop/contradictingcfd-mcscenario.xml"; public static final String contraddicting_dmbs = "mc/flipflop/contradictingcfd-mcscenario-dbms.xml"; - + public static final String synthetic_01 = "mc/synthetic/synthetic-01-mcscenario.xml"; public static final String synthetic_01_dbms = "mc/synthetic/synthetic-01-mcscenario-dbms.xml"; public static final String synthetic_02 = "mc/synthetic/synthetic-02-mcscenario.xml"; @@ -132,6 +131,7 @@ public class References { public static final String synthetic_09 = "mc/synthetic/synthetic-09-mcscenario.xml"; public static final String synthetic_10 = "mc/synthetic/synthetic-10-mcscenario.xml"; public static final String synthetic_10_similarity = "mc/synthetic/synthetic-10-similarity-mcscenario.xml"; + public static final String synthetic_11_dbms = "mc/synthetic/synthetic-11-mcscenario-dbms.xml"; public static final String synthetic_T01 = "mc/tgd/synthetic-T01-mcscenario.xml"; public static final String synthetic_T01_dbms = "mc/tgd/synthetic-T01-mcscenario-dbms.xml"; public static final String synthetic_T01Rew = "mc/tgd/synthetic-T01rew-mcscenario.xml"; @@ -157,16 +157,16 @@ public class References { public static final String doctors_dbms = "mc/doctors/doctors-mcscenario-dbms.xml"; public static final String doctors_additional_dbms = "mc/doctors/doctors-additional-mcscenario-dbms.xml"; public static final String doctors_usermanager = "mc/doctors/doctors-usermanager-mcscenario.xml"; - + public static final String hospital = "mc/hospital/hospital-mcscenario.xml"; - public static final String hospital_0_2p_dbms = "mc/hospital/hospital-0-2p-mcscenario-dbms.xml"; - public static final String hospital_small_a_dbms = "mc/hospital/hospital-HighRep-small-a-dbms.xml"; - public static final String hospital_small_b_dbms = "mc/hospital/hospital-HighRep-small-b-dbms.xml"; - - public static final String bus_30_5p_dbms = "mc/bus/bus-HighRep-30-5-dbms.xml"; - public static final String bus_55_5p_dbms = "mc/bus/bus-HighRep-55-5-dbms.xml"; - public static final String bus_100_5p_dbms = "mc/bus/bus-HighRep-100-5-dbms.xml"; - + public static final String hospital_0_2p_dbms = "mc/hospital/hospital-0-2p-mcscenario-dbms.xml"; + public static final String hospital_small_a_dbms = "mc/hospital/hospital-HighRep-small-a-dbms.xml"; + public static final String hospital_small_b_dbms = "mc/hospital/hospital-HighRep-small-b-dbms.xml"; + + public static final String bus_30_5p_dbms = "mc/bus/bus-HighRep-30-5-dbms.xml"; + public static final String bus_55_5p_dbms = "mc/bus/bus-HighRep-55-5-dbms.xml"; + public static final String bus_100_5p_dbms = "mc/bus/bus-HighRep-100-5-dbms.xml"; + public static final String accuracy = "mc/accuracy/accuracy-mcscenario.xml"; public static final String accuracy_poset = "mc/accuracy/accuracy-poset-mcscenario.xml"; diff --git a/lunaticEngine/test/it/unibas/lunatic/test/mc/mainmemory/TestSynthetic11.java b/lunaticEngine/test/it/unibas/lunatic/test/mc/mainmemory/TestSynthetic11.java new file mode 100644 index 0000000..12ee4fe --- /dev/null +++ b/lunaticEngine/test/it/unibas/lunatic/test/mc/mainmemory/TestSynthetic11.java @@ -0,0 +1,28 @@ +package it.unibas.lunatic.test.mc.mainmemory; + +import it.unibas.lunatic.Scenario; +import it.unibas.lunatic.model.chase.chasemc.operators.ChaseMCScenario; +import it.unibas.lunatic.model.chase.chasemc.DeltaChaseStep; +import it.unibas.lunatic.model.chase.commons.ChaserFactory; +import it.unibas.lunatic.test.References; +import it.unibas.lunatic.test.UtilityTest; +import it.unibas.lunatic.test.checker.CheckExpectedSolutionsTest; +import org.slf4j.Logger; +import org.slf4j.LoggerFactory; + +public class TestSynthetic11 extends CheckExpectedSolutionsTest { + + private static Logger logger = LoggerFactory.getLogger(TestSynthetic11.class); + + public void testScenario() throws Exception { + Scenario scenario = UtilityTest.loadScenarioFromResources(References.synthetic_11_dbms); + setConfigurationForTest(scenario); +// ChaserFactory.setDoBackward(false); + if (logger.isDebugEnabled()) logger.debug(scenario.toString()); + ChaseMCScenario chaser = ChaserFactory.getChaser(scenario); + DeltaChaseStep result = chaser.doChase(scenario); + if (logger.isDebugEnabled()) logger.debug(result.toStringWithSort()); + if (logger.isDebugEnabled()) logger.debug("Solutions: " + resultSizer.getPotentialSolutions(result)); + if (logger.isDebugEnabled()) logger.debug("Duplicate solutions: " + resultSizer.getDuplicates(result)); + } +}