Kata Maxibon for Python.

This is the Python implementation for the Original Karumi's Maxibon Kata.

• We are here to practice property based testing.
• We are going to use pytest and Hypothesis to write our tests.
• We are going to practice pair programming.

During this kata we will try to find how to use property based testing from different points of view:

• Using property based testing and TDD at the same time.
• Using property based testing to cover legacy code.
• Using the already tested code to check if the tests are working fine (manual mutation testing).

If you want to learn just property based testing using an already implemented application go to the branch write-tests. If you prefer to practice TDD in the master branch you will find the kata already resolved. If you prefer to practice mutation testing stay in the master branch.

Getting started

Karumi developers love ice cream. And one of our favorites ice cream is named Maxibon:

Summer is comming and our small team sometime needs Maxibons to work better. But in the Karumi HQs finding a Maxibon is not always easy. We start every week with 10 Maxibons but once there are just 2 Maxibons or less we need to buy more.

Karumi developers can consume zero or a positive number of maxibons. The Karumi team is composed by five engineers and everytime some of these engineers go to the kitchen they grab some maxibons as follows:

• If the developer is Pedro, he grabs three maxibons.
• If the developer is Davide, he does not grab any maxibon.
• If the developer is Alberto, he grabs one maxibon.
• If the developer is Jorge, he grabs two maxibons.
• If the developer is Sergio, he grabs one maxibon.

When a Karumi engineer goes to the kitchen, they can go in group if needed, and there are just 2 maxibons or less left he has to send a message through the Slack API saying "Hi guys, I'm <NAME OF THE DEVELOPER>. We need more maxibons!". And the number of maxibons available will be automatically incremented by 10 :). If the number of maxibons left is lower than the number of maxibons the developer tries to get he will get just the number of maxibons available.

Tasks

Your task as Python Developer is to resolve this problem or test an already implemented software, depending on the path you have choosen before to start.

• If you want to practice TDD write a little piece of software to implement the already described scenario following the TDD cycle.
• If you don not want to follow the TDD path create an empty project, add pytest and Hypothesis as a dependency and start writing code. Consider work within a virtual environment

pip install -U pytest hypothesis

• If you prefer to just learn how to use property based testing you can use this repository just checkout to the branch write-tests. Tests and source code are stored in different directories. ou can execute the tests from a terminal as follows:

export PYTHONPATH=src
pytest tests

If you don't want to manage environment variables, consider using pytest-pythonpath library

Extra tasks:

• Change the initial number of maxibons to be configurable.
• Add the verbose modifier to the properties to review if the generation is working fine.
• Change your production code to check if your tests fail or not.
• Configure the number of generations used per property.

This repository is ready to build the application, pass the checkstyle and your tests in Travis-CI environments.