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.