A testing tool visualizing and ensuring data-flow coverage

Laura Troost

No 40, ERCIS Working Papers from University of Münster, European Research Center for Information Systems (ERCIS)

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.

Keywords: Data-Flow Analysis; Bytecode Instrumentation; Language Server Protocol (search for similar items in EconPapers)
Date: 2024
References: View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.econstor.eu/bitstream/10419/287758/1/1884470122.pdf (application/pdf)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:zbw:ercisw:287758

Access Statistics for this paper

More papers in ERCIS Working Papers from University of Münster, European Research Center for Information Systems (ERCIS) Contact information at EDIRC.
Bibliographic data for series maintained by ZBW - Leibniz Information Centre for Economics ().