Data Flow Approach to Testing Java Programs Supported with DFC
Journal Title: e-Informatica Software Engineering Journal - Year 2015, Vol 9, Issue 1
Abstract
Code based (``white box'') approach to testing can be divided into two main types: control flow coverage and data flow coverage. The data flow testing was introduced to 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 data flow 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 data flow coverage testing of Java programs supported by DFC. DFC finds all definition-use pairs in tested unit and also provides the definition-use graph for methods. After test execution, the information which def-use pairs were covered is shown. An example of data flow testing of Java program is also presented.
Authors and Affiliations
Ilona Bluemke, Artur Rembiszewski
Keywords
Related Articles
- EP ID EP201189
- DOI 10.5277/e-Inf150101
- Views 106
- Downloads 0
Generating Graphical User Interfaces from Precise Domain Specifications
Turning requirements into working systems is the essence of software engineering. This paper proposes automation of one of the aspects of this vast problem: generating user interfaces directly from requirements models. I...
ABC-CAG: Covering Array Generator for Pair-wise Testing Using Artificial Bee Colony Algorithm
Testing is an indispensable part of the software development life cycle. It is performed to improve the performance, quality and reliability of the software. Various types of testing such as functional testing and struct...
Using the Cognitive Walkthrough Method in Software Process Improvement
In the past years, efforts in the field of Software Process Improvement were increasingly focusing on human aspects making one aware that people participating in the processes have a high impact on the success of any imp...
A Systematic Mapping Study on Software Measurement Programs in SMEs
Context: Software measurement programs are essential to understand, evaluate, improve and predict the software processes, products and resources. However, successful implementation of software measurement programs (MPs)...
Measuring Goal-Oriented Requirements Language Actor Stability
Background: Goal models describe interests, preferences, intentions, desired goals and strategies of intervening stakeholders during the early requirements engineering stage. When capturing the requirements of real-world...