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
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
Statistical path coverage for non-deterministic complex safety-related software testing
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
Statistical path coverage for non-deterministic complex safety-related software testing
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