EPL语言强变异体与包含变异体研究数据集

数据集概述

本数据集围绕EPL语言的变异测试展开，包含Tempus系统应用于物联网实时事件处理案例的实验数据，以及强变异体和包含变异体的分析资料，为降低变异测试计算成本的研究提供支持。

文件详解

• 文件名称: STVR.zip
• 文件格式: ZIP压缩包
• 包含内容:
• Tempus文件夹：含4个物联网实时事件处理案例研究、Tempus配置文件、输入事件数据、输出结果，以及由MuEPL和GAmera组成的Tempus工具
• Subsuming文件夹：含Python分析指南、中间结果、4个案例的原始数据

适用场景

• 软件测试研究：分析进化变异测试在降低计算成本中的效果
• 物联网系统测试：研究实时事件处理场景下的变异测试应用
• 变异体评估：探索强变异体对测试用例设计的指导价值
• 测试技术对比：通过包含变异体分析不同测试套件的彻底性
• 变异测试工具开发：基于Tempus工具框架进行扩展研究