Tag Archives: QuickCheck

  • QuickCheck Mini for Elixir – Thomas Arts
    2015-12-10 Erlang Central

    Videos



    Slides and more info: http://www.erlang-factory.com/berlin2015/thomas-arts In September we released the QuickCheck Mini 2.0, the second free, scaled down, version of QuickCheck. With QuickCheck Mini you can generate tests automatically. By specifying a data generator and a property of the software that should hold, QuickCheck generates test cases that verify whether your property indeed holds. This talk introduces you to QuickCheck Mini and the cool things you can do with it from an Elixir ...


    Read more


  • Kirill Bogdanov – Graphical models for Quickcheck – Erlang User Conference 2015
    2015-08-17 Erlang Central

    Videos



    Slides and more info: http://www.erlang-factory.com/euc2015/kirill-bogdanov Quickcheck is a tool that generates test data to fit a model provided by a tester. Such models describe both the kind of data to generate and the constraints it has to satisfy. Moreover, one would usually take stateful nature of systems under test into account by using a test model, containing both abstract state and operations that determine which API calls can be made to a system under test. When building such test ...


    Read more


  • Can I stop testing now? – Test adequacy metrics beyond ‘cover’ – Ramsay Taylor – Erlang User Conference 2015
    2015-07-14 Erlang Central

    Videos



    Slides and more info: http://www.erlang-factory.com/euc2015/ramsay-taylor There are various frameworks for writing tests (eunit, ct, etc.) and even for automatically generating tests (e.g. QuickCheck) but how do you know when you have done "enough" testing? Test adequacy metrics provide some measure of how extensively your test set tests your system. The line coverage tool 'cover' that is included in OTP is a very simple metric - a test set that doesn't even execute some parts of the code is ...


    Read more


  • Thomas Arts – QuickCheck for Elixir – Generate Tests Automatically
    2015-05-14 Erlang Central

    Videos



    ElixirConf 2015 QuickCheck, our testing tool for automatically generating tests, has a long track record of nailing serious and hard-to-find bugs and boosting quality, in software like dets (part of mnesia), Riak, and the embedded software in cars. QuickCheck is written in Erlang and can be used with Elixir, but... can we instrument Elixir code to find race-conditions with PULSE? Not until recently. Now we have an Elixir native interface to access QuickCheck. In this talk, we present QuickChe ...


    Read more


  • CodeMesh 2014 – John Hughes – QuickCheck Evolution
    2014-11-25 Erlang Central

    Videos



    QuickCheck Evolution http://www.codemesh.io/codemesh2014/john-hughes QuickCheck, our random testing tool, has a long track record of nailing serious and hard-to-find bugs and boosting quality, in software like dets (part of mnesia), Riak, and the embedded software in cars. QuickCheck is usually used manually and interactively: the developer invokes QuickCheck, finds a bug, and fixes it--rinse and repeat. But how should QuickCheck be deployed in the longer term? How should it be used for re ...


    Read more


  • EUC 2014 – Zachary Kessin – Using Logic Programming Tools to Drive Property-based Testing
    2014-08-26 Erlang Central

    Videos



    PBT with tools like QuickCheck and Proper are quite powerful, but building the models to test against is still probably the hardest part. I aim to use a Logic Programming tool (Kanrem or Prolog) to create the model and validate the results. Talk objectives: To show how to use the powerful tools of logic programming and to how to build models to test Erlang code. Target audience: This will appeal to those who really enjoy programming languages and new tools. ...


    Read more


  • EUC 2014 – John Hughes – QuickCheck Evolution
    2014-07-08 Erlang Central

    Videos



    QuickCheck, our random testing tool, has a long track record of nailing serious and hard-to-find bugs and boosting quality, in software like dets (part of mnesia), Riak, and the embedded software in cars. QuickCheck is usually used manually and interactively: the developer invokes QuickCheck, finds a bug, and fixes it--rinse and repeat. But how should QuickCheck be deployed in the longer term? How should it be used for regression testing, continuous integration, etc? Can we derive further power ...


    Read more


  • Tutorial: Testing Web Services with QuickCheck
    2013-06-13 Erlang Central

    Presentations

    Testing web services on the user interface level is a featured that many developers are looking for. It's simply too boring to click your way through an web service in order to get it tested. Test automation by pre-recorded sequences of clicks is neither the ideal way to go.Instead one would like to describe a model of the system and automatically generate test cases for the web service from this model. That's what QuickCheck can do for you. Quviq developed an open sourced Erlang implement ...


    Read more


  • WebDriver: Controlling your Web Browser
    2013-06-13 Erlang Central

    Videos



    Quviq developed an open sourced Erlang implementation of the WebDriver protocol. This implementation allows an Erlang programmer to fully interact with a web browser, such as Google Chrome, Opera and Firefox. Testing web services in different browsers is made possible via test cases written in Erlang. This in its turn allows us to use QuickCheck for testing web services. Many random scenario's are tested and when the website differs from the intended behaviour we automatically find the shorte ...


    Read more


  • Safetyvalve – Load Regulation with Specifications
    2013-06-13 Erlang Central

    Videos



    This talk presents safetyvalve, yet another load regulation framework for Erlang. What makes safetyvalve stand out is an experiment: All code is derived from a QuickCheck specification. That is, the specification is written before the code is extended with functionality. And you are only allowed to extend the code when you know how to write the specification for it. Safetyvalve is also unique in that it contains a CoDel (Controlled Delay) queue management algorithm. This allows for self-tunin ...


    Read more


  • Page 1 of 512345