Please use this identifier to cite or link to this item:
Title: Development of toolkits for software analysis and testing
Authors: Ng, Song Teck.
Keywords: DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems
Issue Date: 2009
Abstract: Computer-based program offer unrivalled flexibility in terms of implementation and modification. Although more cost effective than traditional methods of prototyping and implementing analogue logic systems, large amounts of time and money are still spent, particularly during the testing phase. It is essential to devise processes which increase the efficiency with which such programs may be put into service. One of the primary means of doing so revolves around the identification of infeasible paths within a programme construct. By removing basis paths which include infeasible traversals from the test set, cost savings can be achieved during the symbolic testing phase. However, automated identification of infeasible paths is a complicated process. In order to declare a path as infeasible in all instances, numerous conditions must be satisfied by the checking algorithm. Due to the individualistic nature of programming techniques, detection of such paths and conditions in supplied constructs can be a difficult process. This project focuses on the development of a suite of program analysis tools focused on generating data useful for white box control flow analysis of programs. Additionally, the identification of infeasible paths resulting from the Invariant Predicate condition has been implemented within the toolkit.
Schools: School of Electrical and Electronic Engineering 
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
7.76 MBAdobe PDFView/Open

Page view(s)

Updated on Jun 25, 2024


Updated on Jun 25, 2024

Google ScholarTM


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