Previous Next V-Model Official Homepage by IABG  
Header  
SD 6.1-SW: Coding of SW Modules  

  SE6.1-SW - SW-Module codieren

Contents  
  • Product Flow
  • Handling
  • Roles
  •  
  • Methods
  • Tools Requirements
  • External Norms
  • Product Flow

    From Product to Methods Tool Req. Ext. Norms
    Activity State Chapter Title Activity State
    SD5-SW accepted All SW Design (Module)
    SW Design (Database)
    - -     /ISO IEC 12207/

    Devlp. Proc.:
    SW Coding and Testing

    SD5-SW accepted All Data-Dictionary - -    
    - - All Implementation Document: SW Modules SD6.3-SW being proc.   SSD12
    SSD14
    - - All SW Modules ACC (1)
    PVER (2)
    SSD15
    SSD16
    SSD30
    SSD31

    + "Chapter" are extra columns from the original printed version of GD 250

    Handling

    Within the activity Coding of SW Modules the programming specification (pseudocode, specification language, etc.) must be converted into statements of the implementation language (programming language, query language, script language, etc.). This activity ends only after the code has been compiled and linked correctly.

    The following steps are necessary for this activity:

    Roles

    Role Participation
    SW Developer responsible

    Methods

    Product Methods Allocation Use
    SW Modules ACC - Analysis of Covert Channels (1) Generate
    PVER - Program Verification (2) Generate

    Tools Requirements

    Product Functional Tools Requirements
    SW Modules SSD15 - Compiling
    SSD16 - Linking
    SSD30 - Formal Verification
    SSD31 - Analysis of Covert Channels
    Chapter 2
    Implementation Document: Modules.
    Code
    SSD12 - Generating Components and Modules
    SSD14 - Generating User Interface Formats
    Chapter 4
    Implementation Document: Modules.
    Listings/Protocols
    SSD12 - Generating Components and Modules
    SSD14 - Generating User Interface Formats
    Chapter 3
    Implementation Document: Modules.
    Procedures
    SSD12 - Generating Components and Modules
    SSD14 - Generating User Interface Formats

    External Norms

    Norm Process Chapter Obs.
    /ISO IEC 12207/ Development Process Software Coding and Testing (s. Part 3 - ISO 3.2.1)


    Notes:

    (1) Method ACC must be applied according to [ITSEC].

    (2) Method PVER is to be applied in cases of special requirements to the correctness. A formal specification and a program that shall meet the specification are required for the application of PVER. Because of the great effort, the most critical program portions have to be selected for an application of PVER.

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