2 files

NASA Crew Exploration Vehicle (CEV) Software Event Log

posted on 21.04.2017, 00:00 by Maikel LeemansMaikel 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.



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)


Eindhoven University of Technology

Time coverage



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