コード例 #1
0
    def setUp(self):
        self.java_home = get_config()['java_home']
        self.maven_home = get_config()['maven_home']

        self.java = Java(self.java_home)
        self.maven = Maven(self.java, self.maven_home)

        self.maven.compile(calculator_project_dir(), 10)
コード例 #2
0
ファイル: run_nimrod.py プロジェクト: marcioaug/nimrod-hunor
def main():
    java = Java(get_config()['java_home'])
    maven = Maven(java, get_config()['maven_home'])

    nimrod = Nimrod(java, maven)
    nimrod.run(PROJECT_DIR,
               MUTANTS_DIR,
               'org.apache.commons.lang.WordUtils',
               randoop_params=['--time-limit=60'],
               evosuite_params=['-Dsearch_budget=60'],
               evosuite_diff_params=['-Dsearch_budget=60'])
コード例 #3
0
def main():
    java = Java(get_config()['java_home'])
    maven = Maven(java, get_config()['maven_home'])

    nimrod = Nimrod(java, maven)
    nimrod.run(PROJECT_DIR,
               MUTANTS_DIR,
               'tr.Triangle',
               randoop_params=['--time-limit=60'],
               evosuite_params=['-Dsearch_budget=60'],
               evosuite_diff_params=['-Dsearch_budget=60'])
コード例 #4
0
def main():
    java = Java(get_config()['java_home'])
    maven = Maven(java, get_config()['maven_home'])

    nimrod = Nimrod(java, maven)
    nimrod.run(
        PROJECT_DIR, MUTANTS_DIR,
        'pamvotis.core.Simulator',
        randoop_params=['--time-limit=60', '--flaky-test-behavior=DISCARD',
                        '--usethreads=true', '--call_timeout=1000'],
        evosuite_params=['-Dsearch_budget=60',
                         '-Dminimize=false',
                         '-Dcriterion=STATEMENT:LINE:BRANCH:WEAKMUTATION'],
        evosuite_diff_params=['-Dsearch_budget=60']
    )
コード例 #5
0
    def setUpClass(cls):
        cls.java_home = get_config()['java_home']
        cls.maven_home = get_config()['maven_home']

        cls.java = Java(cls.java_home)
        cls.maven = Maven(cls.java, cls.maven_home)

        cls.maven.compile(calculator_project_dir(), 10)

        cls.classpath = os.path.join(calculator_target_dir(), 'classes')
        cls.tests_src = os.path.join(calculator_project_dir(), 'randoop')
        cls.sut_class = 'br.ufal.ic.easy.operations.Sum'

        (cls.suite_name, cls.suite_dir, cls.suite_classes_dir,
         cls.suite_classes) = cls.generate_suite(cls.java, cls.tests_src,
                                                 cls.sut_class)
コード例 #6
0
    def __init__(self,
                 path_local_project="",
                 path_local_module_analysis="",
                 project_name=""):
        config = get_config()
        self.project_dep = Project_dependecies(config, path_local_project,
                                               path_local_module_analysis,
                                               project_name)

        self.evosuite_setup = Evosuite_setup()
        self.evosuite_diff_setup = Evosuite_Diff_setup()
        self.randoop_setup = Randoop_setup()
        self.randoop_modified_setup = Randoop_Modified_setup()
        self.report_analysis = Report_Analysis()

        self.output_semantic_conflict = Output_semantic_conflicts(
            os.getcwd().replace("/nimrod/proj", "/") + '/output-test-dest/'
            if os.getcwd().__contains__("/nimrod/proj") else os.getcwd() +
            "/output-test-dest/", "test_conflicts")
        self.output_coverage_metric = Output_coverage_metric(
            os.getcwd().replace("/nimrod/proj", "/") + '/output-test-dest/'
            if os.getcwd().__contains__("/nimrod/proj") else os.getcwd() +
            "/output-test-dest/", "result_cobertura")

        self.output_report = Output_report(config["path_output_csv"])
        self.results_summary = Result_Summary(
            os.getcwd().replace("/nimrod/proj", "/") + '/output-test-dest/'
            if os.getcwd().__contains__("/nimrod/proj") else os.getcwd() +
            "/output-test-dest/", "results_summary")
コード例 #7
0
ファイル: run_nimrod.py プロジェクト: marcioaug/nimrod-hunor
def main():
    java = Java(get_config()['java_home'])
    maven = Maven(java, get_config()['maven_home'])

    nimrod = Nimrod(java, maven)
    nimrod.run(PROJECT_DIR,
               MUTANTS_DIR,
               'org.joda.time.chrono.BasicMonthOfYearDateTimeField',
               randoop_params=[
                   '--time-limit=60', '--flaky-test-behavior=DISCARD',
                   '--usethreads=true', '--call_timeout=1000'
               ],
               evosuite_params=[
                   '-Dsearch_budget=60', '-Dminimize=false',
                   '-Dcriterion=STATEMENT:LINE:BRANCH:WEAKMUTATION'
               ],
               evosuite_diff_params=['-Dsearch_budget=60'])
コード例 #8
0
def main():
    java = Java(get_config()['java_home'])
    maven = Maven(java, get_config()['maven_home'])

    nimrod = Nimrod(java, maven)
    nimrod.run(PROJECT_DIR,
               MUTANTS_DIR,
               'xcom.thoughtworks.xstream.io.xml.XmlFriendlyNameCoder',
               randoop_params=[
                   '--time-limit=60', '--flaky-test-behavior=DISCARD',
                   '--usethreads=true', '--call_timeout=1000'
               ],
               evosuite_params=[
                   '-Dsearch_budget=60', '-Dminimize=false',
                   '-Dcriterion=STATEMENT:LINE:BRANCH:WEAKMUTATION'
               ],
               evosuite_diff_params=['-Dsearch_budget=60'])
コード例 #9
0
 def setUp(self):
     self.java_home = get_config()['java_home']
コード例 #10
0
 def setUp(self):
     self.java_home = get_config()['java_home']
     self.maven_home = get_config()['maven_home']
     self.java = Java(self.java_home)
コード例 #11
0
 def setUp(self):
     self.java = Java(get_config()['java_home'])
     self.maven = Maven(self.java, get_config()['maven_home'])
コード例 #12
0
    def setUp(self):
        self.java = Java(get_config()['java_home'])

        self.tests_src = os.path.join(calculator_project_dir(), 'test_tool')
        self.suite_tool = ToolSuiteGenerator(self.java, '', self.tests_src, '')
コード例 #13
0
        self.project = GitProject(path)

    def get_commit_pairs(self, row):
        return [[row[11], row[10], row[3], row[5]],
                [row[12], row[10], row[4], row[5]],
                [row[11], row[13], row[3], row[2]],
                [row[12], row[13], row[4], row[2]]]

    def get_commit_triples(self, row):
        return [[row[10], row[11], row[13], row[5], row[3], row[2]],
                [row[10], row[12], row[13], row[5], row[4], row[2]]]


if __name__ == '__main__':

    config = get_config()
    with open(config['path_hash_csv']) as csv_file:
        csv_reader = csv.reader(csv_file, delimiter=',')
        local_file_result = ""
        local_file_coverage = ""
        for row in csv_reader:
            if row[1] == "true":
                print("Semantic Conflict Analysis")
                semantic_study_obj = semantic_study(project_name=row[0])
                local_file_result = semantic_study_obj.output_semantic_conflict.output_file_path
                local_file_coverage = semantic_study_obj.output_coverage_metric.output_file_path
                coverage_report = Coverage_Report()
                merge = MergeScenario(merge_information=row)
                for i in range(0, 1):
                    evosuite = semantic_study_obj.evosuite_setup.run_tool_for_semantic_conflict_detection(
                        semantic_study_obj, merge, row[10], row[11], row[12],
コード例 #14
0
 def setUp(cls):
     cls.java_home = get_config()['java_home']
     cls.java = Java(cls.java_home)
     cls.jacoco = Jacoco(cls.java)