Development of software testing and analysis tools : Part A
Qing Xiang. Ng · DR-NTU (Nanyang Technological University) · 2009
The grand scope of this project is to create a set of analysis tools to detect infeasible paths in compiled programs. This set of tools is based on an existing open source program slicing library named, T.J. Watson Libraries for Analysis (WALA). Infeasible paths are traditionally costly to detect. Recently, Ngo and Tan has proposed a method for the detection of infeasible paths [10] depicting 4 programming patterns that will lead to infeasible paths during testing. The patterns are: •\tIdentical/Compliment-Decision Pattern •\tMutually-Exclusive-Decision Pattern •\tCheck-then-Do Pattern •\tLoop-by-Flag Pattern The scope of this project is to create a set of tools to facilitate detecting of such infeasible paths by detecting the conditions that fulfill the patterns mentioned above. This tool kit can give future developers a head start in their project to automate infeasible path detection and flagging.