Progetto

Ordinanza della CaF concernente il voto elettronico RU …

25.2 Completezza

25.2.1 Per completezza si intende l’attuazione completa delle funzioni richieste. 25.2.2 Il software non contiene indicazioni ambigue (input, funzione, output). A

ciascun elemento si fa riferimento sempre con lo stesso nome.

25.2.3 Tutti i dati referenziati e tutte le funzioni utilizzate sono definiti nelle

specifiche.

25.2.4 Sono utilizzate tutte le funzioni definite nelle specifiche.

25.2.5 Per ogni punto oggetto di decisione (p. es. esecuzione condizionata), le

possibili alternative sono definite nelle specifiche.

25.2.6 Tutti i parametri sono definiti nelle specifiche e convalidati (nessuna

attribuzione implicita di parametri).

25.2.7 Tutti gli errori gravi che vengono segnalati sono eliminati prima di passa-

re alla tappa successiva del ciclo di sviluppo.

25.2.8 Il protocollo crittografico, la specifica, il design e il codice sorgente sono

armonizzati fra loro.

25.3 Coerenza

25.3.1 Per coerenza si intende la proprietà del software di utilizzare procedure e

notazioni uniformi nella concezione e nell’implementazione.

25.3.2 Le rappresentazioni nella documentazione seguono una convenzione

stabilita dallo sviluppatore del software.

25.3.3 Le funzioni e le variabili seguono una convenzione d’attribuzione dei

nomi stabilita dallo sviluppatore del software.

25.3.4 Input e output di funzioni sono trattati in base a una convenzione stabilita

dallo sviluppatore del software.

25.3.5 Gli errori sono trattati in base a una convenzione stabilita dallo sviluppa-

tore del software.

25.3.6 I tipi di variabili utilizzati sono coerenti.

25.4 Uniformità della comunicazione

25.4.1 Per uniformità della comunicazione si intende l’utilizzazione di protocolli

standardizzati e routine d’interfaccia.

25.4.2 Sono definite regole per la comunicazione con altri sistemi.

25.4.3 La comunicazione si basa su metodi di comunicazione standardizzati.

25.5 Uniformità dei dati

25.5.1 Per uniformità dei dati si intende la proprietà del software di utilizzare una

rappresentazione standardizzata dei dati.