Automatic Testing of Python Functions Based on Contracts

Explore automatic testing of Python functions using contracts in this EuroPython 2021 conference talk. Learn how to specify function behavior through input and output properties, reducing the need for extensive unit tests. Discover two tools, crosshair and icontract-hypothesis, for contract-based testing and their practical applications in everyday programming. Examine the Python-by-contract corpus to understand the tools' strengths and limitations. Gain insights into using these techniques in educational settings to enhance debugging skills and improve the learning experience. Suitable for Python developers familiar with lambda functions, Boolean logic, and quantifiers.

Introduction
Good Functions
Naming
Precision
Unit Tests
PropertyBased Tests
Preconditions and assertions
Solution
Advantages
iContract
Hypothesis
IContract Hypothesis
IContract Hypothesis Demo
Future of IContract Hypothesis
Limitations of Crosshair
Related Tools
Python by Contract Corpus
QA