Advance-PCT-1.0:一种新颖的代码转换技术，可指导测试输入生成器-开源

Advance_PCT是一种预处理技术，可简化C程序中存在的复杂布尔表达式。 它标识布尔表达式并创建具有空主体的等效条件分支。 这些附加语句以及提供给测试执行器的原始程序可以改善测试数据。 它确保每个原子条件至少被调用一次，一次为真，一次为假。 这样做是为了获得更高的MC / DC，因为根据MC / DC的定义，要求达到100％的条件覆盖率，由于编译器进行的短路评估是不可能的，因为MC / DC是低而不足。 此代码转换技术解决了该问题。 它应用了Quince-McCluskey简化技术来解决谓词的复杂性，然后应用插入空嵌套if-else条件语句的方法。