A Simple State-Machine Framework for Property-Based Testing in OCaml
Since their inception state-machine frameworks have proven their worth by finding defects in everything from the underlying AUTOSAR components of Volvo cars to digital invoicing sys- tems. These case studies were carried out with Erlang’s commercial QuickCheck state-machine framework from Quviq, but such frameworks are now also available for Haskell, F#, Scala, Elixir, Java, etc. We present a typed state-machine framework for OCaml based on the QCheck library and illustrate a number concepts common to all such frameworks: state modeling, commands, interpreting commands, preconditions, and agreement checking.
This program is tentative and subject to change.
Fri 28 Aug Times are displayed in time zone: (GMT-04:00) Eastern Time (US & Canada) change
|09:00 - 09:30|
Jan MidtgaardUniversity of Southern Denmark
|09:30 - 10:00|
Tom RidgeUniversity of Leicester, UK
|10:00 - 10:30|
|10:30 - 11:00|