Skip to content
This repository has been archived by the owner on Nov 2, 2018. It is now read-only.

Commit

Permalink
Update LANG_6b according to getting accessed_classes and CallSequence…
Browse files Browse the repository at this point in the history
…s.json
  • Loading branch information
pderakhshanfar committed Jun 11, 2018
1 parent 58f3000 commit 199bab7
Showing 1 changed file with 29 additions and 9 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -51,12 +51,21 @@ public void lang_6b_frameLevel_1(){
int targetFrame = 3;
String user_dir = System.getProperty("user.dir");

Path binpath = Paths.get(user_dir, "src", "test", "java", "org", "evosuite", "coverage","evocrash","Lang-bins","LANG-6b");
// Path binpath = Paths.get(user_dir, "src", "test", "java", "org", "evosuite", "coverage","evocrash","Lang-bins","LANG-6b");
Path binpath = Paths.get(user_dir, "src", "test", "java", "org", "evosuite", "coverage","evocrash","XWIKI-7.4");
String bin_path = binpath.toString();

Path logpath = Paths.get(user_dir, "src", "test", "java", "org", "evosuite", "coverage","evocrash", "LANG-6b" , "LANG-6b.log");
// Path logpath = Paths.get(user_dir, "src", "test", "java", "org", "evosuite", "coverage","evocrash", "LANG-6b" , "LANG-6b.log");
Path logpath = Paths.get(user_dir, "src", "test", "java", "org", "evosuite", "coverage","evocrash", "XWIKI-13031" , "XWIKI-13031.log");
String logPath = logpath.toString();

Path accessedOutput = Paths.get(user_dir, "src", "test", "java", "org", "evosuite", "coverage","evocrash","accessed_classes.json");
String accessed_output_file = accessedOutput.toString();

Path CallSequencesOutput = Paths.get(user_dir, "src", "test", "java", "org", "evosuite", "coverage","evocrash","CallSequencePoolJson.json");
String call_sequences_file = CallSequencesOutput.toString();


Path accessedClasses = Paths.get(user_dir,"accessed_classes.json");
String accessedClassesPath = accessedClasses.toString();

Expand All @@ -72,8 +81,8 @@ public void lang_6b_frameLevel_1(){
dependencies += (dependency + ":");
}
}

String targetClass = LogParser.getTargetClass(logPath, targetFrame);
System.out.println("target is: "+targetClass);

Path testpath = Paths.get(user_dir, "GGA-tests");
String test_path = testpath.toString();
Expand Down Expand Up @@ -128,7 +137,7 @@ public void lang_6b_frameLevel_1(){
String[] command = {
"-generateTests",
"-Dcriterion=CRASH",
"-Dsandbox=FALSE",
"-Dsandbox=TRUE",
"-Dtest_dir="+ test_path,
"-Drandom_tests=3",
"-Dminimize=TRUE",
Expand All @@ -142,17 +151,28 @@ public void lang_6b_frameLevel_1(){
"-Dreport_dir=spreadsheets",
"-Dlog_goals=TRUE",
"-Dmax_recursion=30",
"-Dcarve_model=TRUE",
"-Dmodel_path=/Users/pooria/Desktop/CallSequencePoolJson",
"-Daccessed_classes_output_path="+accessed_output_file,
"-Dcall_Sequences_output_path="+call_sequences_file,
"-Dcarve_model=FALSE",
"-Djunit="+jUnits,
"-Dselected_junit=" + jUnits,
"-Dseed_mutations=0",
"-Dp_object_pool=0",
"-Dcarve_object_pool=TRUE",
"-Dcollect_accessed_classes_in_tests=False",
"-Dmodel_sut=TRUE",
// "-Dcarve_model=FALSE",
// "-Djunit="+jUnits,
// "-Dmodel_sut=TRUE",
// "-Dcollect_accessed_classes_in_tests=FALSE",
// "-Dselected_junit=" + jUnits,
// "-Dseed_mutations=0",
// "-Dp_object_pool=0",
// "-Dcarve_object_pool=TRUE",
// "-Dcollect_accessed_classes_in_tests=True",
// "-Dmodel_sut=FALSE",
"-Dp_object_pool=0.5",
// "-Dseed_clone=0",
//"-Dwrite_cfg=true",
// "-Dseed_mutations=0",
// "-Dselected_junit=" + jUnits,
"-Dtarget_exception_crash=java.lang.NullPointerException",
"-DEXP="+ logPath,
"-projectCP",
Expand Down

0 comments on commit 199bab7

Please sign in to comment.