Tag Archives: Thomas Arts

  • 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


  • 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


  • QuickCheck for EUnit
    2012-03-02 Erlang Central

    Videos



    We are all used to writing EUnit test cases, but are they good enough? Are we missing some relevant unit tests in our test suite? With the bluefringe algorithm one can compute a state machine that describes the tests in the suite and additional tests that seems to hold as well. By using QuickCheck as an underlaying motor, one can then generate EUnit tests that improve your test suite. Together QuickCheck and bluefringe form a useful pair for those that want to learn writing QuickCheck stat ...


    Read more


  • Tutorial: Quickcheck for EUnit
    2011-10-31 Erlang Central

    Presentations

    Writing EUnit tests is more common than writing QuickCheck specifications, although QuickCheck specifications potentially explore far more scenarios than manually written unit tests. In particular for implementations that have side-effects, writing a good set of EUnit tests is often difficult and labour intensive. In this tutorial  we explain a mechanism to extract QuickCheck specifications from EUnit test suites. We use the QSM algorithm to infer state machines from sets of positive and neg ...


    Read more


  • Tutorial: QuickCheck Mini
    2011-10-31 Erlang Central

    Presentations

    QuickCheck support property based development. Instead of writing test cases for your applications, you write a one-pager with a QuickCheck property from which hundreds of test cases are generated automatically. QuickCheck simplifies failing cases to a minimal example on a test failure (so that fault diagnosis is quick and easy). QuickCheck enables developers to dramatically improve test coverage, and find obscure errors at an earlier stage, lowering costs and improving quality as a result. I ...


    Read more


  • Testing AUTOSAR components with QuickCheck
    2011-06-06 Erlang Central

    Videos



    The amount of software in a car is growing exponentially. This software has to be produced quickly, differentiate from the competition in functionality, multiplicity of features, and quality. There are several ingredients for enabling this, among them choosing the right technologies, improving the software process, and also being extremely thorough and efficient in testing. The automotive industry have standardized their components in the AUTOSAR standard. Each component has about 500 pages t ...


    Read more


  • Testing automotive software with Erlang
    2010-11-17 Erlang Central

    Videos



    Modern cars are filled with software. The software for cars is normally written in C and the specifications are at least as bulky as those known from the telecommunication industry. Different from Erlang software, it has some hard real-time requirements, where tasks definitely need to meet certain deadlines. Nevertheless, it is beneficial to test this software by using Erlang as a test framework. We report on a project of testing an AUTOSAR component by using a combination of Erlang and Quick ...


    Read more


  • Testing abstract data structures with QuickCheck
    2010-03-22 Erlang Central

    Videos



    In this presentation we present a method for testing library modules that implement data structures. The method is applicable to OTP libraries like sets, dict, queue etc, but also to your own libraries.The method is based on writing a data type specification in Erlang and using QuickCheck to generate test cases. The method guarantees that the data structure is fully tested and that no other tests need to be added. ...


    Read more


  • Automatic Testing of TCP/IP Implementations Using Quickcheck
    2009-09-05 Erlang Central

    Videos



    Developing a network stack is difficult. It is highly concurrent by design, there are many time-related tasks that must be performed, and it must be reasonably efficient to be useful. Testing a network stack is also hard, because it involves using a packet sniffer and looking at long packet dumps. Usually, tests are run using a well known stack as peer, such as the Linux kernel TCP/IP stack. However this approach has some problems. Many errors are difficult to find and to reproduce because they ...


    Read more


  • QuickCheck Tutorial: Using QuickCheck to Test Erlang Programs
    2008-06-23 Erlang Central

    Videos

    QuickCheck is an automated testing tool which addresses these problems by generating test cases from a concise specification (so that many more cases can be tested), and simplifying failing cases to a minimal example on a test failure (so that fault diagnosis is quick and easy). QuickCheck enables developers to dramatically improve test coverage, and find obscure errors at an earlier stage, lowering costs and improving quality as a result. In this tutorial, John Hughes and Thomas Arts will use ...


    Read more