数据集概述
本数据集记录了JavaSMT中新增的SMT-LIB2代码生成器与解析器解释器的基准测试结果，通过CPAchecker、Benchexec框架及SV-Benchmarks完成测试，包含测试结果文件、运行定义文件及日志压缩包。
文件详解
- 结果数据文件：
- results.2023-11-28_17-09-38.diff.csv：CSV格式，包含不同工具版本（如CPAchecker 2.3.1-svn-45350M）的测试结果差异数据
- results.2023-11-28_17-09-38.table.csv：CSV格式，包含不同工具版本（如CPAchecker 2.3.1-svn-45350M）的测试结果表格数据
- results.2023-11-28_17-09-38.diff.html：HTML格式，测试结果差异的可视化文件
- results.2023-11-28_17-09-38.table.html：HTML格式，测试结果表格的可视化文件
- 运行定义文件：
- princess_run.xml：XML格式，基准测试的运行定义文件
- 日志压缩包：
- results.zip：ZIP格式，包含每个独立任务的日志文件
- 说明文档：
- README.txt：TXT格式，数据集说明文档
适用场景
- 软件测试研究：分析JavaSMT中SMT-LIB2代码生成器与解析器解释器的性能表现
- 基准测试方法研究：探究使用CPAchecker、Benchexec框架进行工具性能测试的实践应用
- 程序分析工具优化：为JavaSMT相关工具的性能优化提供数据支持
- 形式化方法应用：研究SMT-LIB2标准在程序分析工具中的实现效果
