Please use this identifier to cite or link to this item:
Title: Development of software testing and analysis tools : Part E
Authors: Aye, Myat Thin
Keywords: DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems
Issue Date: 2009
Abstract: In software structural testing, the analysis and detection of infeasible paths in the program is critical. Automated test data generation plays an important part in reducing the cost and increasing the reliability of software testing. However, a challenging problem in path-oriented test data generation is the existence of infeasible program paths, where considerable effort may be wasted in trying to generate input data to traverse the paths. But the problem is that there is not fully reliable program that can detect all infeasible paths and it has been a long pending problem in structural testing. If tool can correctly detect all major infeasible paths in the tested system, the precision of static analysis will be greatly enhanced, and therefore improves its use in many areas, particularly in structural testing [9] and code optimization. Thus, the most key place where infeasibility rise is identified based on two patterns of the code statements. These two patterns will be described detail later in this report. So, basically, the developing tool, IPathDetector2 is designed to test the infeasibility of the paths using these two patterns. By using this tool, larger portion of infeasible paths were identified and the precision and coverage of the earlier method is much more improved.
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
2.51 MBAdobe PDFView/Open

Page view(s)

Updated on Nov 28, 2020

Download(s) 50

Updated on Nov 28, 2020

Google ScholarTM


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