A Testing Tool Visualizing and Ensuring Data-Flow Coverage
Troost, Laura
Working paperAbstract
According to different studies, data-flow coverage is more effective in exposing errors than commoncontrol-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
Details about the publication
Publisher: Becker, J.; vom Brocke, J.; Brandt, T.; Gieseke, F.; Hellingrath, B.; Hoeren, T.; Klein, S.; Kuchen, H.; Varghese, J. (Eds.)
Place of publication: Münster
Title of series: Working Papers, ERCIS
Volume of series: 40
Status: Published
Release year: 2024
Keywords: Data-Flow Analysis; Bytecode Instrumentation; Language Server Protocol
Authors from the University of Münster
| Troost, Laura | Center for Higher Education (ZHL) |