该框架使得代码选择面向基本块,而不再是语句,扩大了指令注释的搜索空间,产生了simd指令。
但是对现有的计算机来说,使用穷举法在如此庞大的搜索空间中寻求最优解,几乎是不可能的。
PSO算法通过粒子间的相互作用发现复杂搜索空间的最优区域,其优势在于简单容易而优功能强大。
之后从该图中学习出引起冲突赋值的合取范式子句,将这些学习的子句增补到子句库中,用以限制和修剪测试生成的搜索空间,从而加速测试模式的生成过程。
该框架使得代码选择面向基本块,而不再是语句,扩大了指令注释的搜索空间,产生了simd指令。
但是对现有的计算机来说,使用穷举法在如此庞大的搜索空间中寻求最优解,几乎是不可能的。
PSO算法通过粒子间的相互作用发现复杂搜索空间的最优区域,其优势在于简单容易而优功能强大。
之后从该图中学习出引起冲突赋值的合取范式子句,将这些学习的子句增补到子句库中,用以限制和修剪测试生成的搜索空间,从而加速测试模式的生成过程。