Title :
An efficient array reference analysis for data flow testing
Author_Institution :
Comput. & Autom. Inst., Hungarian Acad. of Sci., Budapest, Hungary
Abstract :
Though lots of data flow analysis techniques were proposed that handle array variables, they are restricted to the application of different compiler optimizations and give no precise result. We present a new method that determines definition-use (du) pairs more precisely and it also gives the program path of each du pair. Therefore, this is the first array analysis technique that is well-applicable for data flow testing
Keywords :
data flow analysis; data structures; optimising compilers; program diagnostics; program testing; array reference analysis; array variable handling; compiler optimizations; data flow analysis; data flow testing; definition-use pairs; du pair; Application software; Automatic testing; Automation; Data analysis; Data flow computing; Flow graphs; Optimization methods; Optimizing compilers;
Conference_Titel :
Software Testing, Reliability and Quality Assurance, 1994. Conference Proceedings., First International Conference on
Conference_Location :
New Delhi
Print_ISBN :
0-7803-2608-3
DOI :
10.1109/STRQA.1994.526398
