schedule 10:00 AM - 06:00 PM place Sigma Hall 1 people 1 Attending shopping_cart Sold Out!

Property-based testing is an approach that combines test case generation, automated test execution, and the first steps of diagnosis by automatically simplifying failing tests to minimal examples. When used well it seems almost like magic: you give a simple specification of how your code should behave, and in return a tool tells you your bugs. This workshop will introduce the basics of property-based testing, using Quviq's tool QuickCheck. The workshop will be very hands-on, so you will develop property-based tests for simple systems on your own laptop during the day.

You will learn about properties (the specifications that we test), generators (used to generate test cases), and state machine models (used to specify stateful behaviour). You will be using Erlang to write tests, and testing code in both Erlang and C. Finally we'll dip into race-condition testing, which is something of a "killer app" for this approach.

 
1 favorite thumb_down thumb_up 6 comments visibility_off  Remove from Watchlist visibility  Add to Watchlist
 

Outline/structure of the Session

Full-day hands-on workshop on how to use property-based testing in your organisation.

Learning Outcome

You should be able to write and use simple property-based tests by the end of the day.

Target Audience

Developers and testers interested in introducing test generation into their teams

schedule Submitted 11 months ago

Comments Subscribe to Comments

comment Comment on this Proposal
  • madhavan
    By madhavan  ~  10 months ago
    reply Reply

    John,

      Do you have a github repo for this workshop, that we can clone and do some setup before coming for the workshop?

    • John Hughes
      By John Hughes  ~  10 months ago
      reply Reply
      No, I’ll use a USB stick to distribute QuickCheck and some other materials.
       
      But, DO make sure to have Erlang and a C compiler installed in advance. The WiFi in the hotel is extremely slow, so it’s unlikely we can fix any missing installations on the day.
       
       
  • madhavan
    By madhavan  ~  11 months ago
    reply Reply

    John, may i know what language we will be using to learn property based testing?

    • Naresh Jain
      By Naresh Jain  ~  11 months ago
      reply Reply

      Erlang & C

  • Mayank Jain
    By Mayank Jain  ~  11 months ago
    reply Reply

    Can you please add more detail to outline of the workshop? Exactly what all you'll be covering in the course?

    • Naresh Jain
      By Naresh Jain  ~  11 months ago
      reply Reply

      Done. Please check.