Property-Based Testing with e.g. Hypothesis

[MarcoHuebner]

Issue:
Currently, our testing suite primarily relies on example-based testing, and while this is effective, incorporating property-based testing can further enhance the robustness of our test coverage. Property-based testing, with tools like Hypothesis, allows us to explore a broader range of input scenarios and automatically generate test cases based on specified properties.

Especially reduction of table format #19 and checking the available table numbers #29 could profit from edge case detection via Hypothesis - given the input data structures are easily reproducable within hypothesis.strategies.

Note: Hypothesis is just a suggestion, which I got to know last week.

Proposed Solution:

• Determine the properties that should hold true for the identified test scenarios.
• Document these properties to serve as the basis for property-based testing.

Implementation Steps:

• Install and set up Hypothesis within the testing environment.
• Identify specific functions or modules suitable for property-based testing.
• Define properties for the identified test scenarios.
• Implement property-based tests using Hypothesis.

Related Issues:
#19 , #29