evosuite-plus-plus icon indicating copy to clipboard operation
evosuite-plus-plus copied to clipboard

modify isCompatibe method

Open Cheng-017 opened this issue 3 years ago • 0 comments

commit bf86cecdb117b865fbdcde31ff3299c710d31cf8

1.MethodInputs.java Restoration restrictions

2.ObservedConstant.java modify isCompatible method

  • If the value type is compatible with the observed constant type,force constant type to value type
  • If the value type is correlated with the observed constant type, force constant type to value type Testcase:SmartSeedRuntimeTest.testStringCorrelationOn,SmartSeedRuntimeTest.testStringContainCharOn

3.SeedingApplicationEvaluator.java modify updateTestSeedWithConstantAssignment method

  • If isCompatible method is true, set the statement value with constant value(L417-425) Testcase:SmartSeedRuntimeTest.testStringCorrelationOn,SmartSeedRuntimeTest.testStringContainCharOn

4.SensitivityMutator.java fitness value > 1

  • Confirm that the fitness value is less than 1 after constructDifficultObjectStatement(L188-198,L255-263)
  • Confirm that the fitness value is less than 1 after modifying the test0(L244-251) Testcase:SmartSeedRuntimeTest.testNoPoolOn

5.ConstructionPathSynthesizer.java Can be ignored, no need to modify

Cheng-017 avatar Sep 15 '21 13:09 Cheng-017