NASA Crew Exploration Vehicle (CEV) Software Event Log
Datacite citation style:
Leemans, Maikel (2017): NASA Crew Exploration Vehicle (CEV) Software Event Log. Version 1. 4TU.ResearchData. dataset. https://doi.org/10.4121/uuid:60383406-ffcd-441f-aa5e-4ec763426b76
Other citation styles (APA, Harvard, MLA, Vancouver, Chicago, IEEE) available at Datacite
Dataset
usage stats
4018
views
6
citations
1224
downloads
categories
time coverage
10-02-2017
licence
4TU General Terms of Use
collection
Extensible Event Stream (XES) software event log obtained through instrumenting the NASA CEV class using the tool available at {https://svn.win.tue.nl/repos/prom/XPort/}. This event log contains method-call level events describing a single run of an exhaustive unit test suite for the Crew Exploration Vehicle (CEV) example available and documented at {http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-statechart} (trac) {http://babelfish.arc.nasa.gov/hg/jpf/jpf-statechart} (mercurial repository). Note that the life-cycle information in this log corresponds to method call (start) and return (complete), and captures a method-call hierarchy. We attached a slightly preprocessed variant of this event log, where the execution of each unit test method is represented as a separate trace.
history
- 2017-04-21 first online, published, posted
publisher
Eindhoven University of Technology
format
media types: application/vnd.ms-excel, application/x-gzip, application/zip, text/plain, text/xml
references
organizations
Clausthal University of Technology, Institute for Applied Software Systems Engineering (IPSSE), Germany;Eindhoven University of Technology, Department of Mathematics and Computer Science
contributors
- Howar, F. (Falk)
DATA
files (2)
- 2,059,643 bytesMD5:
361a81f7b45d75ba319779864d186015
readme.txt - 2,609,576 bytesMD5:
e9c26a9d9aac7fc5c8bb1fa19689c948
data.zip -
download all files (zip)
4,669,219 bytes unzipped