SF100 Dataset - llmhyy/evosuite-plus-plus GitHub Wiki

SF100 Dataset

SF100 Dataset is published by Prof. Gordon Fraser to evaluate the performance of EvoSuite. In EvoSuite++, we defined a class for users to test a strategy against a specific Java method in the dataset. An example can be found in feature.objectconstruction.testgeneration.testcase.SF100OverallTest.testBugExample(), where the user can specify (1) the SF100 project, (2) the target method, and (3) the testing strategy.

The target method has to be specified with JVM method signature. As for how to specify a testing strategy can be referred in Configuration Wiki.

Configuration

User need to specify the path of SF100 Dataset in evosuite.shell.experiment.SFConfiguration.

The dataset follows structure as

---root folder

----1_tullibee (folder)

----2_a4j (folder)

----3_jigen (folder)

Moreover, the user needs to pay attention to the evosuite-files/evosuite.properties. The path separator is different in Linux and Windows system. The user can run evosuite.shell.experiment.EvoTestTool.testRunUpdateFile() to update the file separator in the corresponding operation system.