Many mature development processes use structural coverage metrics to monitor the quality of testing. Recent studies suggest that commonly used control flow testing criteria poorly address state-based behavior of object oriented software. This paper presents DaTeC, a tool that provides useful coverage information of Java object states by implementing a novel contextual data flow testing approach
Many mature development processes use structural coverage metrics to monitor the quality of testing. Recent studies suggest that commonly used control flow testing criteria poorly address state-based behavior of object oriented software. This paper presents DaTeC, a tool that provides useful coverage information of Java object states by implementing a novel contextual data flow testing approach. © 2009 IEEE.
Denaro, G., Gorla, A., Pezze', M. (2009). DaTeC: Contextual data flow testing of Java classes. In ICSE '09: Proceedings of the 2009 IEEE 31st International Conference on Software Engineering (pp.421-422). IEEE [10.1109/ICSE-COMPANION.2009.5071042].
DaTeC: Contextual data flow testing of Java classes
DENARO, GIOVANNI;PEZZE', MAURO
2009
Abstract
Many mature development processes use structural coverage metrics to monitor the quality of testing. Recent studies suggest that commonly used control flow testing criteria poorly address state-based behavior of object oriented software. This paper presents DaTeC, a tool that provides useful coverage information of Java object states by implementing a novel contextual data flow testing approach. © 2009 IEEE.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
