Development of software testing and analysis tools : Part A

Abstract

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: • Identical/Compliment-Decision Pattern • Mutually-Exclusive-Decision Pattern • Check-then-Do Pattern • Loop-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.