17 Feb 2017
Usual unit testing is based on examples: We define the input for our unit and check for an expected output.
Thus, we can ensure that for a specific sample our code works right.
However, this does not prove the correctness for all possible inputs.
Property based testing, also called property checking, takes another approach by adhering to the scientific theory of Falsifiability:
As long as there is no evidence that a proposed property of our code is false, it is assumed to be true.
In this article we are using Javaslang’s API for property based testing to verify a simple FizzBuzz implementation.
More...
28 Jul 2016
The Combinator Pattern is well-known in functional programming. The idea is to combine primitives into more complex structures. At my last talk at the majug I presented a way of how to employ this pattern with Java 8. In this post we will have a look at this design.
More...
26 Apr 2016
The day is here: First time CraftConf ever. So far, Budapest is a pleasurable stay. I got to know Thomas who studies medicine in Hungary and drove me into the city. Further, the room I booked revealed itself as a complete flat with 2 rooms, kitchen and bathroom. Hamburg, your accomondations has nothing on that! For me, the conference started with the two-days workshop Crafting Code by Sandro Mancuso.
More...
06 Sep 2015
Twitter, Facebook and GitHub have the name reference functionality in common. To mention another user, person and/or organization in your post, tweet, timeline and/or commit just type @ and add the corresponding name. Escpecially, GitHub and Java have an interesting relationship because whenever a comment or commit containing a Java annotation is published an equally-named GitHub user is notified. In this post I exploit this by registering FunctionalInterface and RestController as GitHub users and by providing a little script to check for available Java-GitHub-Names.
More...
14 Aug 2015
Die ersten paar Tage in Singapur waren nicht sehr anstrengend. Den ersten Tag hatte ich frei, da mein Vorgesetzter kurzfristig krank geworden ist. Diesen Tag habe ich genutzt um ein bisschen auszuschlafen und meine direkte Umgebung zu erkunden. In diesem Eintrag zeige ich euch ein paar Fotos. Ich möchte mich jetzt gar nicht herausreden, aber es ist hier schon viel los, sodass ich nicht wirklich zum Schreiben komme.
More...
