Testing Object Oriented Software
Proceedings of the 26th International Conference on Software Engineering
A state-based approach to integration testing based on UML models
Information and Software Technology
Synthesizing method sequences for high-coverage testing
Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications
Hi-index | 0.00 |
The characteristics of object-oriented software affecttype and relevance of faults. In particular, the state of theobjects may cause faults that cannot be easily revealed withtraditional testing techniques. This paper proposes a newtechnique for interclass testing, that is, the problem of derivingtest cases for suitably exercising interactions amongclusters of classes. The proposed technique uses data-flowanalysis for deriving a suitable set of test case specificationsfor interclass testing. The paper then shows how toautomatically generate feasible test cases that satisfy thederived specifications using symbolic execution and automateddeduction. Finally, the paper demonstrates the effectivenessof the proposed technique by deriving test cases fora microscope controller developed for the European SpaceLaboratory of the Columbus Orbital Facility.