SE 6.1-SW: SW-Module codieren



		SE 6.1-SW: SW-Module codieren

SD6.1-SW - Coding of SW Modules

Inhalt
Produktfluß
Abwicklung
Rollen

Methoden
Werkzeuganforderungen
Externe Normen

Inhalt		Produktfluß Abwicklung Rollen		Methoden Werkzeuganforderungen Externe Normen

Produktfluß

von		Produkt		nach		Methoden	Werkzeug Anf.	Ext. Normen
Aktivität	Zustand	Kapitel	Titel	Aktivität	Zustand	Methoden	Werkzeug Anf.	Ext. Normen
SE5-SW	akzeptiert	Alle	SW-Entwurf (Modul) SW-Entwurf (Datenbank)	-	-			/ISO IEC 12207/ Devlp. Proc.: SW Coding and Testing
SE5-SW	akzeptiert	Alle	Datenkatalog	-	-
-	-	Alle	Implementierungsdokumente - SW Modul	SE6.3-SW	in Bearb.		LSE12 LSE14
-	-	Alle	SW-Modul	SE6.3-SW	in Bearb.	AVK ⁽¹⁾ PVER ⁽²⁾	LSE15 LSE16 LSE30 LSE31

+ "Kapitel" sind zusätzliche Spalten zum Originalausdruck AU 250

In der Aktivität SW-Module codieren muß die Programmiervorgabe (Pseudocode, Spezifikationssprache, o. ä.) in Anweisungen der Implementierungssprache (Programmiersprache, Abfragesprache, Scriptsprache usw.) umgesetzt werden. Mit übersetztem und gebundenem Code endet die Aktivität.

Zur Aktivität zählen folgende Arbeitsschritte:

Programmierung (unter Einhaltung der diesbezüglich im Projekthandbuch festgelegten Standards und Richtlinien),

Erstellung von

Compile-Prozeduren,
Binde-Prozeduren,
Lade-Prozeduren,
Installationsprozeduren und
Generierprozeduren,

Durchführung von Compile- und Bindeläufen,

Korrekturen bis zur Fehlerfreiheit des Compilierens und Bindens.

Rollen

Rolle	Beteilungsarten
SW-Entwickler	verantwortlich

Methoden

Produkt	Methodenzuordnung	Benutzung
SW-Modul	AVK - Analyse verdeckter Kanäle ⁽¹⁾	Erstellen
SW-Modul	PVER - Programmverifikation ⁽²⁾	Erstellen

Werkzeuganforderungen

Produkt	Funktionale Werkzeuganforderungen
SW-Modul	LSE15 - Kompilieren LSE16 - Binden LSE30 - Formal verifizieren LSE31 - Analyse verdeckter Kanäle
Kapitel 2 Implementierungsdokumente - SW Modul. Code	LSE12 - Generating Komponente and Modules LSE14 - Generating Anwender Interface Formats
Kapitel 4 Implementierungsdokumente - SW Modul. Listings/Protocols	LSE12 - Generating Komponente and Modules LSE14 - Generating Anwender Interface Formats
Kapitel 3 Implementierungsdokumente - SW Modul. Procedures	LSE12 - Generating Komponente and Modules LSE14 - Generating Anwender Interface Formats

Externe Normen

Norm	Prozeß	Kapitel	Bemerkung
/ISO IEC 12207/	Development Prozeß	Software Coding and Testing	(s. Part 3 - ISO 3.2.1)

Hinweise:

(1) Die Methode AVK ist gemäß [ITSEC] anzuwenden, wenn verdeckte Kanäle in den Sicherheitsvorgaben ausgeschlossen werden und ab der Evaluationsstufe E4 für die Bewertung der Konstruktions- und der operationellen Schwachstellen; als formale Analyse ist AVK ab E6 einzusetzen.

(2) Die Methode PVER ist anzuwenden bei besonderen Anforderungen an die Korrektheit. Voraussetzung für den Einsatz von PVER ist eine formale Spezifikation und ein Programm, das die Spezifikation erfüllen soll. Aufgrund des hohen Aufwands sind die kritischsten Anteile eines Programms auszuwählen, für die PVER einzusetzen ist.

GDPA Online Last Updated 01.Jan.2002 Updated by Webmaster Last Revised 01.Jan.2002 Revised by Webmaster