Previous Next V-Model Official Homepage by IABG  
Header  
SE 6.2-SW: Datenbank realisieren  

  SD6.2-SW - Realization of Database

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
    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: Datenbank SE6.3-SW in Bearb.   LSE13
    - - - Datenbank AVK (1)
    PVER (2)     		LSE15
    LSE30
    LSE31

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

    Abwicklung

    Die Schemadefinition der Datenbank(en) und die Beschreibungen der Indizes müssen in die festgelegte Datendefinitionssprache umgesetzt werden. Gegebenenfalls sind Angaben zur Lokation auf Speichermedien zu ergänzen. Erst mit den entsprechenden Generierungsläufen endet die Realisierung von Datenbanken.

    Zur Realisierung von Datenbanken zählen folgende Arbeitsschritte:

    Rollen

    Rolle Beteilungsarten
    SW-Entwickler verantwortlich

    Methoden

    Produkt Methodenzuordnung Benutzung
    Datenbank AVK - Analyse verdeckter Kanäle (1) Erstellen
    PVER - Programmverifikation (2) Erstellen

    Werkzeuganforderungen

    Produkt Funktionale Werkzeuganforderungen
    Datenbank LSE15 - Kompilieren
    LSE30 - Formal verifizieren
    LSE31 - Analyse verdeckter Kanäle
    Kapitel 2
    Implementierungsdokumente: Datenbank.
    Code    		 LSE13 - Datenbanken generieren
    Kapitel 3
    Implementierungsdokumente: Datenbank.
    Procedures    		 LSE13 - Datenbanken generieren
    Kapitel 4
    Implementierungsdokumente: Datenbank.
    Listings/Protocols    		 LSE13 - Datenbanken generieren

    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.

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