In this project, two different techniques is used for regression test technique. Scope of the omega test is limited in the nested loop and array but it finds the exact array data dependencies inside the loop. It has not been used for data flow testing. It is developed for especially compiler optimization. It gives very good results to find the exact array data dependencies. No research about the omega test is explained how the array data dependencies can be used in software testing. The scope of the Omega test is very limited and the way it uses to calculate dependencies are very different than the conventional data flow testing make the omega test not be used in software testing.
In the other side, there are couple of software regression testing method but they are developed especially testing the scalar variables assignment and uses and conditional branches. When they present their method, they assume that there is only scalar variables inside the code. Generally, they mentioned that their method can be adapted for arrays but how their method adapted for array is not explained. While using these methods for both arrays and scalars, they either underestime or overestimate dependencies between array elements [10,11,14]. In first case, although there is real dependencies between two array element, it is ignored in testing. In other case, although there may be no dependencies between array elements or array elements to a scalar, they assume that there is a dependencies between them. These more dependencies cause lots of extra work in testing (For example, some dependencies can be killed by other array elements, therefore we don't need to keep this killed dependencies). Also as the omega test find exact data dependencies and eliminates the false definition-use pair by identifying killed definition, it reduces the number of definition-use pair.
You can raise a question `` is it possible to find a way to combine a known regression testing method with the omega test?''. In this project I tried to find a way to use the dependencies information for array which is calculated by using the omega test in the data flow type regression method.