Development of toolkits for software analysis and testing
Ng, Song Teck. · DR-NTU (Nanyang Technological University) · 2009
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.