Dataflow approach to testing Java programs supported with DFC

• Autorzy: Bluemke I , Rembiszewski A

Identyfikatory

DOI

10.5277/e-Inf150101

• Języki publikacji: EN

Abstrakty

EN

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. The objective of this paper is to present dataflow coverage testing of Java programs supported by DFC. DFC finds all definition-uses pairs in tested unit and provides also the definition-uses graph for methods. After the execution of test information which def-uses pairs were covered is shown. An example of data flow testing of Java program is also presented

Słowa kluczowe

EN

Java programming; data flow testing; structural programming language; DFC (Data Flow Coverage)

• Wydawca: Oficyna Wydawnicza Politechniki Wrocławskiej
• Czasopismo: e-Informatica Software Engineering Journal
• Rocznik: 2015
• Tom: Vol. 9, nr 1
• Strony: 9--19
• Opis fizyczny: Bibliogr. 26 poz., rys., tab.

Twórcy

autor

Bluemke I

• Institute of Computer Science, Warsaw University of Technology [e-mail]

autor

Rembiszewski A

• Institute of Computer Science, Warsaw University of Technology [e-mail]

Bibliografia

• [1] M. R. Woodward and M. A. Hennell, “On the relationship between two control-flow coverage criteria: all jj-paths and mcdc,” Information and Software Technology, Vol. 48, No. 7, 2006, pp. 433–440.
• [2] N. Malevris and D. F. Yates, “The collateral coverage of data flow criteria when branch testing,” Information and Software Technology, Vol. 48, No. 8, 2006, pp. 676–686.
• [3] P. Herman, “A data flow analysis approach to program testing,” Australian Computer Journal, Vol. 8, No. 3, 1976, pp. 92–96.
• [4] M.-H. Chen and H. M. Kao, “Testing object-oriented programs-an integrated approach,” in Software Reliability Engineering, 1999. Proceedings. 10th International Symposium on. IEEE, 1999, pp. 73–82.
• [5] Jabuti homepage. (Accessed 12.2007). [Online]. http://jabuti.incubadora.fapesp.br/
• [6] J. W. Laski and B. Korel, “A data flow oriented program testing strategy,” Software Engineering, IEEE Transactions on, No. 3, 1983, pp. 347–354.
• [7] S. Rapps and E. J. Weyuker, “Selecting software test data using data flow information,” Software Engineering, IEEE Transactions on, No. 4, 1985, pp. 367–375. [8] T. J. Ostrand and E. J. Weyuker, “Data flow-based test adequacy analysis for languages with pointers,” in Proceedings of the symposium on Testing, analysis, and verification. ACM, 1991, pp. 74–86.
• [9] M. J. Harrold and G. Rothermel, “Performing data flow testing on classes,” in ACM SIGSOFT Software Engineering Notes, Vol. 19, No. 5. ACM, 1994, pp. 154–163.
• [10] M. J. Harrold and M. L. Soffa, “Interprocedual data flow testing,” in ACM SIGSOFT Software Engineering Notes, Vol. 14, No. 8. ACM, 1989, pp. 158–167.
• [11] A. M. R. Vincenzi, J. C. Maldonado, W. E. Wong, and M. E. Delamaro, “Coverage testing of java programs and components,” Science of Computer Programming, Vol. 56, No. 1, 2005, pp. 211–230.
• [12] J. Laski and W. Stanley, Software verification and analysis: An integrated, hands-on approach. Springer Science & Business Media, 2009.
• [13] M. L. Chaim and R. P. A. De Araujo, “An efficient bitwise algorithm for intra-procedural data-flow testing coverage,” Information Processing Letters, Vol. 113, No. 8, 2013, pp. 293–300.
• [14] R. P. A. d. Araujo and M. L. Chaim, “Data-flow testing in the large,” in Software Testing, Verifi- cation and Validation (ICST), 2014 IEEE Seventh International Conference on. IEEE, 2014, pp. 81–90.
• [15] M. Vivanti, “Dynamic data-flow testing,” in Companion Proceedings of the 36th International Conference on Software Engineering. ACM, 2014, pp. 682–685.
• [16] A. Rembiszewski, “Data flow coverage of object programs,” Master’s thesis, Institute of Computer Science, Warsaw University of Technology, 2009, (in Polish).
• [17] I. Bluemke and A. Rembiszewski, “Dataflow testing of java programs with dfc,” in Advances in Software Engineering Techniques, ser. Lecture Notes in Computer Science, T. Szmuc, M. Szpyrka, and J. Zendulka, Eds. Springer Berlin Heidelberg, 2012, Vol. 7054, pp. 215–228. [Online]. http://dx.doi.org/10.1007/978-3-642- 28038-2_17
• [18] B. Beizer, Software system testing and quality assurance. Van Nostrand Reinhold Co., 1984.
• [19] Junit homepage. (Accessed 12.2008). [Online]. http://www.junit.org/
• [20] Eclemma 1.2.0. (Accessed 04.2008). [Online]. http://www.eclemma.org/
• [21] Tptp: Eclipse test & performance tools platform project. (Accessed 2008). [Online]. http://www.eclipse.org/tptp/
• [22] M. Hutchins, H. Foster, T. Goradia, and T. Ostrand, “Experiments of the effectiveness of dataflow-and controlflow-based test adequacy criteria,” in Proceedings of the 16th international conference on Software engineering. IEEE Computer Society Press, 1994, pp. 191–200.
• [23] R. Santelices, J. A. Jones, Y. Yu, and M. J. Harrold, “Lightweight fault-localization using multiple coverage types,” in Software Engineering, 2009. ICSE 2009. IEEE 31st International Conference on. IEEE, 2009, pp. 56–66.
• [24] I. Bluemke and K. Kulesza, “A comparison of dataflow and mutation testing of java methods,” in Dependable Computer Systems. Springer, 2011, pp. 17–30.
• [25] Muclipse homepage. (Accessed 01.2011). [Online]. http://muclipse.sourceforge.net/index.php
• [26] Jumble homepage. (Accessed 12.2008). [Online]. http://jumble.sourceforge.net/index.ht