|SQA04 - Supporting Assessments of Process Models|
LQS04 - Prüfungen der Prozeßmodelle unterstützen
|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.|
|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.|
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.|
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.|
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..
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.
|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.|
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.
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.|