<div dir="ltr"><div class="markdown-here-wrapper" style=""><p style="margin:0px 0px 1.2em!important">Hallo zusammen,</p>
<p style="margin:0px 0px 1.2em!important">vielen Dank an die zahlreichen Anwesenden für die interessante Diskussion gestern!</p>
<p style="margin:0px 0px 1.2em!important">Ihr findet das Notebook aus meinem Vortrag, etwas gesäubert und aufgeräumt, im Anhang. Alternativ könnt ihr es bereits gerendert auf Github betrachten: <a href="https://github.com/sjakobi/property-based-testing-mit-hypothesis/blob/master/Hypothesis.ipynb">klick</a></p>
<p style="margin:0px 0px 1.2em!important">Schöne Grüße,<br>Simon</p>
<div title="MDH:SGFsbG8genVzYW1tZW4sPGRpdj48YnI+PC9kaXY+PGRpdj52aWVsZW4gRGFuayBhbiBkaWUgemFo
bHJlaWNoZW4gQW53ZXNlbmRlbiBmw7xyIGRpZSBpbnRlcmVzc2FudGUgRGlza3Vzc2lvbiBnZXN0
ZXJuITwvZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+SWhyIGZpbmRldCBkYXMgTm90ZWJvb2sgYXVz
IG1laW5lbSBWb3J0cmFnLCBldHdhcyBnZXPDpHViZXJ0IHVuZCBhdWZnZXLDpHVtdCwgaW0gQW5o
YW5nLiBBbHRlcm5hdGl2IGvDtm5udCBpaHIgZXMgYmVyZWl0cyBnZXJlbmRlcnQgYXVmIEdpdGh1
YiBiZXRyYWNodGVuOiBba2xpY2tdKGh0dHBzOi8vZ2l0aHViLmNvbS9zamFrb2JpL3Byb3BlcnR5
LWJhc2VkLXRlc3RpbmctbWl0LWh5cG90aGVzaXMvYmxvYi9tYXN0ZXIvSHlwb3RoZXNpcy5pcHlu
Yik8L2Rpdj48ZGl2Pjxicj48L2Rpdj48ZGl2PlNjaMO2bmUgR3LDvMOfZSw8L2Rpdj48ZGl2PlNp
bW9uPC9kaXY+PGRpdj48YnI+PC9kaXY+" style="height:0;width:0;max-height:0;max-width:0;overflow:hidden;font-size:0em;padding:0;margin:0">​</div></div></div><div class="gmail_extra"><br><div class="gmail_quote">Am 12. Oktober 2015 um 14:53 schrieb Mike Müller <span dir="ltr"><<a href="mailto:mmueller@python-academy.de" target="_blank">mmueller@python-academy.de</a>></span>:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hallo zusammen,<br>
<br>
**Achtung**: Wir treffen uns am 13. Oktober um 19:00 Uhr hier:<br>
<br>
| Cityhochhaus<br>
| gateprotect GmbH<br>
| Augustusplatz 9<br>
<br>
<br>
Bitte vom Pförtner in die 12te Etage schicken lassen.<br>
Dann den Schildern folgen.<br>
<br>
Wir haben wieder einen Vortrag:<br>
<br>
Simon Jacobi<br>
**Property-Based Testing mit hypothesis**<br>
<br>
<br>
Der Vortrag stellt hypothesis [1] vor. Diese Python-Bibliothek erzeugt<br>
Unit-Tests, die insbesondere Grenzfälle gut abdecken. Der Ansatz wird<br>
oft Property-Based Testing genannt.<br>
<br>
Eine Property ist eine allgemeine Gesetzmäßigkeit, der eine bestimmte<br>
Funktion folgen soll. Beispiele:<br>
<br>
* `x + y == y + x` - Kommutativität<br>
* `sorted(sorted(elems)) == sorted(elems)` - Idempotenz<br>
* `f(text, n)` - resultiert für keinen `str` `text` und keinen positiven<br>
  `int` `n in einer Exception<br>
<br>
hypothesis generiert anhand einer Spezifikation zufällige Inputs, mit<br>
denen diese Properties überprüft werden.<br>
<br>
Bitte bringt Code mit, den wir mit hypothesis überprüfen und mit<br>
dem wir die Grenzen dieser Testmethode ausloten können!<br>
<br>
<br>
[1]: <a href="https://hypothesis.readthedocs.org/en/latest/" rel="noreferrer" target="_blank">https://hypothesis.readthedocs.org/en/latest/</a><br>
<br>
_______________________________________________<br>
Python-Leipzig mailing list<br>
<a href="mailto:Python-Leipzig@python.net">Python-Leipzig@python.net</a><br>
<a href="http://starship.python.net/mailman/listinfo/python-leipzig" rel="noreferrer" target="_blank">http://starship.python.net/mailman/listinfo/python-leipzig</a><br>
<br>
Website der Leipzig Python User Group:<br>
<a href="http://www.python-academy.de/User-Group/" rel="noreferrer" target="_blank">http://www.python-academy.de/User-Group/</a><br>
</blockquote></div><br></div>