Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/15977
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.
URI: http://hdl.handle.net/10356/15977
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 
eA7047-081.pdf
  Restricted Access
1.25 MBAdobe PDFView/Open

Page view(s) 50

179
Updated on Feb 27, 2021

Download(s)

4
Updated on Feb 27, 2021

Google ScholarTM

Check

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