I don't really see the point why we have this very long threadof arguments regarding the merits of (A) source code review vs (B) testing. Both are complementary to ensure software integrity.
If anyone knows here any reference to point that A=B, kindly point us to that research. YOU cannot just claim that A can be substituted for B and vice-versa without valid proofs. credentials cannot substitute for proofs. I think all of us cannot be fooled by mere arguments without any statistical or scientific basis. As programmers, we know logic and sound proof. Let us say for the sake of argument A=B. This implies that A-B = B-A = A intersection B. That is a mathematically strong claim!!! I think, Mr Plameras can enlighten us because he is a mathematician and he claims this is true. For those who disagree, it takes only one example to disprove it whereas Mr. Plameras has to prove all cases. One case mentioned here is that it is practically impossible to test for triggers without reading the code. What is trivial for code review is non-trivial for testing. Assuming we consider the machine to be a black box, then we have to test for every possible cases of failure or possible intrusion. Since we do not know anything about how it functions, we have to test for triggers with N characters long... and to test it would be N!... since we don't know how large is N, you will have to test for N = 1!, 2!, 3!, ..., inf(factorial) possible triggers. Now, Mr Plameras, is this even theoretically possible. Note that this is only to test for triggers. Can we still consider A = B? Filipinos (locally and abroad) have been known for their computer skills. I think it is a big slap on our face if we just assume that the machine to count our vote is just a black box. It is ok if you are ignorant about computer codes.... but we have the privilege to be able to look into the technology and help ensure its integrity. No, you cannot sell us your argument. The issue here is not about how long you have been in computing, or whatever credentials you have... the idea that you have more wisdom compared to us by having a long experience in computing cannot be applied in this setting. That is a wrong assumption. you build trust, credibility, and integrity by earning it... by the manner you speak, the manner you respect the ideas of other people, and your convictions to search for *truth*. just my random thoughts, ppp
_________________________________________________ Philippine Linux Users' Group (PLUG) Mailing List http://lists.linux.org.ph/mailman/listinfo/plug Searchable Archives: http://archives.free.net.ph
