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
Milestone-Oriented Usage of Key Performance Indicators – An Industrial Case Study
Background: Key Performance Indicators are a common way of quantitative monitoring of project progress in modern companies. Although they are widely used in practice, there is little evidence on how they are set, and how...
Automatic SUMO to UML Translation
Existing ontologies are a valuable source of domain knowledge. This knowledge could be extracted and reused to create domain models. The extraction process can be aided by tools that enable browsing ontology, marking int...
A literature review on the effectiveness and efficiency of business modeling
Background: Achieving and maintaining a strategic competitive advantage through business and technology innovation via continually improving effectiveness and efficiency of the operations are the critical survival factor...
Software Change Prediction: A Systematic Review and Future Guidelines
Background: The importance of Software Change Prediction (SCP) has been emphasized by several studies. Numerous prediction models in literature claim to effectively predict change-prone classes in software products. Thes...
A Graphical Modelling Editor for STARSoC Design Flow Tool Based on Model Driven Engineering Approach
Background : Due to the increasing complexity of embedded systems, system designers use higher levels of abstraction in order to model and analyse system performances. STARSoC (Synthesis Tool for Adaptive and Reconfigura...