Contracts in the Wild: A Study of Java Programs (Artifact)

Contracts in the Wild: A Study of Java Programs (Artifact)
复制标题

野外合约：Java 程序研究（工件）

DOI：
--
复制
发表时间：
2017
期刊：
Dagstuhl Artifacts Ser.
影响因子：
--
通讯作者：
Přemek Brada
Přemek Brada
中科院分区：
--
文献类型：
--
作者：
Jens Dietrich;David J. Pearce;Kamil Jezek;Přemek Brada

文献摘要

被引文献

相似文献

该构件包含从Maven中央存储库获得的开放源码程序的数据集，以及首先从这些程序中提取契约，然后对提取的契约执行多个分析的脚本。提取和分析是完全自动化的，并直接生成所附文件中列出的表格。 结果显示了合同是如何在真实程序中使用的，以及它们的使用在不同版本之间和继承层次结构中是如何变化的。
This artefact contains a dataset of open-source programs obtained from the Maven Central Repository and scripts that first extract contracts from these programs and then perform several analyses on the contracts extracted. The extraction and analysis is fully automated and directly produces the tables presented in the accompanying paper. The results show how contracts are used in real-world program, and how their usage changes between versions and within inheritance hierarchies.