Tag Archives: Quviq

  • 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


  • 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


  • Test-First Construction of Distributed Systems
    2012-03-26 Erlang Central

    Videos



    With the power provided by Erlang/OTP, developing complex distributed systems is easier than ever. However, verifying the correctness of these complex systems remains a challenge. This talk will present an approach to testing that I have used at Basho which leverage's QuviQ's QuickCheck. I will present how to build a system model in QuickCheck to test an early-stage idea against random orderings of client events and server state transitions. Then, how the model can be converted into the a ...


    Read more


  • Certifying your car with Erlang
    2012-03-26 Erlang Central

    Videos



    Modern cars are full of software, with 50-100 processors and tens of millions of lines of code. Increasingly, this software is based on the AUTOSAR standard, drawn up by a consortium including Toyota, Ford, GM, and most of the world's other major car manufacturers. AUTOSAR defines the "basic software" which should run on each processor, providing a standardised environment enabling AUTOSAR applications to be distributed freely around the processors in the car. Such is the theory. In practice, ...


    Read more


  • A PropEr Creation
    2011-10-31 Erlang Central

    Videos



    After the PropEr Talk at the London Factory in June, a small brouhaha took place on the Erlang-questions mailing list. Did the PropEr team have access to QuviQ QuickCheck code? Did they found one at PirateBay? Does Kostis have a powerful beam disassembler that generates (commented) Erlang source code from .beam files? Or is it simply that the PropEr team has super powers? This talk may possibly provide answers to some of these questions by describing how PropEr was created, or it may just giv ...


    Read more


  • Model Based Testing of Data Constraints: Testing the Business Logic of a Mnesia Database Application with Quviq QuickCheck
    2009-09-05 Erlang Central

    Videos



    Correct implementation of data constraints like referential integrity constraints and business rules is an essential precondition to ensure data consistency. Though most modern commercial DBMSs support data constraints ensurance mechanisms, constraints are often implemented in the business logic of the applications. This is especially true for non relational DBMS like Mnesia which do not provide constraints enforcement mechanisms. This case study examines a database application which uses Mnesia ...


    Read more


  • Testing Wrangler with QuickCheck
    2009-06-22 Erlang Central

    Videos

    Refactoring tools ought to allow program developers to quickly and safely refactor their programs, especially large programs. However, a robust and safe refactoring tool is hard to develop, and most refactoring tools still contain bugs even after extensive testing. While unit testing does help to find bugs to refactoring tools, it is tedious to manually write test programs, and the coverage of the test cases is hard to guarantee because of all the possible programs you can potentially r ...


    Read more