Environmental Engineering Reference
In-Depth Information
to the requirements of norms, rules,
standards and recommendations; in
particular, when using automated
tools to generate code one must check
that the given tools have gone through
verification with the same requirements
as the software itself.
d. Particular features of the verification
of different kinds of software.
4. For an evaluation based on the independence
criterion it should be established that in the
SVP: for software of I&C system of safety
class 2 it is stipulated that verification will
be carried out by a group of specialists (or-
ganization), who are administratively and/
or financially independent of the specialists
(organization) that developed the software;
for software of I&C system of safety class
3 it is stipulated that the verification will
be conducted by specialists who have not
participated directly in development of the
software (administrative and financial in-
dependence is not required), or by software
developers on the condition that the review
and evaluation of the verification results will
be done by independent specialists.
on results of analysis of the discovered defi-
ciencies and measures to eliminate them, and
also to evaluate the degree of detail of the
documentation of all stages of the software
verification process.
2. In the evaluation based on the criterion of ac-
cessibility one should establish that the SVR
is set forth in a form that can be understand-
able for specialists who did not participate
in the software verification process.
3. According to the completeness criterion
one will evaluate the conformity sequence,
strategy and order of conducting verifica-
tion, methods, tests and software verification
tools used that are stipulated in the SVP and
actually used (reflected in the SVR).
4. In the evaluation based on the independence
criterion one should compare the indepen-
dence of the specialist (organization) that
conducted the verification as stipulated in
the SVP and the actual dependence from the
specialist (organization) that developed the
software.
5. Based on the successfulness criterion one
will check correctness of the evaluation
of results of each test and establish that all
deficiencies discovered in the course of the
software verification are recorded, analyzed,
eliminated and results of subsequent evalu-
ations are presented.
Comments and recommendations made dur-
ing the expert examination must be considered
in the final version of the SVP, which is used in
performing the software verification.
Evaluation of the software verification report
(SVR) is conducted based on criteria of document-
ability, accessibility, completeness, independence
and successfulness.
Tools to Support Evaluation
There are the following classification features for
tools: functional purpose of the tool; degree of
process automation; number and nomenclature
of lifecycle stages and processes, supported by
the tool; project components (its components
or stages of development, verification or expert
examination), supported by the tool; degree of
intelligence; possibility of integrating a given tool
with other tools.
1.
In the evaluation based on the criterion of
accountability one should establish the ful-
fillment of requirements for the SVR struc-
ture, which should contain: lists of input and
output signals during software tests; results
of tests and their evaluations; deficiencies
discovered during tests; conclusions based
Search WWH ::
Custom Search