Development of software testing and analysis tools : Part E
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 generat...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Final Year Project (FYP) |
| Language: | English |
| Published: |
2009
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/10356/20687 |
| _version_ | 1811692516992352256 |
|---|---|
| author | Aye, Myat Thin |
| author2 | Tan Hee Beng Kuan |
| author_facet | Tan Hee Beng Kuan Aye, Myat Thin |
| author_sort | Aye, Myat Thin |
| collection | NTU |
| description | 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. |
| first_indexed | 2024-10-01T06:37:02Z |
| format | Final Year Project (FYP) |
| id | ntu-10356/20687 |
| institution | Nanyang Technological University |
| language | English |
| last_indexed | 2024-10-01T06:37:02Z |
| publishDate | 2009 |
| record_format | dspace |
| spelling | ntu-10356/206872023-07-07T15:48:16Z Development of software testing and analysis tools : Part E Aye, Myat Thin Tan Hee Beng Kuan School of Electrical and Electronic Engineering DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems 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. Bachelor of Engineering 2009-12-29T03:09:07Z 2009-12-29T03:09:07Z 2009 2009 Final Year Project (FYP) http://hdl.handle.net/10356/20687 en Nanyang Technological University 185 p. application/pdf |
| spellingShingle | DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems Aye, Myat Thin Development of software testing and analysis tools : Part E |
| title | Development of software testing and analysis tools : Part E |
| title_full | Development of software testing and analysis tools : Part E |
| title_fullStr | Development of software testing and analysis tools : Part E |
| title_full_unstemmed | Development of software testing and analysis tools : Part E |
| title_short | Development of software testing and analysis tools : Part E |
| title_sort | development of software testing and analysis tools part e |
| topic | DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems |
| url | http://hdl.handle.net/10356/20687 |
| work_keys_str_mv | AT ayemyatthin developmentofsoftwaretestingandanalysistoolsparte |