| Publikationstyp: | Konferenz: Paper |
| Art der Begutachtung: | Peer review (Abstract) |
| Titel: | Python-by-contract dataset |
| Autor/-in: | Zhang, Jiyang Ristin, Marko Schanely, Phillip van de Venn, Hans Wernher Gligoric, Milos |
| et. al: | No |
| DOI: | 10.1145/3540250.3558917 |
| Tagungsband: | Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering |
| Seite(n): | 1652 |
| Seiten bis: | 1656 |
| Angaben zur Konferenz: | 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE), Singapore, 14-18 November 2022 |
| Erscheinungsdatum: | 2022 |
| Verlag / Hrsg. Institution: | Association for Computing Machinery |
| ISBN: | 978-1-4503-9413-0 |
| Sprache: | Englisch |
| Schlagwörter: | Design by contract; Automatic testing tool; Dataset |
| Fachgebiet (DDC): | 005: Computerprogrammierung, Programme und Daten |
| Zusammenfassung: | 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. |
| URI: | https://digitalcollection.zhaw.ch/handle/11475/27079 |
| Zugehörige Forschungsdaten: | https://github.com/mristin/python-by-contract-corpus |
| Volltext Version: | Publizierte Version |
| Lizenz (gemäss Verlagsvertrag): | Lizenz gemäss Verlagsvertrag |
| Departement: | School of Engineering |
| Organisationseinheit: | Institut für Mechatronische Systeme (IMS) |
| Enthalten in den Sammlungen: | Publikationen School of Engineering |
Dateien zu dieser Ressource:
Es gibt keine Dateien zu dieser Ressource.
Zur Langanzeige
Zhang, J., Ristin, M., Schanely, P., van de Venn, H. W., & Gligoric, M. (2022). Python-by-contract dataset [Conference paper]. Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 1652–1656. https://doi.org/10.1145/3540250.3558917
Zhang, J. et al. (2022) ‘Python-by-contract dataset’, in Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Association for Computing Machinery, pp. 1652–1656. Available at: https://doi.org/10.1145/3540250.3558917.
J. Zhang, M. Ristin, P. Schanely, H. W. van de Venn, and M. Gligoric, “Python-by-contract dataset,” in Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022, pp. 1652–1656. doi: 10.1145/3540250.3558917.
ZHANG, Jiyang, Marko RISTIN, Phillip SCHANELY, Hans Wernher VAN DE VENN und Milos GLIGORIC, 2022. Python-by-contract dataset. In: Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. Conference paper. Association for Computing Machinery. 2022. S. 1652–1656. ISBN 978-1-4503-9413-0
Zhang, Jiyang, Marko Ristin, Phillip Schanely, Hans Wernher van de Venn, and Milos Gligoric. 2022. “Python-by-Contract Dataset.” Conference paper. In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 1652–56. Association for Computing Machinery. https://doi.org/10.1145/3540250.3558917.
Zhang, Jiyang, et al. “Python-by-Contract Dataset.” Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Association for Computing Machinery, 2022, pp. 1652–56, https://doi.org/10.1145/3540250.3558917.
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt, soweit nicht anderweitig angezeigt.