== Leipzig Python User Group === **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/ Weitere Infos: http://www.python-academy.de/User-Group/index.html Willkommen ist jeder, der Interesse an Python hat, die Sprache bereits nutzt oder nutzen möchte. Für das leibliche Wohl wird gesorgt. Eine Anmeldung unter info@python-academy.de wäre nett, damit wir genug Essen besorgen können. Aktuelle Informationen zu den Treffen sind unter http://www.python-academy.de/User-Group zu finden. Viele Grüße Mike