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.||URI:||http://hdl.handle.net/10356/17271||Rights:||Nanyang Technological University||Fulltext Permission:||restricted||Fulltext Availability:||With Fulltext|
|Appears in Collections:||EEE Student Reports (FYP/IA/PA/PI)|
Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.