SV-COMP 2023 复现报告
计算机科学中的逻辑
2023-03-22 v2 软件工程
摘要
软件验证竞赛（SV-COMP）是一项大型计算实验，在许多不同的软件验证工具上针对大量 C 和 Java 基准进行测试。此类实验研究应当可由独立于原实验团队的研究人员复现。在本复现报告中，我们呈现了近期复现 SV-COMP 2023 的尝试：我们选取了竞赛中有意义的一个子集，并在竞赛组织者的基础设施上，使用竞赛归档制品中提供的脚本和工具重新运行了该子集。我们观察到工具得分的微小差异，似乎可由微小运行时波动与竞赛计分规则的交互解释，并成功复现了所选子集内的总体排名。总体而言，我们认为 SV-COMP 2023 是可复现的。
引用
@article{arxiv.2303.06477,
title = {Reproduction Report for SV-COMP 2023},
author = {Marcus Gerhold and Arnd Hartmanns},
journal= {arXiv preprint arXiv:2303.06477},
year = {2023}
}
备注
Presented at the RRRR 2023 workshop on April 22, 2023; see https://qcomp.org/rrrr/2023/. This work was part of the MISSION (Models in Space Systems: Integration, Operation, and Networking) project, funded by the European Union's Horizon 2020 research and innovation programme under Marie Sk{\l}odowska-Curie Actions grant number 101008233