找到2个数据集

标签: 测试复现

过滤结果

  • EULYNX_Based_FormaSig项目Point接口mCRL2模型与测试日志数据

    2026年1月13日 30 168 9

    数据集概述 本数据集包含FormaSig项目中EULYNX Point接口的mCRL2模型、μ-演算公式需求文件及测试相关工件，用于支持研究结果的复现。数据涵盖特定点接口和通用PDI接口的模型、对应需求文件、测试模型、状态空间文件、测试日志及模拟器源代码，共20个文件。 文件详解 mCRL2模型文件...
    packageimg

  • 云性能变异性研究复制包_流处理应用基准测试数据集2024

    2025年12月22日 30 129 74

    数据集概述 本数据集为云性能变异性研究的复制包，包含2024年在AWS两个区域（us-east-1、eu-central-1）、两种机器类型（m6i、m6g）下，2366次ShuffleBench流处理基准测试的吞吐量数据，以及用于重复分析的代码和自动执行脚本，支持云基准测试相关研究的复现与扩展分析。 文件详解 核心数据文件（位于results目录）：...
    packageimg