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 存储库)。请注意，此日志中的生命周期信息对应于方法调用（开始）和返回（完成），并捕获了方法调用层次结构。我们附上了这个事件日志的一个稍微预处理的变体，其中每个单元测试方法的执行都表示为一个单独的跟踪。