-
自主测试代理基准数据集
数据集概述 该数据集是针对自主测试代理(Autonomous Tester Agents)的基准测试数据,包含由专业测试人员编写的三个Web应用的一百个测试用例,其中半数为原始用例的变异版本,用于评估代理的bug识别能力,测试用例含需精确断言的多步骤任务。 文件详解 文件名称: ISSTA_ARTEFACT.zip 文件格式: ZIP压缩包 内容说明:...
-
自动驾驶汽车软件成本效益模拟测试选择数据集_SDC_Scissor
数据集概述 该数据集提供自动驾驶汽车的模拟测试用例,支持SDC-Scissor工具进行成本效益测试选择。数据基于BeamNG仿真平台,包含测试生成、标注、模型评估等功能所需的文件,适用于自动驾驶软件测试优化研究。 文件详解...
-
葡萄牙语编程练习数据集PROGRAMEXBR
数据集概述 该数据集为葡萄牙语编程练习数据集,包含编程练习的说明、测试用例及元数据,通过网络爬虫技术从指定平台收集并建模,旨在填补巴西葡萄牙语编程练习数据集的空白。 文件详解 文件名称:PROGRAMEXBR: A Dataset of Programming Exercises in Portuguese.zip 文件格式:ZIP压缩包...
-
AllScale_iPIC3D_Based_地球辐射带多尺度模拟完整数据
数据集概述 该数据集包含iPIC3D试点项目的测试用例数据,用于模拟不同尺度下地球辐射带的形成过程。数据集由8个文件组成,主要为输入文件和1份文档文件,为空间物理模拟研究提供支持。 文件详解 输入文件(.inp格式,共7个):...
-
EPL语言强变异体与包含变异体研究数据集
数据集概述 本数据集围绕EPL语言的变异测试展开,包含Tempus系统应用于物联网实时事件处理案例的实验数据,以及强变异体和包含变异体的分析资料,为降低变异测试计算成本的研究提供支持。 文件详解 文件名称: STVR.zip 文件格式: ZIP压缩包 包含内容:...
-
Olympus_VSI多文件测试数据集
数据集概述 该数据集是公开的专有格式测试数据,采用Olympus VSI格式,包含顶层.vsi文件及含.ets文件的子文件夹结构。经裁剪、背景减除等后处理步骤压缩至约二百千字节,仅用于验证文件格式结构有效性。 文件详解 文件名称: olympus-vsi-multifile-test-dataset.zip 文件格式: ZIP压缩包 内容说明:...
-
EPFL_Combinational_Benchmark_Libraries_逻辑综合基准库应用文档完整数据
数据集概述 该数据集是EPFL逻辑综合库的展示仓库,包含模块化开源C++库相关的应用案例文档,用于逻辑综合应用开发,库文件具备完善文档与测试,支持作为复杂框架核心组件使用。 文件详解 文件名称: Libraries.pdf 文件格式: PDF (.pdf) 文件内容:...
-
Rajiv_Thorat_Based_Python_Taint_Analysis_污点分析基准测试完整数据
数据集概述 该数据集是一个用于Python污点分析的基准数据集,旨在研究Python可用的污点分析工具。原始来源于Rajiv Thorat创建的基准测试库,包含测试用例和元数据,现简化后可用于特定工具的评估。 文件详解 该数据集包含4个文件,具体说明如下: - 文件名称: LICENSE - 文件格式: 无扩展名(no_ext) - 内容说明:...
-
基于大语言模型的自动驾驶软件代码生成与仿真报告数据集
数据集概述 本数据集包含基于大语言模型生成的自动驾驶软件代码、对应报告及仿真可视化视频,覆盖代码生成(迭代0)与修正(迭代1)两个阶段,为研究自动驾驶软件的安全代码生成方法提供数据支持。 文件详解 文件名称: Generated code in initiaion t13.pdf,格式: PDF 内容:...
-
DEFCoN_Based_超分辨率显微镜荧光点计数模型测试完整数据
数据集概述 该数据集是用于测试DEFCoN模型的示例数据,DEFCoN是一种全卷积神经网络,可在超分辨率显微镜中实时计数荧光点。数据集包含一个压缩文件,无训练/测试、数据/标签或原始/处理数据的划分。 文件详解 文件名称:DEFCoN_example_data.zip 文件格式:ZIP压缩包...
-
量子退火生成网络物理系统测试用例实验包
数据集概述 本数据集为实验包,对应论文《Using quantum annealing to generate test cases for cyber-physical systems》,包含与该研究相关的实验材料,以压缩包形式提供,支持复现量子退火生成网络物理系统测试用例的研究内容。 文件详解 文件名称:lab-package-quantum-...
-
冲积沉积物与其他类别二分类Residual_Unet模型_RGB航空正射影像
数据集概述 本数据集包含基于RGB航空正射影像训练的Residual-Unet模型,用于二分类(冲积沉积物与其他类别)分割任务。模型依托冲积河流廊道影像及标签数据构建,可识别正射影像中的地表冲积沉积物,由Segmentation Gym工具生成。 文件详解...
-
测试代码压缩文件集
数据集概述 该数据集为测试代码相关的压缩文件集合,包含一个压缩文件,无目录层级,主要用于测试从压缩文件下载的功能,无训练/测试、数据/标签或原始/处理数据的划分。 文件详解 文件名称: test_top.zip 文件格式: ZIP (.zip) 文件内容: 压缩文件,具体内部文件结构和内容未提供预览信息 适用场景 技术功能测试:...
-
R2D工具示例_E6地震动图场景数据集
数据集概述 本数据集为R2D工具的示例数据,核心内容围绕E6地震动图场景展开,以压缩包形式存储相关数据,为理解R2D工具的应用场景提供基础示例。 文件详解 文件名称: E6ShakemapScenario.zip 文件格式: ZIP (.zip) 内容说明:...
-
Android应用多模态GUI测试生成的LLM评估数据集
数据集概述 本数据集是围绕Android应用多模态GUI测试生成任务的大语言模型(LLM)评估相关数据,以压缩包形式存储,未提供具体内容预览。 文件详解 文件名称: dataset+results.zip 文件格式: ZIP (.zip) 内容说明:...
-
数字人文语言鸿沟研究补充数据集
数据集概述 本数据集是论文《Mind the Language Gap in Digital Humanities: LLM-Aided Translation of SKOS...
-
敏捷开发需求工件效率影响案例研究在线附录
数据集概述 本数据集是研究论文《需求工件对敏捷开发效率的影响:一项案例研究》的在线附录,包含补充统计测试结果的PDF文件和用户故事数据的Excel文件,为论文研究提供额外数据支持。 文件详解 文件名称: README.txt,文件格式: TXT,内容: 说明本在线附录与主研究论文的关联,列出包含的两个核心文件及其内容概要。 文件名称: Results...
-
DIRECT型方法全局优化问题库
数据集概述 本数据集是针对DIRECT型方法的全局优化测试问题库,包含箱约束与一般约束的全局优化测试问题(MATLAB格式),用于基准测试相关文献中的各类DIRECT型方法,同时提供实验结果文件支持方法性能验证。 文件详解 压缩包文件:...
-
基于上下文学习的大语言模型单元测试生成实证研究复现包
数据集概述 本数据集是论文《基于上下文学习的大语言模型单元测试生成实证研究》的复现包,包含支持研究结果复现的相关文件,可用于验证大语言模型在单元测试生成任务中的表现。 文件详解 文件名称: parser.zip:压缩包格式,可能包含用于解析代码或测试用例的脚本或工具。 文件名称:...
-
ψ不变量作为通用符号基底跨智能体语义迁移实证验证数据集
数据集概述 本数据集为ψ不变量作为跨智能体语义迁移通用符号基底的实证验证资料,包含实验验证、压缩协议、拓扑算子等相关文件,支持语义保存性、可证伪性及架构无关意义连续性的研究,涉及无状态AI系统的语义迁移测试。 文件详解 核心文档文件(.txt格式,共8个):...



