Data · dataset · 2020
Coverage-Based Testing with Symbolic Transition Systems: Code and Case Study Results
Listed in DANS Data Station Physical and Technical Sciences
The data set contains source code written in the Maude language for generation of coverage-based tests, and source code written in python, for test case execution.
Description
Also, it contains all test execution results, and aggregated data based on these results. The dataset is part of the research from Chapter 4 of the PhD thesis "Coverage and Games in Model-Based Testing" by Petra van den Bos.
The chapter is based on the paper "Coverage-Based Testing with Symbolic Transition Systems" by Petra van den Bos and Jan Tretmans. For reproducing results, one also needs the software tools Maude and TorXakis, which are not included in this data set.
Links
Where it is published
- Dataverse dataset page phys-techsciences.datastations.nl/dataset.xhtml?persistentId=doi%3A10.17026%2FDANS-XM5-VPDK ↗
landing page · from phys techsciences datastations nl
- DOI doi.org/10.17026/dans-xm5-vpdk ↗
DOI / persistent id · from phys techsciences datastations nl
Catalogue records · 1
- Dataverse API phys-techsciences.datastations.nl/api/datasets/:persistentId/?persistentId=doi%3A10.17026%2FDANS… ↗
metadata API · from phys techsciences datastations nl
Topics
- Stated by source
- Computer and Information Science
Provenance · 1 source records, 7 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| DANS Data Station Physical and Technical Sciences | doi:10.17026/DANS-XM5-VPDK | 12 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| concepts[field].dataverse_subject:computer-and-information-science | source · phys techsciences datastations nl | connector:phys_techsciences_datastations_nl@1.0.0 | /subjects |
| created_date | source · phys techsciences datastations nl | connector:phys_techsciences_datastations_nl@1.0.0 | |
| description | source · phys techsciences datastations nl | connector:phys_techsciences_datastations_nl@1.0.0 | /description |
| publication_date | source · phys techsciences datastations nl | connector:phys_techsciences_datastations_nl@1.0.0 | |
| title | source · phys techsciences datastations nl | connector:phys_techsciences_datastations_nl@1.0.0 | /name |
| updated_date | source · phys techsciences datastations nl | connector:phys_techsciences_datastations_nl@1.0.0 | |
| version_label | source · phys techsciences datastations nl | connector:phys_techsciences_datastations_nl@1.0.0 |