Leveraging Generated Tests Public Deposited

http://ir.library.oregonstate.edu/concern/graduate_thesis_or_dissertations/44558g71v

Descriptions

Attribute NameValues
Creator
Abstract or Summary
  • The main goal of automated test generation is to improve the reliability of a program by exposing faults to developers. To this end, testing should cover the largest possible portion of the program given a test budget (i.e., time and resources) as frequently as possible. Coverage of a program entity in testing increases our confidence in the correctness of that entity. Generating various tests to cover a program entity is a particularly hard problem to solve for large software systems because the test inputs are complex and they often exhibit sophisticated feature interactions. As a result, current test generation techniques, such as symbolic execution or search-based testing, do not scale well to complex, large-scale systems. This dissertation presents a test generation technique which aims to increase the frequency of coverage in large, complex software systems. It leverages the information of existing test cases to direct the automated testing. We show the results of the application of this technique to some large systems such as GCC compiler ( 850K Lines of code), and Mozillas JavaScript engine ( 120K lines of code). It increases the frequency of coverage up to the factor of 9x, compared to the state-of-the-art technique. It also proposes non-adequate test-case reduction for reducing the size of test cases by coverage and mutant detection criteria. C%-coverage test reduction technique reduces a test case while preserving at least C% of coverage in the original test case. N-mutant test reduction technique reduces a test cases while preserving detection of N mutants of the original test case. We evaluate the effectiveness of these test reduction techniques on different attributes of test cases. This research suggest that the generated test cases should be treated as first-class artifacts in the software development and they can be leveraged for interesting testing tasks.
Resource Type
Date Available
Date Copyright
Date Issued
Degree Level
Degree Name
Degree Field
Degree Grantor
Commencement Year
Advisor
Committee Member
Academic Affiliation
Non-Academic Affiliation
Keyword
Subject
Rights Statement
Peer Reviewed
Language
Replaces
Additional Information
  • description.provenance : Submitted by Mohammad Amin Alipour (alipourm@oregonstate.edu) on 2017-05-15T16:37:13Z No. of bitstreams: 2 license_rdf: 1527 bytes, checksum: d4743a92da3ca4b8c256fdf0d7f7680f (MD5) main.pdf: 800676 bytes, checksum: fc723861808a627d4c1974d8221e7cb1 (MD5)
  • description.provenance : Made available in DSpace on 2017-05-19T23:07:24Z (GMT). No. of bitstreams: 2 license_rdf: 1527 bytes, checksum: d4743a92da3ca4b8c256fdf0d7f7680f (MD5) main.pdf: 800676 bytes, checksum: fc723861808a627d4c1974d8221e7cb1 (MD5) Previous issue date: 2017-05-01
  • description.provenance : Approved for entry into archive by Julie Kurtz(julie.kurtz@oregonstate.edu) on 2017-05-19T22:14:23Z (GMT) No. of bitstreams: 2 license_rdf: 1527 bytes, checksum: d4743a92da3ca4b8c256fdf0d7f7680f (MD5) main.pdf: 800676 bytes, checksum: fc723861808a627d4c1974d8221e7cb1 (MD5)
  • description.provenance : Approved for entry into archive by Laura Wilson(laura.wilson@oregonstate.edu) on 2017-05-19T23:07:24Z (GMT) No. of bitstreams: 2 license_rdf: 1527 bytes, checksum: d4743a92da3ca4b8c256fdf0d7f7680f (MD5) main.pdf: 800676 bytes, checksum: fc723861808a627d4c1974d8221e7cb1 (MD5)

Relationships

In Administrative Set:
Last modified: 08/04/2017

Downloadable Content

Download PDF
Citations:

EndNote | Zotero | Mendeley

Items