On Fri, Oct 31, 2008 at 2:19 PM, Bob La Quey <[EMAIL PROTECTED]> wrote: > Alternatively is there some automagical (i.e. a program runs) to find > and test edge cases?
I know of two projects from Microsoft Research in this area. One is Pex which analyzes your code to determine boundary conditions which it then uses to try to break your unit tests by passing in parameter values around those conditions. I saw one of the project members run it on a Cobra sample program I had written (it works on any .NET byte code) and watched it find bugs in my code in real time. It was way cool! http://research.microsoft.com/Pex/ Another is Spec# which analyzes contracts and your code at compile time to find various bugs and contract violations. They separated out the backend so you can plug other languages into the engine that does the analysis. Also, very cool stuff. http://research.microsoft.com/SpecSharp/ On the Python side, the Pythoscope project, sponsored by Disney Animation Studios (here in LA), aims to automate unit test generation to the extent that they can. It's a fairly young project, but seems to be off to a good start: https://launchpad.net/pythoscope -Chuck -- http://cobra-language.com/ -- [email protected] http://www.kernel-panic.org/cgi-bin/mailman/listinfo/kplug-lpsg
