RequirementVerification
Summary
RequirementVerification class defines the base properties of a verification.
Description
RequirementVerification class describes the method of verification. With this class it is possible to identify verification items, such as testcases, checklists or analysis frameworks, etc. It allows to add information for the verification preconditions (what needs to be present before even starting a verification task, run the test case etc.) and what are the postconditions (what has to have happened, what is the state of the item under verification, to be confident the verification task is completed).
Verification typically checks if a requirement has been implemented or refined by more details correctly by a subsequent work product (like a technical specification needs to be verified if it correctly refines a functional specification, or that code correctly implements the state machine defined in a software component design requirement).
A rationale is supporting information that adds more context on how
verification needs to be performed, justifies the chosen verification method,
etc.
Metadata
https://spdx.org/rdf/3.1/terms/FunctionalSafety/RequirementVerification
| Name | RequirementVerification |
| Instantiability | Concrete |
| SubclassOf | /Core/Element |
Class hierarchy
/Core/Element
/FunctionalSafety/RequirementVerification
Properties
| Property | Type | minCount | maxCount |
|---|---|---|---|
| /Core/rationale | xsd:string | 0 | 1 |
| verificationMethod | VerificationType | 0 | * |
| verificationPostcondition | xsd:string | 0 | * |
| verificationPrecondition | xsd:string | 0 | * |
| verificationUUID | /Core/ExternalIdentifier | 0 | 1 |
All properties
| Property | Type | minCount | maxCount |
|---|---|---|---|
| comment | xsd:string | 0 | 1 |
| creationInfo | CreationInfo | 1 | 1 |
| description | xsd:string | 0 | 1 |
| extension | Extension | 0 | * |
| externalIdentifier | ExternalIdentifier | 0 | * |
| externalRef | ExternalRef | 0 | * |
| name | xsd:string | 0 | 1 |
| rationale | xsd:string | 0 | 1 |
| spdxId | xsd:anyURI | 1 | 1 |
| summary | xsd:string | 0 | 1 |
| verificationMethod | VerificationType | 0 | * |
| verificationPostcondition | xsd:string | 0 | * |
| verificationPrecondition | xsd:string | 0 | * |
| verificationUUID | ExternalIdentifier | 0 | 1 |
| verifiedUsing | IntegrityMethod | 0 | * |