Random generation of valid object configurations for testing object-oriented programs
dc.contributor.author | Sadhu, Devadatta, author | |
dc.contributor.author | Ghosh, Sudipto, advisor | |
dc.contributor.author | France, Robert, committee member | |
dc.contributor.author | Turk, Daniel, committee member | |
dc.date.accessioned | 2007-01-03T08:07:06Z | |
dc.date.available | 2007-01-03T08:07:06Z | |
dc.date.issued | 2012 | |
dc.description.abstract | A unit test case for an object-oriented program typically requires the creation of an object configuration on which the method under test is invoked. Certain approaches, such as RANDOOP, perform feedback-directed random test generation. RANDOOP incrementally generates test cases by only extending the valid ones. Invalid test cases are not explored, and thus, RANDOOP can miss the creation of some valid object configurations. In our approach, we generate a new random object configuration for each test case. This configuration may or may not satisfy the multiplicity constraints in the UML class model of the program. Instead of discarding an invalid configuration, we attempt to fix it and generate a valid test case. Since we do not reject any test case, and do not depend on the feedback from previous test cases, our object configurations are likely to obtain a higher coverage of the domain of valid configurations than RANDOOP. We implemented our approach in a prototype tool called RanTGen, which produces JUnit-style test cases. We also created an Eclipse plugin for RanTGen. Our preliminary results show that RanTGen takes less time than RANDOOP to generate the same number of test cases. RanTGen test cases kill more mutants and achieve higher coverage in terms of statements, branches, and association-end multiplicity (AEM) than RANDOOP test cases. The AEM coverage criterion defines the set of representative multiplicity tuples that must be created during a test, and is used to measure coverage of the domain of valid configurations. | |
dc.format.medium | born digital | |
dc.format.medium | masters theses | |
dc.identifier | Sadhu_colostate_0053N_10933.pdf | |
dc.identifier | ETDF2012500098COMS | |
dc.identifier.uri | http://hdl.handle.net/10217/66679 | |
dc.language | English | |
dc.language.iso | eng | |
dc.publisher | Colorado State University. Libraries | |
dc.relation.ispartof | 2000-2019 | |
dc.rights | Copyright and other restrictions may apply. User is responsible for compliance with all applicable laws. For information about copyright law, please see https://libguides.colostate.edu/copyright. | |
dc.subject | constraints | |
dc.subject | UML class diagram | |
dc.subject | random test generation | |
dc.subject | object configurations | |
dc.subject | domain coverage | |
dc.title | Random generation of valid object configurations for testing object-oriented programs | |
dc.type | Text | |
dcterms.rights.dpla | This Item is protected by copyright and/or related rights (https://rightsstatements.org/vocab/InC/1.0/). You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use. For other uses you need to obtain permission from the rights-holder(s). | |
thesis.degree.discipline | Computer Science | |
thesis.degree.grantor | Colorado State University | |
thesis.degree.level | Masters | |
thesis.degree.name | Master of Science (M.S.) |
Files
Original bundle
1 - 1 of 1
Loading...
- Name:
- Sadhu_colostate_0053N_10933.pdf
- Size:
- 1005.28 KB
- Format:
- Adobe Portable Document Format
- Description: