NASA Crew Exploration Vehicle (CEV) Software Event Log

通过使用 {https://svn.win.tue.nl/repos/prom/XPort/} 上提供的工具检测 NASA CEV 类获得的可扩展事件流 (XES) 软件事件日志。此事件日志包含方法调用级别的事件，描述了一个详尽的单元测试套件的单次运行，该套件可用于在 {http://babelfish.arc.nasa.gov/trac/jpf/wiki 上提供和记录的 Crew Exploration Vehicle (CEV) 示例/projects/jpf-statechart} (trac) {http://babelfish.arc.nasa.gov/hg/jpf/jpf-statechart} (mercurial 存储库)。请注意，此日志中的生命周期信息对应于方法调用（开始）和返回（完成），并捕获了方法调用层次结构。我们附上了这个事件日志的一个稍微预处理的变体，其中每个单元测试方法的执行都表示为一个单独的跟踪。

A scalable event stream (XES) software event log obtained by instrumenting NASA CEV classes using tools hosted at {https://svn.win.tue.nl/repos/prom/XPort/}. This event log contains events at the method invocation level, describing a single run of an exhaustive unit test suite. The suite is associated with the Crew Exploration Vehicle (CEV) example/projects/jpf-statechart, which is available and documented at {http://babelfish.arc.nasa.gov/trac/jpf/wiki} (trac) and its Mercurial repository at {http://babelfish.arc.nasa.gov/hg/jpf/jpf-statechart}. Note that the lifecycle information in this log corresponds to method invocation starts and return completions, and captures the full method invocation hierarchy. We provide a slightly preprocessed variant of this event log, where the execution of each individual unit test method is represented as a separate trace.

搜集汇总

背景与挑战

背景概述

该数据集是一个NASA CEV软件事件日志，采用可扩展事件流（XES）格式，记录了方法调用级别的事件，源自一个详尽的单元测试套件的单次运行，并捕获了方法调用层次结构。它由埃因霍温理工大学于2017年发布，提供了预处理版本，其中每个单元测试方法的执行表示为单独的跟踪。