[concurrency-interest] ConTest and similar concurrency test tools?

Henri Tremblay henri.tremblay at gmail.com
Fri Aug 14 22:24:17 EDT 2015

Possibly JCStress


On 14 August 2015 at 18:19, Joe Bowbeer <joe.bowbeer at gmail.com> wrote:

> In Appendix A of Clean Code (2008, by Robert C. Martin), Brett Schuchert
> recommends the use of IBM's ConTest testing tool for shaking out
> concurrency-related bugs.
> If one were to update this appendix today, are there some newer tools
> worth mentioning that are now used for this purpose?
> https://www.research.ibm.com/haifa/projects/verification/contest/
> "ConTest is an advanced testing solution from IBM, whose main use is to
> expose and eliminate concurrency-related bugs in parallel and distributed
> software. [...] ConTest systematically and transparently schedules the
> execution of program threads such that program scenarios which are likely
> to contain race conditions, deadlocks and other intermittent bugs -
> collectively called synchronization problems - are forced to appear with
> high frequency. In doing so, ConTest dramatically improves the quality of
> testing and reduces development expense, as bugs are found earlier in the
> testing process."
> _______________________________________________
> Concurrency-interest mailing list
> Concurrency-interest at cs.oswego.edu
> http://cs.oswego.edu/mailman/listinfo/concurrency-interest
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://cs.oswego.edu/pipermail/concurrency-interest/attachments/20150814/ac179eac/attachment.html>

More information about the Concurrency-interest mailing list