Arbeitspapier
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 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.
- Sprache
-
Englisch
- Erschienen in
-
Series: ERCIS Working Paper ; No. 40
- Klassifikation
-
Management
- Thema
-
Data-Flow Analysis
Bytecode Instrumentation
Language Server Protocol
- Ereignis
-
Geistige Schöpfung
- (wer)
-
Troost, Laura
- Ereignis
-
Veröffentlichung
- (wer)
-
Westfälische Wilhelms-Universität Münster, European Research Center for Information Systems (ERCIS)
- (wo)
-
Münster
- (wann)
-
2024
- Letzte Aktualisierung
-
10.03.2025, 11:41 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Arbeitspapier
Beteiligte
- Troost, Laura
- Westfälische Wilhelms-Universität Münster, European Research Center for Information Systems (ERCIS)
Entstanden
- 2024
Ähnliche Objekte (12)
A Testing Tool Visualizing and Ensuring Data-Flow Coverage
Ensuring access to affordable drug coverage in Medicare
Beyond dataflow
A dataflow-based shader framework for visualizing dissections of the heart using individual patient data
Adventures in Dataflow
Interconnection Optimization for Dataflow Architectures
Unconventional architectures, Ch. 6.. Dataflow processing and dataflow machines / Autoren: A. R. Hurson ; D. Tavangarian
Improving GNU Radio Accelerator Device Dataflow
Monotonic Optimization of Dataflow Buffer Sizes
Analyzable dataflow executions with adaptive redundancy
An AppGallery for dataflow computing
Software synthesis from dataflow schedule graphs
A Testing Tool Visualizing and Ensuring Data-Flow Coverage
Ensuring access to affordable drug coverage in Medicare
Beyond dataflow
A dataflow-based shader framework for visualizing dissections of the heart using individual patient data
Adventures in Dataflow
Interconnection Optimization for Dataflow Architectures
Unconventional architectures, Ch. 6.. Dataflow processing and dataflow machines / Autoren: A. R. Hurson ; D. Tavangarian
Improving GNU Radio Accelerator Device Dataflow
Monotonic Optimization of Dataflow Buffer Sizes
Analyzable dataflow executions with adaptive redundancy
An AppGallery for dataflow computing
Software synthesis from dataflow schedule graphs
A Testing Tool Visualizing and Ensuring Data-Flow Coverage
Ensuring access to affordable drug coverage in Medicare
Beyond dataflow
A dataflow-based shader framework for visualizing dissections of the heart using individual patient data
Adventures in Dataflow
Interconnection Optimization for Dataflow Architectures
Unconventional architectures, Ch. 6.. Dataflow processing and dataflow machines / Autoren: A. R. Hurson ; D. Tavangarian
Improving GNU Radio Accelerator Device Dataflow
Monotonic Optimization of Dataflow Buffer Sizes
Analyzable dataflow executions with adaptive redundancy
An AppGallery for dataflow computing