Faudra qu'ils m'expliquent comment on verifie qu'une machine fonctionne normalement ? Auraient ils decouvert une solution au probleme de validite d'un programme qui est pourtant insolvable d'apres mes souvenirs de Theorie des langages...
Le materiel qu'il utilise est infaible ? Une fois que le test a ete realisé, la machine est garantie de marcher jusqu'a la fin du vote ?
Evidemment, ils ne te donneront pas une garantie sur facture que la machine fonctionne a 100%
de toutes facons, si tu vas par la, une garantie a 100% est impossible a avoir, meme avec une urne normale (qui te dit que le bulletin ne va pas se bloquer dans le clapet et se dechirer? Que le fond ne va pas ceder sous le poids? Evidemment, ca arrive jamais, mais c'est pas prouve).
Bref, la machine peut faire un self test et dire : je ne detecte rien d'anormal.
Sachant que les machines ont ete suffisament testees, on peut en deduire que si rien n'est anormal, alors tout est normal et fonctionne correctement.
Dans le meme ordre d'idee, quand tu montes dans un avion, ce genre de test logiciel est effectue et tu ne te demandes pas si Airbus a trouve une solution au probleme de validite, et leurs outils de diagnostique ne se trompent pas.
Et pourtant ta vie est en jeu, ce qui est autrement plus important et frequent que ton bulletin de vote, tu l'admettras.
Remplace avion par tgv, metro, ou meme ouatoure recente si ca t'amuses.
Tout ca pour dire qu'on peut tres bien affirmer sans se tromper qu'une machine fonctionne correctement avec des tests logiciels.
# re
Posté par serge_kara . En réponse au journal Machines a voter. Évalué à 2.
Le materiel qu'il utilise est infaible ? Une fois que le test a ete realisé, la machine est garantie de marcher jusqu'a la fin du vote ?
Evidemment, ils ne te donneront pas une garantie sur facture que la machine fonctionne a 100%
de toutes facons, si tu vas par la, une garantie a 100% est impossible a avoir, meme avec une urne normale (qui te dit que le bulletin ne va pas se bloquer dans le clapet et se dechirer? Que le fond ne va pas ceder sous le poids? Evidemment, ca arrive jamais, mais c'est pas prouve).
Bref, la machine peut faire un self test et dire : je ne detecte rien d'anormal.
Sachant que les machines ont ete suffisament testees, on peut en deduire que si rien n'est anormal, alors tout est normal et fonctionne correctement.
Dans le meme ordre d'idee, quand tu montes dans un avion, ce genre de test logiciel est effectue et tu ne te demandes pas si Airbus a trouve une solution au probleme de validite, et leurs outils de diagnostique ne se trompent pas.
Et pourtant ta vie est en jeu, ce qui est autrement plus important et frequent que ton bulletin de vote, tu l'admettras.
Remplace avion par tgv, metro, ou meme ouatoure recente si ca t'amuses.
Tout ca pour dire qu'on peut tres bien affirmer sans se tromper qu'une machine fonctionne correctement avec des tests logiciels.