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
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
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)