[TIP] Model checking Python code
matthewharrison at gmail.com
Sat Sep 5 05:53:42 PDT 2009
On Sat, Sep 5, 2009 at 6:17 AM, Ned Batchelder<ned at nedbatchelder.com> wrote:
> Count me in the (small) subset. I still intend to get this working. Can
> someone come to work and do my real job so I have some time? :)
Sure, if you pay me enough ;)
On a somewhat more serious note, if you had some steps/plans written
down for how you plan to conquer this, perhaps they could be offloaded
onto a willing individual.
> I'm still confused by the term "linear combinations of paths". What would a
> non-linear combination of them be? Why don't people just say, "combinations
> of paths"?
Check out McCabe's papers. At a minimum they are worth it for the
mugshot at the end. Here's the original, 33 years old now. It
explains the theory. Here's a newer (a much longer) testing strategy
one thats only about 13 years old. It gives more examples.
I'm actually re-working that talk now to give at a local open source
conference. Maybe I'll try and get the information out in a
magazine article. Barring that I can put it on my blog.
0 - http://classes.cecs.ucf.edu/eel6883/berrios/notes/Paper%204%20(Complexity%20Measure).pdf
1 - http://www.mccabe.com/iq_research_nist.htm
2 - http://2009.utosc.com/presentation/92/
More information about the testing-in-python