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.
Type de document :
Communication dans un congrès
David Hutchison; Takeo Kanade; Madhu Sudan; Demetri Terzopoulos; Doug Tygar; Moshe Y. Vardi; Gerhard Weikum; Tomasz Szmuc; Marcin Szpyrka; Jaroslav Zendulka; Josef Kittler; Jon M. Kleinberg; Friedemann Mattern; John C. Mitchell; Moni Naor; Oscar Nierstrasz; C. Pandu Rangan; Bernhard Steffen. 4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. Springer, Lecture Notes in Computer Science, LNCS-7054, pp.215-228, 2012, Advances in Software Engineering Techniques. 〈10.1007/978-3-642-28038-2_17〉
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01527388
Contributeur : Hal Ifip <>
Soumis le : mercredi 24 mai 2017 - 12:48:58
Dernière modification le : mercredi 24 mai 2017 - 14:18:01
Document(s) archivé(s) le : lundi 28 août 2017 - 16:44:14

Fichier

978-3-642-28038-2_17_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Ilona Bluemke, Artur Rembiszewski. Dataflow Testing of Java Programs with DFC. David Hutchison; Takeo Kanade; Madhu Sudan; Demetri Terzopoulos; Doug Tygar; Moshe Y. Vardi; Gerhard Weikum; Tomasz Szmuc; Marcin Szpyrka; Jaroslav Zendulka; Josef Kittler; Jon M. Kleinberg; Friedemann Mattern; John C. Mitchell; Moni Naor; Oscar Nierstrasz; C. Pandu Rangan; Bernhard Steffen. 4th Central and East European Conference on Software Engineering Techniques (CEESET), Oct 2009, Krakow, Poland. Springer, Lecture Notes in Computer Science, LNCS-7054, pp.215-228, 2012, Advances in Software Engineering Techniques. 〈10.1007/978-3-642-28038-2_17〉. 〈hal-01527388〉

Partager

Métriques

Consultations de la notice

79

Téléchargements de fichiers

46