Projet

Ordonnance de la ChF sur le vote électronique RO …

25.2.3 Toutes les données référencées et toutes les fonctions utilisées sont

définies dans les spécifications.

25.2.4 Toutes les fonctions définies dans les spécifications sont utilisées.

25.2.5 Toutes les variantes possibles sont définies dans les spécifications pour

chaque élément de décision (par ex. exécution conditionnelle).

25.2.6 Tous les paramètres sont définis dans les spécifications et validés (pas de

passage implicite de paramètres).

25.2.7 Toutes les erreurs graves qui ont été signalées sont corrigées avant le

passage à l’étape suivante du cycle de développement.

25.2.8 Le protocole cryptographique, la spécification, l’architecture et le code

source sont alignés.

25.3 Cohérence

25.3.1 Définition : propriété du logiciel qui fournit des techniques et une notation

uniformes dans la conception et la mise en œuvre.

25.3.2 Les représentations figurant dans la documentation suivent une

convention établie par le développeur du logiciel.

25.3.3 Les fonctions et les variables suivent une convention de nommage établie

par le développeur du logiciel.

25.3.4 Le traitement des entrées et des sorties des fonctions suit une convention

établie par le développeur du logiciel.

25.3.5 Le traitement des erreurs suit une convention établie par le développeur

du logiciel.

25.3.6 Les types de variables utilisés sont cohérents.

25.4 Uniformité de la communication

25.4.1 Définition : propriété du logiciel qui permet l’utilisation de protocoles et

de routines d’interface standardisés.

25.4.2 Les règles régissant la communication avec d’autres systèmes sont

définies.

25.4.3 La communication repose sur des méthodes standardisées.

25.5 Uniformité des données

25.5.1 Définition : propriété du logiciel qui permet d’utiliser une représentation

standardisée des données.

25.5.2 La représentation standardisée des données pour la communication avec

d’autres systèmes est définie de manière formelle.