1/1
2 files

NASA Crew Exploration Vehicle (CEV) Software Event Log

dataset
posted on 21.04.2017 by Maikel Leemans
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

Contributors

Clausthal University of Technology, Institute for Applied Software Systems Engineering (IPSSE), Germany; Eindhoven University of Technology, Department of Mathematics and Computer Science; Howar, F. (Falk)

Publisher

Eindhoven University of Technology

Time coverage

10-02-2017

Format

media types: application/vnd.ms-excel, application/x-gzip, application/zip, text/plain, text/xml

Exports