[Python-Leipzig] Treffen am Dienstag, 13. Oktober 2015, 19:00 Uhr

Mike Müller mmueller at python-academy.de
Mo Okt 12 12:53:03 UTC 2015


Hallo zusammen,

**Achtung**: Wir treffen uns am 13. Oktober um 19:00 Uhr hier:

| Cityhochhaus
| gateprotect GmbH
| Augustusplatz 9


Bitte vom Pförtner in die 12te Etage schicken lassen.
Dann den Schildern folgen.

Wir haben wieder einen Vortrag:

Simon Jacobi
**Property-Based Testing mit hypothesis**


Der Vortrag stellt hypothesis [1] vor. Diese Python-Bibliothek erzeugt
Unit-Tests, die insbesondere Grenzfälle gut abdecken. Der Ansatz wird
oft Property-Based Testing genannt.

Eine Property ist eine allgemeine Gesetzmäßigkeit, der eine bestimmte
Funktion folgen soll. Beispiele:

* `x + y == y + x` - Kommutativität
* `sorted(sorted(elems)) == sorted(elems)` - Idempotenz
* `f(text, n)` - resultiert für keinen `str` `text` und keinen positiven
  `int` `n in einer Exception

hypothesis generiert anhand einer Spezifikation zufällige Inputs, mit
denen diese Properties überprüft werden.

Bitte bringt Code mit, den wir mit hypothesis überprüfen und mit
dem wir die Grenzen dieser Testmethode ausloten können!


[1]: https://hypothesis.readthedocs.org/en/latest/



Mehr Informationen über die Mailingliste Python-Leipzig