lshift/diffa — Issue #18: Testing non-determinism in Diffa 
Author: samira-t
Created: 2012-01-05 21:09:36+00:00
State: open

Hello,
I have created a testing framework for Akka actors called [Setak] (http://mir.cs.illinois.edu/setak/) that makes it a lot easier to test actor codes with tricky concurrency issues. It lets you to write test cases with a variety of different schedules so that you can check non-deterministic situations in the program.

I'm looking for projects that need the kind of tests that Setak lets you write. Even if your program is highly parallel, most of it is probably deterministic and the answer you get will not depend on the schedule. Setak is best for non-deterministic programs, or for the parts of your program that are non-deterministic. If you have parts of your program that involve tricky concurrency issues and you'd like help with testing them, I'm interested in helping. I'll not only help you learn Setak, I'll even write test cases. Of course, you'll have to explain your system to me and show me the parts that involve concurrency. But I am an expert on concurrency and on ensuring that non-deterministic concurrent programs are correct.

Regards,
Samira