DatasetNASA Crew Exploration Vehicle (CEV) Software Event Log

?titleNASA Crew Exploration Vehicle (CEV) Software Event Log
?creatororcidLeemans, M. (Maikel)
?contributorClausthal University of Technology, Institute for Applied Software Systems Engineering (IPSSE), Germany
?contributorEindhoven University of Technology, Department of Mathematics and Computer Science
?contributorHowar, F. (Falk)
?date accepted2017-04-21
?date created2017-02-10
?date published2017
?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.
?languageen
?publisherEindhoven University of Technology
?subjectHierarchical event log ● Method-call event log ● Open-source software log ● Software event log ● Unit test event log
?time coverage10-02-2017
? ▲ in collection
DATA
+bag-info
+contents of this dataset, 12 files
▲top of page▲