Development of software testing and analysis tools : Part E

Abstract

In software structural testing, the analysis and detection of infeasible paths in the program is critical. Automated test data generation plays an important part in reducing the cost and increasing the reliability of software testing. However, a challenging problem in path-oriented test data generation is the existence of infeasible program paths, where considerable effort may be wasted in trying to generate input data to traverse the paths. But the problem is that there is not fully reliable program that can detect all infeasible paths and it has been a long pending problem in structural testing. If tool can correctly detect all major infeasible paths in the tested system, the precision of static analysis will be greatly enhanced, and therefore improves its use in many areas, particularly in structural testing [9] and code optimization. Thus, the most key place where infeasibility rise is identified based on two patterns of the code statements. These two patterns will be described detail later in this report. So, basically, the developing tool, IPathDetector2 is designed to test the infeasibility of the paths using these two patterns. By using this tool, larger portion of infeasible paths were identified and the precision and coverage of the earlier method is much more improved.