Please use this identifier to cite or link to this item:
Title: Development of software testing and analysis tools : Part A
Authors: Ng, Qing Xiang.
Keywords: DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems
Issue Date: 2009
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.
Rights: Nanyang Technological University
Fulltext Permission: restricted
Fulltext Availability: With Fulltext
Appears in Collections:EEE Student Reports (FYP/IA/PA/PI)

Files in This Item:
File Description SizeFormat 
  Restricted Access
1.25 MBAdobe PDFView/Open

Page view(s) 50

Updated on Feb 27, 2021


Updated on Feb 27, 2021

Google ScholarTM


Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.