多变量数组下标表达式的分解与相关性测试

针对多变量数组下标表达式之间的相关性不能有效测试的问题，提出了一个分解算法。运用该算法，在一定条件下可以将一个多变量的数组下标相关方程分解成多个独立的，简单的盯关方程，从而有效地提高相关分析精度，该算法的时间开销小，有很好的适用性。