Static detecting method for variable used
Hongyan Wang · 2009
Based on the static analysis method of source codes,an automatic testing method is proposed to detect static symbol never referenced and uninitialized variable faults in programs.Based on the forms of static symbol never referenced and uninitialized variable faults,the process to analyze source codes and identify static symbol never referenced and uninitialized variable faults statically is modeled.On the basis of the defect-oriented testing strategy,synthetically syntax tree and controlling stream graph are adopted and a static testing method of detecting static symbol never referenced and uninitialized variable faults are put forward.Results of experimentation show that this method can detect static symbol never referenced and uninitialized variable faults effectively,and the precision of testing results are increased.