找到3个数据集

标签: 预期结果

过滤结果

  • IMITATOR_Based扩展参数化时间自动机基准库2_1

    2026年1月29日 30 38 32

    数据集概述 本数据集为IMITATOR基准库2.1，包含扩展参数化时间自动机的基准模型与相关结果。提供两个归档文件，分别存储模型和属性、完整基准及结果（含预期结果、PDF图表、独立网页摘要），支持形式化方法领域的模型验证研究。 文件详解 归档文件1： 文件名称：benchmarks.zip 文件格式：ZIP...
    packageimg

  • FRS_API_Test_基于FRS_API的手动功能测试结果数据

    2026年1月27日 30 129 46

    数据集概述 本数据集为FRS API的手动功能测试结果，旨在验证已实现API的功能性和性能，展示API在不同场景下的行为表现。数据集包含1个Excel文件，记录了测试场景及结果，为API功能评估提供直接参考。 文件详解 文件名称：Test Scenario API Asep.xlsx 文件格式：XLSX...
    packageimg

  • 伊利亚测试文件集

    2025年12月9日 30 36 21

    数据集概述 该数据集是一组用于测试的文件集合，包含多种格式的测试数据、预期结果及输出文件，涉及实验测试相关内容，为验证程序或模型的输出结果提供数据支持。 文件详解 测试数据文件: test.mcool: .mcool格式文件，可能为测试用的多分辨率冷却文件 test.mcool.5000.expected.tsv:...
    packageimg