A Testing Tool Visualizing and Ensuring Data-Flow Coverage
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