Python-by-contract dataset
Python-by-contract dataset
复制标题
Python 合约数据集
DOI：
10.1145/3540250.3558917
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Gligoric, Milos
中科院分区：
文献类型：
--
作者：
Zhang, Jiyang;Ristin, Marko;Schanely, Phillip;van de Venn, Hans Wernher;Gligoric, Milos
契约设计作为一种编程技术在 Python 社区中变得越来越流行，因为已经开发了各种工具来自动测试基于契约的代码。然而，没有足够大且具有代表性的带有合约的 Python 代码库来评估这些不同的测试工具。我们使用 icontract 库提供了包含 514 个用合约注释的 Python 函数的 Python-by-contract 数据集。我们证明，我们的 Python-by-contract 数据集可以很容易地被利用合约的现有测试工具使用。演示视频可在 https://youtu.be/08wZN-xh6mY 找到。
Design-by-contract as a programming technique is becoming popular in Python community as various tools have been developed for automatically testing the code based on the contracts. However, there is no sufficiently large and representative Python code base with contracts to evaluate these different testing tools. We present Python-by-contract dataset containing 514 Python functions annotated with contracts using icontract library. We show that our Python-by-contract dataset can be easily used by existing testing tools that take advantage of contracts. The demo video can be found at https://youtu.be/08wZN-xh6mY.
登录
查看更多内容
影响因子：
--
作者：
Nie, Pengyu;Parovic, Marinela;Zang, Zhiqiang;Khurshid, Sarfraz;Milicevic, Aleksandar;Gligoric, Milos
通讯作者：
Gligoric, Milos
实践中的合同
DOI：
--
发表时间：
2012
期刊：
World Congress on Formal Methods
影响因子：
--
作者：
H.;Carlo A. Furia;M. Nordio;M. Piccioni;B. Meyer
通讯作者：
B. Meyer
野外合约：Java 程序研究（工件）
DOI：
--
发表时间：
2017
期刊：
Dagstuhl Artifacts Ser.
影响因子：
--
作者：
Jens Dietrich;David J. Pearce;Kamil Jezek;Přemek Brada
通讯作者：
Přemek Brada
JML 的设计如何适应运行时断言检查和形式验证
影响因子：
1.3
作者：
G. Leavens;Yoonsik Cheon;Curtis Clifton;C. Ruby;D. Cok
通讯作者：
D. Cok
DOI：
--
发表时间：
2020
期刊：
Introduction to Programming with C++ for Engineers
影响因子：
--
作者：
Lyubomira Spasova;T. Taneva
通讯作者：
T. Taneva