Please use this identifier to cite or link to this item: https://hdl.handle.net/10419/287758 
Authors: 
Year of Publication: 
2024
Series/Report no.: 
ERCIS Working Paper No. 40
Publisher: 
Westfälische Wilhelms-Universität Münster, European Research Center for Information Systems (ERCIS), Münster
Abstract: 
According to different studies, data-flow coverage is more effective in exposing errors than common control-flow metrics. However, there are not many suitable and available data-flow analysis tools. This report illustrates the technical details of the implementation of Dacite (Data-flow Coverage for Imperative Testing). Dacite is an open-source tool able to dynamically derive the covered data flow of a given Java program and its JUnit test cases. Using the Language Server Protocol, it visualizes the data flow within common IDEs. Moreover, Dacite provides feedback about the not-covered data flow and automatically generates test cases for these by using symbolic execution.
Subjects: 
Data-Flow Analysis
Bytecode Instrumentation
Language Server Protocol
Document Type: 
Working Paper

Files in This Item:
File
Size
715.61 kB





Items in EconStor are protected by copyright, with all rights reserved, unless otherwise indicated.