Automatic testing of software with structurally complex inputs
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2005.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2006
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/30161 |
| _version_ | 1826212257214758912 |
|---|---|
| author | Marinov, Darko, 1976- |
| author2 | Martin C. Rinard. |
| author_facet | Martin C. Rinard. Marinov, Darko, 1976- |
| author_sort | Marinov, Darko, 1976- |
| collection | MIT |
| description | Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2005. |
| first_indexed | 2024-09-23T15:18:31Z |
| format | Thesis |
| id | mit-1721.1/30161 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T15:18:31Z |
| publishDate | 2006 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/301612019-04-12T09:06:33Z Automatic testing of software with structurally complex inputs Marinov, Darko, 1976- Martin C. Rinard. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2005. Includes bibliographical references (p. 123-132). Modern software pervasively uses structurally complex data such as linked data structures. The standard approach to generating test suites for such software, manual generation of the inputs in the suite, is tedious and error-prone. This dissertation proposes a new approach for specifying properties of structurally complex test inputs; presents a technique that automates generation of such inputs; describes the Korat tool that implements this technique for Java; and evaluates the effectiveness of Korat in testing a set of data-structure implementations. Our approach allows the developer to describe the properties of valid test inputs using a familiar implementation language such as Java. Specifically, the user provides an imperative predicate--a piece of code that returns a truth value--that returns true if the input satisfies the required property and false otherwise. Korat implements our technique for solving imperative predicates: given a predicate and a bound on the size of the predicate's inputs, Korat automatically generates the bounded-exhaustive test suite that consists of all inputs, within the given bound, that satisfy the property identified by the predicate. To generate these inputs, Korat systematically searches the bounded input space by executing the predicate on the candidate inputs. Korat does this efficiently by pruning the search based on the predicate's executions and by generating only nonisomorphic inputs. Bounded-exhaustive testing is a methodology for testing the code on all inputs within the given small bound. (cont.) Our experiments on a set of ten linked and array- based data structures show that Korat can efficiently generate bounded-exhaustive test suites from imperative predicates even for very large input spaces. Further, these test suites can achieve high statement, branch, and mutation coverage. The use of our technique for generating structurally complex test inputs also enabled testers in industry to detect faults in real, production-quality applications. by Darko Marinov. Ph.D. 2006-03-24T18:25:16Z 2006-03-24T18:25:16Z 2005 2005 Thesis http://hdl.handle.net/1721.1/30161 60662674 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 132 p. 9915845 bytes 9932926 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science. Marinov, Darko, 1976- Automatic testing of software with structurally complex inputs |
| title | Automatic testing of software with structurally complex inputs |
| title_full | Automatic testing of software with structurally complex inputs |
| title_fullStr | Automatic testing of software with structurally complex inputs |
| title_full_unstemmed | Automatic testing of software with structurally complex inputs |
| title_short | Automatic testing of software with structurally complex inputs |
| title_sort | automatic testing of software with structurally complex inputs |
| topic | Electrical Engineering and Computer Science. |
| url | http://hdl.handle.net/1721.1/30161 |
| work_keys_str_mv | AT marinovdarko1976 automatictestingofsoftwarewithstructurallycomplexinputs |