Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
outcomes:data [2018/01/12 12:18] nour.assy |
outcomes:data [2018/01/12 12:20] nour.assy |
||
---|---|---|---|
Line 4: | Line 4: | ||
\\ | \\ | ||
+ | |||
+ | == NASA Crew Exploration Vehicle (CEV) Software Event Log == | ||
+ | |||
+ | | **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. | | ||
+ | | **Link:** | | https://data.4tu.nl/repository/uuid:60383406-ffcd-441f-aa5e-4ec763426b76 | | ||
+ | | **Contact person:** | | Maikel Leemans: <m.leemans@tue.nl> | | ||
== Apache Commons Crypto 1.0.0 - Stream CbcNopad Unit Test Software Event Log == | == Apache Commons Crypto 1.0.0 - Stream CbcNopad Unit Test Software Event Log == |