<?xml  version="1.0" ?><html>
<head>
<title></title>
</head>
<body>
<div align="left"><font face="Arial"><span style="font-size:10pt">Hi,</span></font></div>
<div align="left"><font face="Arial"><span style="font-size:10pt">has anybody from the Software Quality Research Laboratory 
(www.sqrl.ul.ie) ever contributed to this discussion? A statement from 
Prof Parnas, if it could be obtained, would be worth a lot.</span></font></div>
<div align="left"><br/>
</div>
<div align="left"><font face="Arial"><span style="font-size:10pt">Anyway in relation to testing a document that may help non techies is :</span></font></div>
<div align="left"><font face="Arial"><span style="font-size:10pt">http://www.sqrl.ul.ie/Downloads/Lecture6.pdf</span></font></div>
<div align="left"><br/>
</div>
<div align="left"><font face="Arial"><span style="font-size:10pt">especially slide 16 where it is stated :</span></font></div>
<div align="left"><br/></div>
<div align="left"><font face="Times New Roman" size="3"><span style="font-size:12pt">In most cases it is impractical to use testing to demonstrate 
trustworthiness.</span></font></div>
<div align="left"><br/>
</div>
<div align="left"><font face="Times New Roman"><span style="font-size:10pt">Slide 12 is also useful</span></font></div>
<div align="left"><br/>
</div>
<div align="left"><font face="Times New Roman"><span style="font-size:10pt">Finally how is one to interpret the term accuracy in relation to the submission 
to the commision on evoting. To me accuracy encompasses reliability but is 
more than this since it also includes accurate specification of the system. But 
accuracy does not include correctness. </span></font></div>
<div align="left"><br/>
</div>
<div align="left"><font face="Times New Roman"><span style="font-size:10pt">Correctness = 100% accuracy at all times? </span></font></div>
<div align="left"><br/>
</div>
<div align="left"><font face="Times New Roman"><span style="font-size:10pt">Am I right to conclude that the commission accepts that the evoting system 
may not be correct but will still be acceptable? Software engineers know that 
correctness is not achievable via software testing.&#160;&#160; </span></font></div>
<div align="left"><br/>
</div>
<div align="left"><font face="Times New Roman"><span style="font-size:10pt">Chris</span></font></div>
<div align="left"><font face="Courier New"><span style="font-size:10pt">-- </span></font></div>
<div align="left"><font face="Courier New"><span style="font-size:10pt">Christophe Meudec PhD&#160;&#160;&#160;&#160;&#160;&#160; </span></font><font face="Courier New" color="#008000"><span 
style="font-size:10pt">meudecc@itcarlow.ie</span></font><font face="Courier New"><span style="font-size:10pt">&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160; </span></font></div>
<div align="left"><font face="Courier New"><span style="font-size:10pt">CPM Department&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160;&#160; Phone +353 
(0)59 9176266</span></font></div>
<div align="left"><font face="Courier New"><span style="font-size:10pt">Institute of Technology&#160;&#160;&#160;&#160; Fax +353 (0)59 9170517</span></font></div>
<div align="left"><font face="Courier New"><span style="font-size:10pt">Carlow, Ireland</span></font></div>
<div align="left"><font face="Courier New" color="#008000"><span style="font-size:10pt">http://glasnost.itcarlow.ie/~meudecc/</span></font></div>
<div align="left"><br/></div>
<div align="left"></div>
</body>
</html>