Progetto

Ordinanza della CaF concernente il voto elettronico RU …

stemi;

 una descrizione delle funzioni di sicurezza nella loro qualità di moduli e, per ogni modulo, il rispettivo obiettivo e una descrizione di come esso sia in relazione con gli altri moduli; la descrizione dei moduli rilevanti per la sicurezza comprende anche le interfacce disponibili, i valori restituiti di queste interfacce e le interfacce degli altri moduli utilizzate per interagire con esse;

 una descrizione di tutti i sottosistemi in relazione alle funzioni di sicurezza, comprese le possibili reciproche interazioni;

 una spiegazione dei sottosistemi connessi alle funzioni di sicurezza verso i loro moduli che comprova che tutte le interfacce corrispondono al comportamento descritto nella specifica.

24.1.14 Il software è provvisto di una caratterizzazione univoca.

24.1.15 La documentazione relativa alla gestione della configurazione comprende i seguenti elementi:

 una descrizione del modo in cui gli elementi di configurazione sono identificati;

 un piano di gestione della configurazione che descrive in che modo il sistema di gestione della configurazione è utilizzato nello sviluppo del software e quali sono le procedure applicate per l’accettazione di modifiche o di nuovi elementi;

 la prova che le procedure di accettazione prevedono un’adeguata verifica delle modifiche per tutti gli elementi di configurazione.

24.1.16 Il sistema di gestione della configurazione:

 identifica in modo univoco tutti gli elementi di configurazione;

 appronta misure automatizzate per fare in modo che agli elementi di configurazione vengano apportate soltanto modifiche autorizzate;

 sostiene lo sviluppo del software attraverso procedure automatizzate;

 garantisce che la persona che ha la responsabilità di accettare l’elemento di configurazione non è la stessa che lo ha sviluppato;

 identifica gli elementi di configurazione di cui si compongono le funzioni di sicurezza;

 sostiene con procedure automatizzate la verifica di tutte le modifiche apportate al software, compresi il protocollo dell’autore nonché la data e l’ora della modifica;

 appronta una procedura automatizzata per l’identificazione di tutti gli elementi di configurazione interessati dalla modifica di uno specifico elemento di configurazione;

 è in grado di identificare la versione del codice sorgente sulla base del quale è generato il software.