找到4个数据集

标签: 工具对比研究

过滤结果

  • ESBMC_v7_6_C_基准测试实验评估数据

    2026年2月1日 30 206 82

    数据集概述 本数据集是对ESBMC v7.6版本在C++基准测试（benchexec）上的实验评估结果，包含一个压缩文件，记录了工具的性能测试数据，可用于分析ESBMC v7.6在C++程序验证中的表现。 文件详解 zip压缩文件 文件名称：esbmc-v7.6-bench.zip 文件格式：.zip 字段映射介绍：压缩包内包含ESBMC...
    packageimg

  • StarBeast3_Based_多物种溯祖模型贝叶斯推断基准测试数据集

    2026年1月21日 30 7 0

    数据集概述 本数据集包含StarBeast3软件的基准测试数据集，涵盖3个真实数据集和2个合成数据集，以BEAST 2 XML格式提供，用于验证该软件在多物种溯祖模型下的贝叶斯推断性能，支持系统发育分析相关研究。 文件详解 文档文件 文件名称：README.md 文件格式：MD...
    packageimg

  • Rajiv_Thorat_Based_Python_Taint_Analysis_污点分析基准测试完整数据

    2025年12月20日 30 209 105

    数据集概述 该数据集是一个用于Python污点分析的基准数据集，旨在研究Python可用的污点分析工具。原始来源于Rajiv Thorat创建的基准测试库，包含测试用例和元数据，现简化后可用于特定工具的评估。 文件详解 该数据集包含4个文件，具体说明如下： - 文件名称: LICENSE - 文件格式: 无扩展名（no_ext） - 内容说明:...
    packageimg

  • Fijiyama_DOI_Based_插件测试与图像分析完整数据

    2025年12月16日 30 30 13

    数据集概述 本数据集是随Fijiyama插件一同提供的，主要用于插件审核和单元测试。同时，该数据集也可为初次使用Fijiyama处理图像的用户提供实践支持，帮助其快速上手插件操作。 文件详解 文件名称: Fijiyama_DOI.zip 文件格式: .zip（压缩包格式） 内容说明:...
    packageimg