|
@@ -145,21 +145,7 @@ public class PluginServiceImpl extends BaseService implements PluginService{
|
|
|
weight.setPpc(0);
|
|
weight.setPpc(0);
|
|
|
weightDao.save(weight);
|
|
weightDao.save(weight);
|
|
|
}
|
|
}
|
|
|
- //初始化mutators
|
|
|
|
|
- MutatorsDTO mutators = sourceService.getMutators(taskID, caseID);
|
|
|
|
|
- if (mutators == null) {
|
|
|
|
|
- mutators = new MutatorsDTO();
|
|
|
|
|
- mutators.setTid(taskID);
|
|
|
|
|
- mutators.setCid(caseID);
|
|
|
|
|
- mutators.setCb(1);
|
|
|
|
|
- mutators.setNc(1);
|
|
|
|
|
- mutators.setMath(1);
|
|
|
|
|
- mutators.setIncrements(1);
|
|
|
|
|
- mutators.setInvert(1);
|
|
|
|
|
- mutators.setRv(1);
|
|
|
|
|
- mutators.setVmc(1);
|
|
|
|
|
- sourceService.setMutators(mutators);
|
|
|
|
|
- }
|
|
|
|
|
|
|
+ sourceService.initMutators(taskID,caseID);
|
|
|
|
|
|
|
|
double savingScore = (weight.getBc() * branch_coverage +
|
|
double savingScore = (weight.getBc() * branch_coverage +
|
|
|
weight.getSc() * statement_coverage +
|
|
weight.getSc() * statement_coverage +
|