{"componentChunkName":"component---src-templates-talk-js","path":"/talks/property-based-testing/","result":{"data":{"markdownRemark":{"id":"5b26bbfb-fb38-5b79-a13b-b8cb2a4c1f75","htmlAst":{"type":"root","children":[{"type":"element","tagName":"p","properties":{},"children":[{"type":"text","value":"Testgetriebene Entwicklung in Java und anderen objektorientierten Sprachen setzt bislang meist auf beispielbasierte Testfälle, wie man sie leicht mit JUnit und ählichen Testframeworks erstellen kann.\nSchaut man jedoch über den Tellerrand und auf funktionale Programmiersprachen wie z.B. Haskell oder F#, findet man dort etwas anderes: Property-Tests."}]},{"type":"text","value":"\n"},{"type":"element","tagName":"p","properties":{},"children":[{"type":"text","value":"Property-Tests basieren auf der Idee, die erwünschten Eigenschaften unseres Programms zu beschreiben und anschließend das Framework selbstständig Testfälle generieren zu lassen, die diese Eigenschaften bestätigen oder falsifizieren."}]},{"type":"text","value":"\n"},{"type":"element","tagName":"p","properties":{},"children":[{"type":"text","value":"In diesem Vortrag werde ich sowohl auf die Theorie hinter "},{"type":"element","tagName":"strong","properties":{},"children":[{"type":"text","value":"Property-based Testing"}]},{"type":"text","value":" eingehen als auch konkret zeigen, wie man mit jqwik unter Java und anderen JVM-Sprachen solche Tests umsetzen kann.\n"},{"type":"element","tagName":"strong","properties":{},"children":[{"type":"text","value":"Quick and Dirty"}]},{"type":"text","value":" ist dabei wenig, stattdessen spielen Muster zum Finden interessanter Properties eine wichtige Rolle."}]}],"data":{"quirksMode":false}},"fields":{"path":"/talks/property-based-testing/"},"frontmatter":{"title":"Property-based Testing","excerpt":"Einstieg in Theorie und Praxis zu Property-based Tests, bei denen man die Eigenschaften eines Systems beschreibt und das Framework Tests generieren lässt.","card":"prop-testing.jpg","language":"Deutsch","slides":{"pdf":"accento-2019-johannes-link-property-based-testing.pdf","url":null},"video":"https://www.youtube.com/watch?v=O5gO0dNfsGs","speakers":[{"id":"610a4c57-736b-5090-8c3a-28166d204726","fields":{"path":"/speakers/johannes-link/"},"frontmatter":{"name":"Johannes Link","slug":"johannes-link","bio":"Softwaretherapeut, Unterstützer und Extreme Programmer mit Schwerpunkt testgetriebener Entwicklung","social":{"site":"https://johanneslink.net/","twitter":"johanneslink"}}}]}}},"pageContext":{"slug":"property-based-testing"}}}