[TIP] Model checking Python code

[Matt Harrison]

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[0] the original, 33 years old now.  It
explains the theory.  Here's a newer (a much longer) testing strategy
one[1] 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.[2]  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/

--matt