VerificationType
Summary
Enumeration of verification types.
Description
Verification types defines the following list of methods usually used to confirm that a requirement is met.
Metadata
https://spdx.org/rdf/3.1/terms/FunctionalSafety/VerificationType
| Name | VerificationType |
Entries
- analysis: Analytical evaluating of data, designs, or processes methodically to verify correctness against standards or expectations. Typical analysis methods are FMEA, FTA, STPA, static analysis for MISRA compliance etc.
- assessment: A systematic examination of a system, process, or outcome to evaluate compliance of specific work products with a specific expectation with a specification, regulation or standard. Often involves judgement and a rationale of this judgement.
- audit: An examination typically focusing on compliance with policies, standards, or regulations. Usually this is done during an audit meeting, while the assessment also involves deep and detailed reviews of work products (e.g. requirements, verification specifications, reports etc.)
- demonstration: Demonstrating and monitoring or recording that the item under verification to confirm that a requirement is met by the item under verification.
- inspection: A thorough examination or checking of documentation, records, processes, or systems to confirm compliance or adherence. An inspection needs to have a defined set of acceptance criteria (e.g. a checklist), a documentation of roles involved in the inspection (e.g. to document the inspector's independence) and a clear documentation of when and how it was performed.
- other: Any other specialized or custom verification method that fits the context.
- review: A examination or checking of documentation, records, processes, or systems to confirm compliance or adherence with an upper level requirement. Typically done as peer review, offline review or review meeting.
- test: Conducting controlled tests, experiments or simulations to verify that specific requirements regarding performance, functionality, robustness, etc. are met.