Vorlage

Verordnung der BK über die elektronische Stimmabgabe AS …

 beschreibt alle direkten Fehlermeldungen, die durch den Aufruf der einzelnen Schnittstellen entstehen können.

24.1.9 Die Nachvollziehbarkeit zwischen funktionalen Spezifikationen und Sicher-

heitsanforderungen wird bis auf die Ebene der Schnittstellen sichergestellt.

24.1.10 Alle Sicherheitsfunktionen sind im Quellcode implementiert.

24.1.11 Die Nachvollziehbarkeit zwischen dem gesamten Quellcode und den Spezi-

fikationen der Sicherheitsfunktionen ist sichergestellt und deren Übereinstimmung ist erwiesen.

24.1.12 Die Sicherheitsfunktionen werden so konzipiert und implementiert, dass sie

gut strukturiert sind. Die interne Struktur wird beschrieben und enthält eine Begründung, die:

 die Merkmale angibt, die zur Beurteilung von «gut strukturiert» und von «Komplexität» verwendet werden;

 aufzeigt, dass alle Sicherheitsfunktionen gut strukturiert und nicht zu komplex sind.

24.1.13 Die Spezifikationen umfassen folgende Aspekte:

 eine Beschreibung der Struktur der Software in Form von Teilsystemen;

 eine Beschreibung der Sicherheitsfunktionen als Module sowie für jedes Modul die Zielsetzung und eine Beschreibung, wie das Modul zu den anderen Modulen in Beziehung steht; die Beschreibung der sicherheitsrelevanten Module umfasst auch die verfügbaren Schnittstellen, die Rückgabewerte dieser Schnittstellen und die Schnittstellen der anderen Module, die sie zur Interaktion mit ihnen verwenden;

 eine Beschreibung aller Teilsysteme, die mit den Sicherheitsfunktionen zusammenhängen einschliesslich der möglichen Wechselwirkungen untereinander;

 eine Abbildung der mit Sicherheitsfunktionen verbundenen Teilsysteme auf ihre Module für den Nachweis, dass alle Schnittstellen dem in der Spezifikation beschriebenen Verhalten entsprechen.

24.1.14 Die Software wird mit einer eindeutigen Kennzeichnung versehen.

24.1.15 Die Dokumentation des Konfigurationsmanagements enthält:

 eine Beschreibung, wie Konfigurationselemente identifiziert werden;

 einen Konfigurationsmanagementplan, der beschreibt, wie das Konfigurationsmanagementsystem bei der Entwicklung der Software eingesetzt wird und welche Verfahren für die Übernahme von Änderungen oder neuen Elementen angewendet werden;

 einen Nachweis, dass die Verfahren für die Übernahme eine angemessene Prüfung der Änderungen für alle Konfigurationselemente vorsehen.