DocumentCode
3488879
Title
An efficient array reference analysis for data flow testing
Author
Forgács, István
Author_Institution
Comput. & Autom. Inst., Hungarian Acad. of Sci., Budapest, Hungary
fYear
1994
fDate
21-22 Dec 1994
Firstpage
131
Lastpage
135
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/STRQA.1994.526398
Filename
526398
Link To Document