Re: Fwd: L&A Test Question

From: Kathy Dopp <kathy_dot_dopp_at_gmail_dot_com>
Date: Tue Jul 25 2006 - 12:07:30 CDT

At the risk of making a suggestion that I have absolutely no time to
implement myself,

from seeing firsthand the HUGE emphasis that the US EAC is now putting
on touting its efforts to improve the process of ITA testing of voting
systems (they did almost nothing but talk about it at the two
presentations of the EAC commissioners at the recent NASS/NASED
conference),

I think that it would be hugely beneficial if a group of computer
scientists would write a paper explaining why no amount of ITA or L&A
testing would ensure vote count integrity.

p.s. Also, I seem to have misplaced the email where some OVC person
told me about the current EAC TGDC (technical guidelines development
cmte) if that person could please resend it to me. Thanks.

On 7/24/06, Arthur Keller <voting@kellers.org> wrote:
> "Program testing can be used to show the presence of bugs, but never
> to show their absence."
>
> -- E.W. Dijkstra, 1970
>
> from: EWD249, page 7 (see
> http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD249.PDF )
>
> published in: DIJKSTRA, E. W. 1972. Notes on structured programming,
> in Structured Programming, by O.J. Dahl, E. W. Dijkstra, and C. A.
> R.Hoare, Academic Press
>
> I believe most would consider E.W. Dijkstra (1930-2002) to have been
> a reputable computer expert.
>
> Best regards,
> Arthur
>
> At 4:12 PM -0600 7/22/06, Kathy Dopp wrote:
> >Can anyone help Mark on the shortcomings of L&A testing?
> >
> >---------- Forwarded message ----------
> >From: Mark Halvorson <mshalvorson@mn.rr.com>
> >Date: Jul 22, 2006 10:03 AM
> >Subject: L&A Test Question
> >To: Kathy Dopp <kathy.dopp@gmail.com>
> >
> >
> >Hi Kathy,
> >
> >Hope you're having a good summer. We are gearing up to observe our
> >first statewide election audit.
> >
> >I'm trying to find a statement by a reputable computer expert,
> >organization or a study commenting on the effectiveness of an L&A test
> >in catching ballot programming errors and assuring the machines operate
> >properly. I have searched the usual places and all I've found is an
> >assessment for DRE's and a paper by John Washburn on doing a thorough
> >L&A test.
> >
> >Any ideas you have would be appreciated.
> >Take care,
> >
> >Mark Halvorson
> >Citizens for Election Integrity Minnesota
> >612-724-1736
>
_______________________________________________
OVC-discuss mailing list
OVC-discuss@listman.sonic.net
http://lists.sonic.net/mailman/listinfo/ovc-discuss
==================================================================
= The content of this message, with the exception of any external
= quotations under fair use, are released to the Public Domain
==================================================================
Received on Mon Jul 31 23:17:08 2006

This archive was generated by hypermail 2.1.8 : Mon Jul 31 2006 - 23:17:09 CDT