This paper investigates the limits of current data flow testing approaches from a radically novel viewpoint, and shows that the static data flow techniques used so far in data flow testing to identify the test objectives fail to represent the universe of data flow relations entailed by a program. This paper compares the data flow relations computed with static data flow approaches with the ones observed while executing the program. To this end, the paper introduces a dynamic data flow technique that collects the data flow relations observed during testing. The experimental data discussed in the paper suggest that data flow testing based on static techniques misses many data flow test objectives, and indicate that the amount of missing objectives (false negatives) can be more limiting than the amount of infeasible data flow relations identified statically (false positives). This opens a new area of research of (dynamic) data flow testing techniques that can better encompass the test objectives of data flow testing

Denaro, G., Pezze', M., Vivanti, M. (2014). On the Right Objectives of Data Flow Testing. In ICST '14 Proceedings of the 2014 IEEE International Conference on Software Testing, Verification, and Validation (pp.71-80). IEEE Computer Society Washington, DC, USA [10.1109/ICST.2014.18].

On the Right Objectives of Data Flow Testing

DENARO, GIOVANNI;PEZZE', MAURO;
2014

Abstract

This paper investigates the limits of current data flow testing approaches from a radically novel viewpoint, and shows that the static data flow techniques used so far in data flow testing to identify the test objectives fail to represent the universe of data flow relations entailed by a program. This paper compares the data flow relations computed with static data flow approaches with the ones observed while executing the program. To this end, the paper introduces a dynamic data flow technique that collects the data flow relations observed during testing. The experimental data discussed in the paper suggest that data flow testing based on static techniques misses many data flow test objectives, and indicate that the amount of missing objectives (false negatives) can be more limiting than the amount of infeasible data flow relations identified statically (false positives). This opens a new area of research of (dynamic) data flow testing techniques that can better encompass the test objectives of data flow testing
paper
Software testing and analysis, data flow analysis, data flow testing
English
IEEE International Conference on Software Testing, Verification and Validation (ICST) Mar 31-Apr 04
2014
ICST '14 Proceedings of the 2014 IEEE International Conference on Software Testing, Verification, and Validation
978-0-7695-5185-2
2014
71
80
6823867
none
Denaro, G., Pezze', M., Vivanti, M. (2014). On the Right Objectives of Data Flow Testing. In ICST '14 Proceedings of the 2014 IEEE International Conference on Software Testing, Verification, and Validation (pp.71-80). IEEE Computer Society Washington, DC, USA [10.1109/ICST.2014.18].
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/53503
Citazioni
  • Scopus 15
  • ???jsp.display-item.citation.isi??? 11
Social impact