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.
- Language
-
Englisch
- Bibliographic citation
-
Series: ERCIS Working Paper ; No. 40
- Classification
-
Management
- Subject
-
Data-Flow Analysis
Bytecode Instrumentation
Language Server Protocol
- Event
-
Geistige Schöpfung
- (who)
-
Troost, Laura
- Event
-
Veröffentlichung
- (who)
-
Westfälische Wilhelms-Universität Münster, European Research Center for Information Systems (ERCIS)
- (where)
-
Münster
- (when)
-
2024
- Last update
-
10.03.2025, 11:41 AM CET
Data provider
This object is provided by:
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. If you have any questions about the object, please contact the data provider.
ZBW - Deutsche Zentralbibliothek für Wirtschaftswissenschaften - Leibniz-Informationszentrum Wirtschaft. If you have any questions about the object, please contact the data provider.
Object type
- Arbeitspapier
Associated
- Troost, Laura
- Westfälische Wilhelms-Universität Münster, European Research Center for Information Systems (ERCIS)
Time of origin
- 2024
Other Objects (12)
A Testing Tool Visualizing and Ensuring Data-Flow Coverage
Ensuring access to affordable drug coverage in Medicare
Testing PIDza coverage for VIVO at Osnabrück University
Structural coverage criteria for testing object-oriented software
Measuring and visualizing the flow supplied by personalized ventilation
Ensuring control accuracy
Sicherstellung von Software Qualität im Testprozess : = Ensuring software quality in the testing process
Visualizing Data
Visualizing immunity
Test coverage assessment for semi-automatic system testing and regression testing support in production automation
Test Coverage Assessment for Semi-Automatic System Testing and Regression Testing Support in Production Automation
Visualizing cavitation inception in tip leakage flow of a ducted marine propeller
A Testing Tool Visualizing and Ensuring Data-Flow Coverage
Ensuring access to affordable drug coverage in Medicare
Testing PIDza coverage for VIVO at Osnabrück University
Structural coverage criteria for testing object-oriented software
Measuring and visualizing the flow supplied by personalized ventilation
Ensuring control accuracy
Sicherstellung von Software Qualität im Testprozess : = Ensuring software quality in the testing process
Visualizing Data
Visualizing immunity
Test coverage assessment for semi-automatic system testing and regression testing support in production automation
Test Coverage Assessment for Semi-Automatic System Testing and Regression Testing Support in Production Automation
Visualizing cavitation inception in tip leakage flow of a ducted marine propeller
A Testing Tool Visualizing and Ensuring Data-Flow Coverage
Ensuring access to affordable drug coverage in Medicare
Testing PIDza coverage for VIVO at Osnabrück University
Structural coverage criteria for testing object-oriented software
Measuring and visualizing the flow supplied by personalized ventilation
Ensuring control accuracy
Sicherstellung von Software Qualität im Testprozess : = Ensuring software quality in the testing process
Visualizing Data
Visualizing immunity
Test coverage assessment for semi-automatic system testing and regression testing support in production automation
Test Coverage Assessment for Semi-Automatic System Testing and Regression Testing Support in Production Automation