数据集概述
本数据集围绕Incremental Covering Array生成展开，包含生成工具、测试模型、生成时间与规模、代码覆盖率、故障检测等相关文件，共6个文件，涵盖生成工具、实验数据及辅助文档，支持对Incremental Covering Array生成过程及效果的分析。
文件详解
- 文件名称：readme.md
- 文件格式：MD
- 字段映射介绍：提供数据集内容说明，包括各压缩包文件的功能指引，如生成器、测试模型与脚本、生成时间与规模等文件的对应说明。
- 文件名称：model&test.zip
- 文件格式：ZIP
- 字段映射介绍：包含17个主题程序的输入模型及其测试脚本。
- 文件名称：size&time.zip
- 文件格式：ZIP
- 字段映射介绍：列出Incremental Covering Array的生成时间及规模相关数据。
- 文件名称：codecoverage.zip
- 文件格式：ZIP
- 字段映射介绍：包含代码覆盖率相关数据。
- 文件名称：generator.zip
- 文件格式：ZIP
- 字段映射介绍：提供用于生成Incremental Covering Array的生成器及其使用说明。
- 文件名称：faultdetection.zip
- 文件格式：ZIP
- 字段映射介绍：包含故障检测相关数据。
适用场景
- 软件测试用例生成研究：利用生成器及测试模型，研究Incremental Covering Array在测试用例生成中的应用。
- 测试效率分析：通过size&time.zip中的生成时间与规模数据，分析Incremental Covering Array生成效率。
- 测试效果评估：结合codecoverage.zip和faultdetection.zip数据，评估测试用例的代码覆盖能力与故障检测能力。
- 测试工具开发参考：参考generator.zip中的生成器实现，开展测试用例生成工具的开发与优化。
