NASA Crew Exploration Vehicle (CEV) Software Event Log

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.

本数据集为通过https://svn.win.tue.nl/repos/prom/XPort/ 处提供的工具对NASA乘员探索飞行器（Crew Exploration Vehicle, CEV）类进行插桩所得到的可扩展事件流（Extensible Event Stream, XES）格式软件事件日志。该事件日志包含方法调用级事件，描述了针对http://babelfish.arc.nasa.gov/trac/jpf/wiki/projects/jpf-statechart（Trac平台）及http://babelfish.arc.nasa.gov/hg/jpf/jpf-statechart（Mercurial版本仓库）中公开并文档化的乘员探索飞行器（CEV）示例所运行的一套穷尽性单元测试套件的单次执行过程。需注意，本日志中的生命周期信息对应方法调用（启动）与方法返回（完成）两类事件，并完整捕获了方法调用的层级关系。本次发布附带该事件日志的轻度预处理变体，其中每个单元测试方法的执行均被表示为一条独立的事件跟踪轨迹。