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

Martena, V., Orso, A., & Pezze', M. (2002). Interclass Testing of Object Oriented Software. In Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (pp.135-144). IEEE [10.1109/ICECCS.2002.1181506].

Interclass Testing of Object Oriented Software

PEZZE', MAURO
2002

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
Si
paper
Scientifica
Testing object oriented software
English
IEEE international Conference on Engineering of Complex Computer Systems, ICECCS 2002 2-4 December
0-7695-1757-9
Martena, V., Orso, A., & Pezze', M. (2002). Interclass Testing of Object Oriented Software. In Proceedings of the 8th International Conference on Engineering of Complex Computer Systems (pp.135-144). IEEE [10.1109/ICECCS.2002.1181506].
Martena, V; Orso, A; Pezze', M
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/16220
Citazioni
  • Scopus 33
  • ???jsp.display-item.citation.isi??? 12
Social impact