-
章鱼工具包_利用多样化子公式对SMT求解器进行模糊测试的文物
2026年1月29日 30 176 67
数据集概述 本数据集为Octopus工具的 artifacts 包，Octopus是用于检测SMT求解器可靠性漏洞的工具，通过多样化子公式模糊测试方法，已向Z3求解器提交10份有效漏洞报告，其中7份已确认或修复。数据集包含工具安装、使用说明及已发现的Z3漏洞列表。 文件详解 文件名称：octopus.zip 文件格式：ZIP...
-
TGenAI_Based_LLM物联网系统功能测试用例生成数据
2026年1月28日 30 140 22
数据集概述 本数据集为TGenAI方法相关的物联网系统功能测试用例生成数据，包含手动生成测试用例、LLM生成测试用例、GPT GUI测试用例及原始实验数据四类文件，总计4个文件，用于支撑物联网系统功能测试用例生成的相关研究与分析。 文件详解 手动测试用例文件 文件名称：Manual Test Case Generation.zip 文件格式：ZIP...
-
Incremental_Covering_Array_生成工具与实验数据
2026年1月21日 30 131 100
数据集概述 本数据集围绕Incremental Covering Array生成展开，包含生成工具、测试模型、生成时间与规模、代码覆盖率、故障检测等相关文件，共6个文件，涵盖生成工具、实验数据及辅助文档，支持对Incremental Covering Array生成过程及效果的分析。 文件详解 文件名称：readme.md 文件格式：MD...
-
AsyncWaitFlakinessDataset_异步等待Web测试时间处理数据集
2026年1月18日 30 59 29
数据集概述 本数据集围绕异步等待Web测试的时间处理展开，包含1个归档文件，无目录结构，未划分训练/测试集、数据/标签集或原始/处理数据。主要用于Web测试中异步等待时间处理相关的研究与分析。 文件详解 AsyncWaitFlakinessDataset.zip 文件格式：ZIP...
-
Async_Wait_Flakytest_Time_Based_Repair_DataSet
2026年1月12日 30 80 21
数据集概述 本数据集聚焦Web测试中异步等待不稳定测试的时间修复方法，收录相关研究数据，为分析不稳定测试修复规律提供支持。数据集包含1个文件，无目录层级，无训练/测试、数据/标签等划分，便于直接使用。 文件详解 文件名称：dataset.xlsx 文件格式：XLSX...
-
SDC_Prioritization_Based_自动驾驶汽车虚拟环境单目标多目标测试用例优先级数据集
2026年1月2日 30 207 94
数据集概述 本数据集是论文《Single and Multi-objective Test Cases Prioritization for Self-driving Cars in Virtual Environments》的配套数据，包含自动驾驶汽车虚拟环境测试用例优先级研究相关的测试场景数据、SDC-...
-
ScreenTracer测试人员评估补充材料数据集
2025年12月15日 30 27 8
数据集概述 该数据集是Tandun学士论文“Report-Video Production for Quick Bug-finding in the Web Applications”研究的后续补充材料，包含编码结果、访谈记录、演示视频及测试套件视频，为评估ScreenTracer工具在测试人员中的应用提供数据支持。 文件详解 编码结果文件:...
-
论文提交用双目标元学习可解释计算机化自适应测试数据集
2025年12月13日 30 30 19
数据集概述 本数据集为论文提交专用，围绕双目标元学习在可解释计算机化自适应测试中的应用场景构建，提供相关研究所需的支撑数据，数据以压缩包形式存储。 文件详解 文件名称：data.zip 文件格式：ZIP压缩包 内容说明：压缩包内包含论文研究所用的数据集文件，具体字段及结构需解压后查看，未提供预览信息 适用场景...
-
工业控制软件组合建模与测试用例生成数据集
2025年12月7日 30 80 31
数据集概述 该数据集为一项研究提供支持，研究主题是运用ACTS方法进行工业控制软件的组合建模与测试用例生成。数据集包含一个附录文档，记录了研究相关的详细信息。 文件详解 文件名称: Appendix.pdf 文件格式: PDF (.pdf) 文件内容: 包含与工业控制软件组合建模及测试用例生成研究相关的附录内容，具体字段未提供，需查阅文档获取详细信息。...
