Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

Dataflow Testing of Java Programs with DFC

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2017 - 12:48:58 PM
Last modification on : Wednesday, May 24, 2017 - 2:18:01 PM
Long-term archiving on: : Monday, August 28, 2017 - 4:44:14 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Ilona Bluemke, Artur Rembiszewski. Dataflow Testing of Java Programs with DFC. 4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. pp.215-228, ⟨10.1007/978-3-642-28038-2_17⟩. ⟨hal-01527388⟩



Record views


Files downloads