I'm sorry, but one characteristic of a test in this case is No Ambiguity.

On Tue, Oct 13, 2009 at 1:04 PM, Alec Joseph Rivera <[email protected]> wrote:
> Oscar Plameras wrote:
>> I'm talking in the context of checking the Automated Election System, as to,
>>
>>
> Please don't be so literal. The guy was providing you an analogy.
>> 1. Whether every single valid vote was counted as valid and not
>> counted as invalid
>> 2. Whether every single invalid vote was counted as invalid and not
>> counted as valid
>> 3. And that everyone of the valid votes are included in the
>> Tabulations of Election Candidates.
>>
>> I'm not referring to anything else.
>>
>>
> You are referring to a simple ballot counting made in Disneyland which
> may only be a part of a system whereas the rest have been talking about
> a "whole" AES :-) Good morning! Mag-almusal na muna mga 'dre.
>> On Tue, Oct 13, 2009 at 12:39 PM, Gideon N. Guillen
>> <[email protected]> wrote:
>>
>>> On 10/13/2009 09:09:03 Oscar Plameras wrote:
>>>
>>>> The check I propose is by Outcome.
>>>>
>>>> If my check will not catch the absurdity in any coding, that's well and 
>>>> good.
>>>>
>>> So, are you suggesting that it is OK for a web server as long as it serves 
>>> web pages but have buffer overrun vulnerabilities that would allow a 
>>> malicious individual to take over a machine to do illegal activities?
>>> _________________________________________________
>>> Philippine Linux Users' Group (PLUG) Mailing List
>>> http://lists.linux.org.ph/mailman/listinfo/plug
>>> Searchable Archives: http://archives.free.net.ph
>>>
>>>
>> _________________________________________________
>> Philippine Linux Users' Group (PLUG) Mailing List
>> http://lists.linux.org.ph/mailman/listinfo/plug
>> Searchable Archives: http://archives.free.net.ph
>>
>
> _________________________________________________
> Philippine Linux Users' Group (PLUG) Mailing List
> http://lists.linux.org.ph/mailman/listinfo/plug
> Searchable Archives: http://archives.free.net.ph
>
_________________________________________________
Philippine Linux Users' Group (PLUG) Mailing List
http://lists.linux.org.ph/mailman/listinfo/plug
Searchable Archives: http://archives.free.net.ph

Reply via email to