-
SGFuzz_实验数据集
2026年2月15日 30 197 91
数据集概述 本数据集为SGFuzz相关的实验数据集,包含一个压缩文件,未划分训练/测试集、数据/标签集、原始/处理数据集,文件类型单一,无自述文件或内容预览。 文件详解 文件名称:SGFuzz.zip 文件格式:ZIP 字段映射介绍:数据集仅包含此压缩文件,无其他文件或目录结构,具体内容需解压后查看,未提供自述文件或内容预览。 适用场景...
-
补充材料_软件的变化特性_环境驱动的抽象_识别与测试
2026年2月9日 30 11 7
数据集概述 本数据集是论文《Testing Software's Changing Features with Environment-Driven Abstraction...
-
ICY_Based_神经元细胞MAP2抗体标记软件测试图像数据
2026年1月28日 30 9 3
数据集概述 本数据集包含经MAP2抗体标记的海马神经元培养样本图像及配套XML元数据,用于测试ICY软件的Easy Cell shape协议。图像展示了玻璃盖玻片上培养的海马神经元,MAP2抗体标记树突延伸,DAPI标记细胞核,未标记轴突,由Leica DMRE显微镜40倍物镜拍摄。 文件详解 Easy Cell shape.tif 文件格式:TIFF...
-
Sling_load_odrives_Based电机控制软件测试数据集
2026年1月26日 30 196 151
数据集概述 本数据集包含针对odrives电机控制的软件测试数据及绘图脚本,涵盖三个测试场景:odrives速度限制停机测试、odrives阶跃响应测试、8电机设定点测试(含x/y方向力参考及z轴旋转参考)。数据以压缩包形式存储,可用于分析电机控制性能及故障场景。 文件详解 文件名称:Software_tests_odrives.zip...
-
需求工程与软件测试对齐人因系统映射研究补充材料
2026年2月1日 30 75 34
数据集概述 本数据集是《需求工程与软件测试对齐中人因方面的系统映射研究》的补充材料,包含一项初步研究的筛选过程数据。数据集仅含一个文件,记录了研究筛选与全文评审相关信息,为理解该系统映射研究的方法和数据来源提供支持。 文件详解 文件名称:Screening and Full_text review.xlsx 文件格式:XLSX...
-
ESBMC_v7_6_C_基准测试实验评估数据
2026年2月1日 30 69 0
数据集概述 本数据集是对ESBMC v7.6版本在C++基准测试(benchexec)上的实验评估结果,包含一个压缩文件,记录了工具的性能测试数据,可用于分析ESBMC v7.6在C++程序验证中的表现。 文件详解 zip压缩文件 文件名称:esbmc-v7.6-bench.zip 文件格式:.zip 字段映射介绍:压缩包内包含ESBMC...
-
交互式故障定位中的上下文知识补充资料_存档数据
2026年2月1日 30 145 77
数据集概述 本数据集为论文“Using Contextual Knowledge in Interactive Fault Localization”实验所用数据,包含一个压缩文件,无目录结构,未划分训练测试、数据标签或原始处理数据,主要用于支持交互式故障定位中上下文知识应用的实验验证。 文件详解 压缩文件 文件名称:iFL-...
-
维塔斯科技印度尼西亚项目监控信息系统黑盒测试文档
2026年2月1日 30 42 22
数据集概述 本数据集包含Virtus Technology Indonesia公司项目监控信息系统的黑盒测试相关文档,核心内容围绕该信息系统的黑盒测试工作展开,为了解系统测试流程和结果提供支持,数据集仅包含一个文件。 文件详解 文件名称:Black-Box Testing of Project Monitoring Information System...
-
AGILE_2024_Based线缓冲区挑战案例数据
2026年1月31日 30 52 34
数据集概述 本数据集为AGILE 2024会议论文《The Challenges Of Line Buffers》的配套案例数据,用于展示线缓冲区处理中的典型问题。包含14个文件,覆盖多种GIS数据格式,通过具体案例呈现不同GIS工具(QGIS、ArcGIS Pro)生成线缓冲区的差异及相关技术挑战。 文件详解 文档类文件 文件名称:README.md...
-
UCNS3D_v1_3_Based_测试问题集合数据
2026年1月31日 30 171 40
数据集概述 本数据集是UCNS3D v1.3软件的测试问题集合,包含用于验证该软件功能的测试用例。数据集以压缩包形式提供,无目录层级结构,未划分训练/测试集、数据/标签集或原始/处理数据集,仅包含一个文件。 文件详解 文件名称:TESTS2.zip 文件格式:ZIP 字段映射介绍:压缩包内包含UCNS3D...
-
copick_Based_copick测试数据集测试用
2026年1月31日 30 87 74
数据集概述 本数据集是copick的测试数据集,主要用于测试基于文件系统的模型,包含一个压缩文件,未涉及训练/测试、数据/标签、原始/处理等类型的划分。 文件详解 文件名称:sample_project.zip 文件格式:ZIP...
-
基准测试调试方法评估的系统性文献综述补充材料_2022版
2026年1月30日 30 209 127
数据集概述 本数据集是调试方法评估基准系统文献综述的补充材料,包含对七十三个调试基准的分析结果,涵盖基准规模、提供信息(如错误报告、测试用例、代码指标)及FAIR原则实现情况,旨在帮助研究人员快速识别适合特定调试方法的基准。 文件详解 文件名称:open_science_material.zip 文件格式:ZIP...
-
GUIPilot_Based_移动GUI一致性测试数据集
2026年1月30日 30 64 8
数据集概述 本数据集包含论文“GUIPilot: A Consistency-based Mobile GUI Testing Approach for Detecting Application-specific Bugs”(ISSTA...
-
LogOracle_LogTCP_Based日志测试数据集
2026年1月29日 30 187 135
数据集概述 本数据集为LogOracle和LogTCP所使用的日志测试数据集,以压缩包形式提供,未包含训练/测试、数据/标签或原始/处理等数据划分,无README或内容预览文档,可用于日志相关的测试研究与分析。 文件详解 压缩包文件 文件名称:dataset.zip 文件格式:ZIP...
-
MassCube_Based_MassCube工具测试数据集
2026年1月29日 30 153 82
数据集概述 本数据集为MassCube工具的测试数据集,包含两个版本的测试数据压缩包,用于支持该工具的测试验证工作。用户可通过指定文档了解命令行运行测试项目的方法,数据集无目录层级,仅包含压缩文件。 文件详解 压缩文件(Archive files) 文件名称:masscube_testing_data_for_ver1.2.zip 文件格式:ZIP...
-
Defects4J_Based_控制流与数据流图故障分类数据
2026年1月29日 30 130 96
数据集概述 本数据集基于Defects4J数据集的7个项目,采用控制流与数据流图分类方案,对488个故障进行分类标注。包含控制流(如order、jump、call等)和数据流相关的故障类型,通过JSON文件记录每个故障的项目、编号及所属故障类别,支持软件缺陷分析研究。 文件详解 文档类文件 文件名称:README.md、LICENSE、Makefile...
-
TestCube开发者中心测试放大访谈代码出现与信度分析数据
2026年1月29日 30 90 87
数据集概述 本数据集为论文附录,包含评估开发者中心测试扩增方法及TestCube插件时,访谈中积累的代码出现数据,以及研究者进行的评分者间信度分析记录,为相关方法的验证提供支持。 文件详解 文件名称:Dev-Centric-Test-Amp-Replication-Table.xlsx 文件格式:XLSX...
-
Infusion_Manager_测试预言机自动调整框架数据
2026年1月29日 30 112 38
数据集概述 本数据集围绕Infusion Manager测试预言机自动调整框架展开,该框架旨在解决实时嵌入式系统等领域测试预言机与被测系统(SUT)行为不匹配导致的假阳性问题。框架通过约束条件和搜索过程调整模型行为,最小化行为差异,在限制范围内引导预言机匹配SUT执行,降低假阳性率并减少开发成本。 文件详解 文件名称:manager.zip...
-
TSE_Based_基于搜索的软件产品线测试研究互补材料数据
2026年1月29日 30 87 26
数据集概述 本数据集为论文《Looking For Novelty in Search-based Software Product Line Testing》的互补材料,包含相关性分析结果表格及用于相关性分析的MATLAB脚本与原始数据压缩包,支持论文实验结果的复现与验证,共包含2个文件。 文件详解 相关性分析结果文件...
-
TesCaV_Based模型测试与覆盖实践学习实验数据2020
2026年1月29日 30 12 1
数据集概述 本数据集为论文《TesCaV: An Approach for Learning Model-based Testing and Coverage in Practice》中的探索性实验结果数据,包含实验的核心结果信息,用于支撑TesCaV方法在模型测试与覆盖实践学习中的有效性验证,数据集仅含一个文件。 文件详解...



