Property-Based Testing Experiments

This project contains experiments demonstrating property-based testing concepts, comparing them with other testing approaches, and showcasing both effective and ineffective applications of property-based testing.

How to Run the Tests

Prerequisites

• Python 3.6+
• pytest
• hypothesis

Installation

pip install pytest hypothesis pytest-xdist

Running All Tests

cd python
python -m pytest

Running Specific Test Files

python -m pytest tests/test_string_operations.py
python -m pytest tests/test_math_operations.py
python -m pytest tests/test_bank_account.py

Running Tests with Verbose Output

python -m pytest -v

Running Tests and Showing Hypothesis Examples

python -m pytest -v --hypothesis-show-statistics