NASA Crew Exploration Vehicle (CEV) Software Event Log

Dataset

Description

Extensible Event Stream (XES) software event log obtained through instrumenting the NASA CEV class using the tool available at new windowhttps://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 new windowhttp://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-statechart (trac) new windowhttp://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.
Date made available21 Apr 2017
Publisher4TU.Centre for Research Data
Date of data production10 Feb 2017

Cite this

Leemans, M. (Creator), Howar, F. (Contributor). (21 Apr 2017): NASA Crew Exploration Vehicle (CEV) Software Event Log, 4TU.Centre for Research Data. 10.4121/uuid:60383406-ffcd-441f-aa5e-4ec763426b76