Cheng-017

SmartSeedRuntimeTest.java add the worse example - Long analysis branch time - It takes a long time to call the constructDifficultObjectStatement method in the SensitivityMutator.testBranchSensitivity method（L184,L265） **Test case:SmartSeedRuntimeTest.testDiffClassConstantOn**

commit b801c23c6e59ff0021c6d2911106dd97818d599b 1.ValuePreservance.java fix a bug of type judgment error 2.ConstructionPathSynthesizer.java identifiers field cannot get from ConstructionPathSynthesizer.deriveCodeForTest method(L362) - If the field relevant statement is null, re-traverse the test case...

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...

1.modify isCompatible method 2. add a test case 3. get relevant field writing references in the test

### When a branch is misjudged as static/dynamic: 1. It can be modified according to the type of observed constant 2. It can be corrected according to whether the branch...

### 1.Build the relationship between input and test cases.  - how to get the field value in the test case? - input variables need to put primitive statements ，and...

### Context 1. When obtaining HeadValue, first determine whether the types of HeadValue and TailValue are compatible If the types are compatible, get HeadValue directly If the types are not...