SD 6.1-SW: Coding of SW Modules



		SD 6.1-SW: Coding of SW Modules

SE6.1-SW - SW-Module codieren

Contents
Product Flow
Handling
Roles

Methods
Tools Requirements
External Norms

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	Methods	Tool Req.	Ext. Norms
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	SD6.3-SW	being proc.	ACC ⁽¹⁾ PVER ⁽²⁾	SSD15 SSD16 SSD30 SSD31

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

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:

programming (by adhering to the corresponding standards and regulations laid down in the Project Manual),

generation of

compile procedures,
link procedures,
loading procedures,
installation procedures, and
generation procedures,

carrying out compile and link runs,

corrections until compiling and linking are free of errors.

Roles

Role	Participation
SW Developer	responsible

Methods

Product	Methods Allocation	Use
SW Modules	ACC - Analysis of Covert Channels ⁽¹⁾	Generate
SW Modules	PVER - Program Verification ⁽²⁾	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.

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