找到7个数据集

标签: 软件可靠性

过滤结果

  • Korn软件验证工具SV_COMP2023竞赛后评估数据集

    2025年12月22日 30 195 53

    数据集概述 本数据集记录了Korn软件验证工具在SV-COMP2023竞赛后的实验结果。Korn工具基于Horn子句求解器（如Z3、Eldarica）自动推断正确性证书，数据集包含竞赛相关的结果文件、表格数据及文档，为评估工具性能提供支持。 文件详解 结果文件（.bz2格式）：共十个压缩文件，包含不同日期和类别的SV-...
    packageimg

  • 基于大语言模型的自动驾驶软件代码生成与仿真报告数据集

    2025年12月18日 30 14 1

    数据集概述 本数据集包含基于大语言模型生成的自动驾驶软件代码、对应报告及仿真可视化视频，覆盖代码生成（迭代0）与修正（迭代1）两个阶段，为研究自动驾驶软件的安全代码生成方法提供数据支持。 文件详解 文件名称: Generated code in initiaion t13.pdf，格式: PDF 内容:...
    packageimg

  • R语言包单元测试实践评估数据集

    2025年12月15日 30 191 156

    数据集概述 该数据集是为研究论文《Evaluating Unit Testing Practices in R Programming》（ICSE 2021主会论文）配套的支撑材料，包含补充文档和调查问卷两个PDF文件，为评估R语言包的单元测试实践提供了定性研究工具与背景信息。 文件详解 文件名称: Supplementary_Material.pdf...
    packageimg

  • C程序形式化验证高效技术_SV_COMP2022数据集

    2025年12月15日 30 195 101

    数据集概述 本数据集包含工具Theta在SV-COMP 2022的最后一轮预运行基准测试结果，由SV-COMP 2022组织者执行，相关评估见于学士论文，旨在为论文读者提供可访问的基准结果存档。 文件详解 该数据集包含十八个文件，具体说明如下： - 核心基准结果文件（.bz2格式，共十三个）： -...
    packageimg

  • 软件缺陷预测代码度量数据集SoftwareDefectPredictionCodeMetrics-parthdevrani

    2025年4月29日 30 209 97

    软件缺陷预测代码度量数据集SoftwareDefectPredictionCodeMetrics-parthdevrani 数据来源：互联网公开数据 标签：软件工程, 代码度量, 缺陷预测, 机器学习, 数据分析, 质量评估, 软件可靠性, 静态分析 数据概述：...
    packageimg

  • NASA软件缺陷预测研究数据集-radowanulhaque

    2025年4月22日 30 46 34

    NASA软件缺陷预测研究数据集-radowanulhaque 数据来源：互联网公开数据 标签：软件缺陷,软件质量,缺陷预测,软件可靠性,软件开发,数据集,NASA,信息技术,研究 数据概述：...
    packageimg

  • 软件可靠性预测数据集

    2025年4月15日 30 185 150

    软件可靠性预测数据集 数据来源：互联网公开数据 标签：软件可靠性,代码质量,代码复杂度,测试覆盖率,缺陷密度,变更频率,代码老化,修复时间,系统可用性,用户满意度,安全性,资源利用率,标准合规性,实时系统 数据概述：...
    packageimg