Sign up to save your podcasts
Or
Share Multicoretests - Parallel Testing Libraries for OCaml 5.0
Share to email
Share to Facebook
Share to X
Share to email
Share to Facebook
Share to X
Or
Multicoretests - Parallel Testing Libraries for OCaml 5.0
Multicoretests - Parallel Testing Libraries for OCaml 5.0
Jan Midtgaard (Tarides)
Olivier Nicole (Tarides)
Nicolas Osborne (Tarides)
Parallel and concurrent code is notoriously hard to test because of the involved non-determinism, yet it is facing OCaml programmers with the coming OCaml 5.0 multicore release. We present two related testing libraries to improve upon the situation: - Lin – a library to test for linearizability - STM – a state-machine testing library
Both libraries build on QCheck, a black-box, property-based testing library in the style of QuickCheck. The two libraries represent different trade-offs between required user effort and provided guarantees and thereby supplement each other.
View all episodes
By Multicoretests - Parallel Testing Libraries for OCaml 5.0
Jan Midtgaard (Tarides)
Olivier Nicole (Tarides)
Nicolas Osborne (Tarides)
Parallel and concurrent code is notoriously hard to test because of the involved non-determinism, yet it is facing OCaml programmers with the coming OCaml 5.0 multicore release. We present two related testing libraries to improve upon the situation: - Lin – a library to test for linearizability - STM – a state-machine testing library
Both libraries build on QCheck, a black-box, property-based testing library in the style of QuickCheck. The two libraries represent different trade-offs between required user effort and provided guarantees and thereby supplement each other.