NASA Crew Exploration Vehicle (CEV) Software Event Log

  • Maikel Leemans (Ontwerper)
  • Falk Howar (Bijdrager)

Dataset

Omschrijving

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.
Datum van beschikbaarheid21 apr 2017
Uitgever4TU.Centre for Research Data
Datum van data-aanmaak10 feb 2017

Citeer dit

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