Previous Next Functional Tool Requirements Homepage  
Quality Assurance Submodel  
SQA04 - Supporting Assessments of Process Models  

  LQS04 - Prüfungen der Prozeßmodelle unterstützen

Contents  
  • 1 Allocation to V-Model and Methods Allocation
  • 2 Brief Characteristics
  • 3 Requirements
  •       3.1 Requirements for Interfaces
  •       3.2 Requirements for the Methods Support
  •       3.3 Requirements for Functions
  •       3.4 Other Requirements
  • 1 Allocation to V-Model and Methods Allocation

    V-Model

    QA4.1 - Determination of Assessability

  • Objects to be assessed
    SW Architecture.Modularization/Database Design
  • QA4.2 - Assessment of the Content of the Product

  • Objects to be assessed
    SW Architecture.Modularization/Database Design
  • Method

    STAT - Static Analysis

    2 Brief Characteristics

    This service unit defines the requirements for tools used to statically assess the process model generated with the help of service unit SSD04 "Supporting Process Modeling". Within the scope of this assessment, the process model is assessed with regard to

    3 Requirements

    3.1 Requirements for Interfaces

    SQA04.I.1 Granularity The exchange of control parameters with SWFM01 - Workflow Management is possible for individual closed function packages of the tool by means of a disclosed, documented interface.

    3.2 Requirements for the Methods Support

    SQA04.M.1 STAT - Static Analysis
    SQA04.M.1.1 Assessment of the formal and syntactic correctness
    SQA04.M.1.1.1 Configuration rules The compliance with the configuration rules is assessed.
    SQA04.M.1.1.2 Completeness The completeness of the information for the individual objects is assessed.
    SQA04.M.1.2 Consistency Assessment The consistence between PIM - Process Interaction Modeling and STM - State Transition Modeling is assessed.
    Among other things it is assessed if each process of process interaction modeling PIM has been individually specified by means of the state transition modeling STM and if incoming signal arrows of a process in PIM occur as input in STM and outgoing signal arrows of a process in PIM as output in STM.
    SQA04.M.1.3 Assessment of conventions
    SQA04.M.1.3.1 Project standards It is possible to define the conventions to be assessed with regard to individual projects.
    SQA04.M.1.3.2 Naming conventions It is possible to assess naming conventions.
    SQA04.M.1.3.3 Limitations It is possible to assess size and complexity limitations.
    SQA04.M.1.3.4 Layout conventions It is possible to assess layout conventions.
    SQA04.M.1.3.5 Means of representation It is possible to assess commitments to certain representation types.
    SQA04.M.1.4 Interface consistency in connection with hierarchical structure The interfaces from one level to the next are automatically assessed with regard to consistency.
    SQA04.M.1.5 Interface consistency in connection with submodel generation The interfaces from one submodel to the next are automatically assessed with regard to consistency.
    SQA04.M.1.6 Completeness of the description It is possible to generate a list of all objects for which no descriptions exist.
    SQA04.M.1.7 Adaptation Individually adapted forms of representation for the object to be assessed are taken into consideration during the assessment.

    3.3 Requirements for Functions

    SQA04.F.1 Procedural language By means of a procedural language it is possible to check other individual assessment criteria.
    A procedural language offers an automatic assessment of further individual assessment criteria.
    SQA04.F.2 Delimitation of to the assessment It is possible to delimit size and extent of the assessment to selectable characteristics.
    SQA04.F.3 Procedure language With the help of a procedure language it is possible to consider further individual assessment criteria.
    A procedure language enables the automatic check of other individual assessment criteria..
    SQA04.F.4 Logging It is possible to get the results of the assessment logged.
    In this case, "logging" refers to a protocol of all data that might be utilized for later documentation of the assessment (e. g. test cases, expected results, actual results, messages) and not, however, to an editing of the documentation in the sense of actual assessment protocols.

    3.4 Other Requirements

    SQA04.O.1 Procedural command language The tool has a procedural command language that can be applied by the user to generate and run macros or procedures.
    SQA04.O.2 Complexity There is no limitation of the complexity caused by the tool itself.
    SQA04.O.3 Background Assessments run in the background mode unless an assessment in the foreground mode has been explicitly requested.
    Since an assessment may take some time it is not necessary to wait for the end of the processing when in the background mode, i. e. other tasks can be realized in the meantime.
    SQA04.O.4 End signal The end of an assessment is signaled.
    This signal may be acoustic (e. g. by means of a beep) or optic (e. g. by means of a special window with a corresponding message).
    SQA04.O.5 Invariance Applying the tool does not change the object to be assessed.

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