Abstract
The objective of this paper is to present a tool supporting dataflow coverage testing of Java programs. Code based (”white box”) approach to testing can be divided into two main types: control flow coverage and data flow coverage methods. Dataflow testing was introduced for structural programming languages and later adopted for object languages. Among many tools supporting code based testing of object programs, only JaBUTi and DFC (Data Flow Coverage) support dataflow testing of Java programs. DFC is a tool implemented at the Institute of Computer Science Warsaw University of Technology as an Eclipse plug-in. DFC finds all definition-uses (def − u) pairs in tested unit and provides also the def − u graph DUG for methods. After the execution of tests the information which def − u pairs were covered is shown. An example of usage of DFC and the comparison with JaBUTi data flow testing tool of Java program is also presented.
Chapter PDF
References
Bezier, B.: Software System Testing and Quality Assurance. Van Nostrad Rheinhold, New York (1984)
Binder, R.V.: Testing Object Oriented Systems. Addison Wesley (1999)
Rapps, S., Weyuker, E.J.: Selecting Software Test Data Using Data Flow Information. IEEE Transactions on Software Engineering 11, 367–375 (1985)
Harrold, M.J., Rothermel, G.: Performing Data Flow Testing on Classes. In: Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 154–163 (1994)
Harold, M.J., Soffa, M.L.: Interprocedural Data Flow Testing. In: Proceedings of the 3rd Testing, Analysis, and Verification Symposium, pp. 158–167 (1989)
Vincenzi, A.M.R., Maldonado, J.C., Wong, W.E., Delamaro, M.E.: Coverage Testing of Java Programs and Components. Science of Computer Programming 56, 211–230 (2005)
Woodward, M.R., Hennell, M.A.: On the Relationship Between Two Control-flow Coverage Criteria: All JJ-paths and MCDC. Information & Software Technology 48, 433–440 (2006)
Malevris, N., Yates, D.F.: The Collateral Coverage of Data Flow Criteria When Branch Testing. Information and Software Technology 48, 676–686 (2006)
Chen, M.H., Kao, H.M.: Testing Object-Oriented Programs An Integrated Approach. In: Proceedings of the 10th International Symposium on Software Reliability Engineering, pp. 73–83 (1999)
JaBUTi Homepage, http://jabuti.incubadora.fapesp.br (access, December 2007)
Emma, http://emma.sourceforge.net (access, 2008)
PurifyPlus, IBM Rational, http://www-128.ibm.com/developerworks/rational/products/purifyplus (access, March 2008)
EclEmma 1.2.0, http://www.eclemma.org/ (access, 2008)
TPTP: Eclipse Test & Performance Tools Platform Project, http://www.eclipse.org/tptp/ (access, March 2009)
Horgan, J.R., London, S.: A Data Flow Coverage Testing Tool for C. In: International Symposium on Software Testing and Analysis 1991, pp. 87–97 (1991)
Rational Software Architect, IBM, http://www.ibm.com/developerworks/downloads/r/rsd/learn.htm
Visual, http://www.microsoft.com/visualstudio/en-us/products/default.mspx
JUnit, http://www.junit.org/ (access December 2008)
Rembiszewski, A.: Data Flow Coverage of Object Programs. Msc Thesis, Institute of Computer Science, Warsaw University of Technology (2009) (in polish)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 IFIP International Federation for Information Processing
About this paper
Cite this paper
Bluemke, I., Rembiszewski, A. (2012). Dataflow Testing of Java Programs with DFC. In: Szmuc, T., Szpyrka, M., Zendulka, J. (eds) Advances in Software Engineering Techniques. CEE-SET 2009. Lecture Notes in Computer Science, vol 7054. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-28038-2_17
Download citation
DOI: https://doi.org/10.1007/978-3-642-28038-2_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-28037-5
Online ISBN: 978-3-642-28038-2
eBook Packages: Computer ScienceComputer Science (R0)