Title:
Interclass Testing of Object Oriented Software
Interclass Testing of Object Oriented Software
| dc.contributor.author | Martena, Vincenzo | en_US |
| dc.contributor.author | Orso, Alessandro | |
| dc.contributor.author | Pezze, Mauro | |
| dc.date.accessioned | 2005-06-17T17:40:21Z | |
| dc.date.available | 2005-06-17T17:40:21Z | |
| dc.date.issued | 2002 | en_US |
| dc.description.abstract | The characteristics of object-oriented software affect type and relevance of faults. In particular, the state of the objects may cause faults that cannot be easily revealed with traditional testing techniques. This paper proposes a new technique for interclass testing, that is, the problem of deriving test cases for suitably exercising interactions among clusters of classes. The proposed technique uses data-flow analysis for deriving a suitable set of test case specifications for interclass testing. The paper then shows how to automatically generate feasible test cases that satisfy the derived specifications using symbolic execution and automated deduction. Finally, the paper demonstrates the effectiveness of the proposed technique by deriving test cases for a microscope controller developed for the European Space Laboratory of the Columbus Orbital Facility. | en_US |
| dc.format.extent | 198524 bytes | |
| dc.format.mimetype | application/pdf | |
| dc.identifier.uri | http://hdl.handle.net/1853/6538 | |
| dc.language.iso | en_US | |
| dc.publisher | Georgia Institute of Technology | en_US |
| dc.relation.ispartofseries | CC Technical Report; GIT-CC-02-28 | en_US |
| dc.subject | Object-oriented software | |
| dc.subject | Interclass testing | |
| dc.subject | Data flow | |
| dc.title | Interclass Testing of Object Oriented Software | en_US |
| dc.type | Text | |
| dc.type.genre | Technical Report | |
| dspace.entity.type | Publication | |
| local.contributor.author | Orso, Alessandro | |
| local.contributor.corporatename | College of Computing | |
| local.relation.ispartofseries | College of Computing Technical Report Series | |
| relation.isAuthorOfPublication | d23047b9-62b9-40ea-a94a-2d6222c76191 | |
| relation.isOrgUnitOfPublication | c8892b3c-8db6-4b7b-a33a-1b67f7db2021 | |
| relation.isSeriesOfPublication | 35c9e8fc-dd67-4201-b1d5-016381ef65b8 |
Files
Original bundle
1 - 1 of 1