Race condition testing

[Marc Saegesser]

In his "Testing the Hard Stuff and Staying Sane" (http://www.infoq.com/presentations/testing-techniques-case-study)  talk John Hughes talks about using a feature of QuickCheck to detect race conditions. The idea is to run the tests concurrently on multiple threads and then verify that the results from all the test threads can be linearized into sequence that would be valid if the tests had run on a single thread. Is this kind of feature available in ScalaCheck? What kinds of facilities does ScalaCheck have for detecting race conditions and other concurrency bugs?

[Rickard Nilsson]

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

Hi Marc,

We have this functionality in ScalaCheck too. Take a look at my
presentation at ScalaDays 2014
(http://scalacheck.org/files/scaladays2014/index.html) for an overview.

The documentation in this area is sadly lacking. I should really try
to free up some time in order to improve it. It is likely that this
part of ScalaCheck is quite under-used, so you might run in to bugs
and issues. I'm happy for any feedback you might have.


/ Rickard

> -- You received this message because you are subscribed to the
> Google Groups "scalacheck" group. To unsubscribe from this group
> and stop receiving emails from it, send an email to
> scalacheck+...@googlegroups.com
> <mailto:scalacheck+...@googlegroups.com>. To post to this
> group, send email to scala...@googlegroups.com
> <mailto:scala...@googlegroups.com>. Visit this group at
> https://groups.google.com/group/scalacheck. For more options, visit
> https://groups.google.com/d/optout.
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v2

iEYEARECAAYFAlamDDMACgkQ4rH12v3VwM2MFwCdGx8KqL+1i0IzHGkJLYf9dCPy
iNUAoI03mVqvhjeC3y3CB3PCm4QOZUeT
=j7aG
-----END PGP SIGNATURE-----