Bitte verwenden Sie diesen Link, um diese Publikation zu zitieren, oder auf sie als Internetquelle zu verweisen: https://hdl.handle.net/10419/287758 
Autor:innen: 
Erscheinungsjahr: 
2024
Schriftenreihe/Nr.: 
ERCIS Working Paper No. 40
Verlag: 
Westfälische Wilhelms-Universität Münster, European Research Center for Information Systems (ERCIS), Münster
Zusammenfassung: 
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.
Schlagwörter: 
Data-Flow Analysis
Bytecode Instrumentation
Language Server Protocol
Dokumentart: 
Working Paper

Datei(en):
Datei
Größe
715.61 kB





Publikationen in EconStor sind urheberrechtlich geschützt.