找到2个数据集

标签: 测试成本

过滤结果

  • Infusion_Manager_测试预言机自动调整框架数据

    2026年1月29日 30 159 31

    数据集概述 本数据集围绕Infusion Manager测试预言机自动调整框架展开，该框架旨在解决实时嵌入式系统等领域测试预言机与被测系统（SUT）行为不匹配导致的假阳性问题。框架通过约束条件和搜索过程调整模型行为，最小化行为差异，在限制范围内引导预言机匹配SUT执行，降低假阳性率并减少开发成本。 文件详解 文件名称：manager.zip...
    packageimg

  • EPL语言强变异体与包含变异体研究数据集

    2025年12月21日 30 104 85

    数据集概述 本数据集围绕EPL语言的变异测试展开，包含Tempus系统应用于物联网实时事件处理案例的实验数据，以及强变异体和包含变异体的分析资料，为降低变异测试计算成本的研究提供支持。 文件详解 文件名称: STVR.zip 文件格式: ZIP压缩包 包含内容:...
    packageimg