DatasetNASA Crew Exploration Vehicle (CEV) Software Event Log
►►►►► Link as https://doi.org/10.4121/uuid:60383406-ffcd-441f-aa5e-4ec763426b76 | How to cite this dataset
| ?title | NASA Crew Exploration Vehicle (CEV) Software Event Log |
| ?creator | Leemans, M. (Maikel) |
| ?contributor | Clausthal University of Technology, Institute for Applied Software Systems Engineering (IPSSE), Germany |
| ?contributor | Eindhoven University of Technology, Department of Mathematics and Computer Science |
| ?contributor | Howar, F. (Falk) |
| ?date accepted | 2017-04-21 |
| ?date created | 2017-02-10 |
| ?date published | 2017 |
| ?description | 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. |
| ?language | en |
| ?publisher | Eindhoven University of Technology |
| ?subject | Hierarchical event log ◊ Method-call event log ◊ Open-source software log ◊ Software event log ◊ Unit test event log |
| ?time coverage | 10-02-2017 |
| ? ▲ in collection | |
| ?related publication | Modeling and Discovering Cancelation Behavior (conference paper, 2017) |
| ?related publication | Recursion aware modeling and discovery for hierarchical software event log analysis (conference paper, 2018) |
| ?related publication | Recursion aware modeling and discovery for hierarchical software event log analysis (Extended) (arXiv:1710.09323, 2017) |
| ?licence | General terms of use |
DATA
