Authors:
Fabrizio Baldini
;
Giacomo Bucci
;
Leonardo Grassi
and
Enrico Vicario
Affiliation:
Università degli Studi di Firenze, Italy
Keyword(s):
Data Flow Analysis, Object Oriented Testing, Abstract Syntax Tree, Aspect Oriented Programming.
Related
Ontology
Subjects/Areas/Topics:
Aspect-Orientation
;
Embedded Communications Systems
;
Enterprise Software Technologies
;
Object-Oriented Programming
;
Programming Languages
;
Reliable Software Technologies
;
Software Architectures
;
Software Engineering
;
Telecommunications
Abstract:
The introduction of Object Oriented Technologies in test centered processes has emphasized the importance
of finding new methods for software verification. Testing metrics and practices, developed for structured programs, have to be adapted in order to address the prerogatives of object oriented programming. In this work, we introduce a new approach to structural coverage evaluation in the testing of OO software. Data flow paradigm is adopted and reinterpreted through the definition of a new type of structure, used to record def/use information for test critical class member variables. In the final part of this paper, we present a testing tool that employs this structure for code based coverage analysis of Java and C++ programs.