Progetto

Ordinanza della CaF concernente il voto elettronico RU …

25.12.2 Nel codice sorgente le classi, le funzioni e i passi di elaborazione com-

plessi vengono commentati secondo una convenzione stabilita dallo sviluppatore software.

25.12.3 Le variabili e le funzioni sono designate con nomi significativi.

25.12.4 Per ogni linea è allestita un’unica istruzione. Sono da evitare le istruzioni

su più linee, così come più istruzioni su una linea sola.

25.13 Strumentazione

25.13.1 Per strumentazione si intende la proprietà del software di permettere di

misurare la sua utilizzazione o di identificare gli errori.

25.13.2 I test unitari¹³ coprono tutti i percorsi possibili e i valori ammessi dei

parametri d’entrata.

25.13.3 I test d’integrazione coprono tutti i moduli.

25.13.4 Gli scenari di test del software coprono tutti i moduli.

25.13.5 Gli errori e le informazioni necessarie sono protocollati nei log.

26. Criteri di verifica dei sistemi e del loro esercizio

26.1 Verifica del protocollo crittografico (art. 10 cpv. 1 lett. a)

26.1.1 Oggetto: si verifica:

 se i requisiti elencati nell’articolo 5 in combinato disposto con gli articoli 6–8 e il numero 2 dell’allegato sono adempiuti; questa valutazione avviene in particolare sulla base di prove crittografiche e simboliche;

 se e fino a che punto il protocollo crittografico si basa su protocolli ed elementi esistenti e comprovati;

 quali approfondimenti e miglioramenti potrebbero contribuire a rafforzare la sicurezza.

26.1.2 Competenze: la verifica viene svolta da esperti in crittografia. La Cancel-

leria federale commissiona la verifica e controlla che sia svolta conformemente al mandato.

26.1.3 Momento della verifica:

 una verifica completa avviene precedentemente alla prima messa in esercizio;

 la verifica viene di nuovo eseguita dopo 2-3 anni;

 la verifica avviene di nuovo in occasione di ogni modifica del pro-