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).

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	maxCount
verificationMethod	VerificationType	*
verificationPostcondition	xsd:string	*
verificationPrecondition	xsd:string	*
verificationRationale	xsd:string	1
verificationUUID	/Core/ExternalIdentifier	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
spdxId	xsd:anyURI	1	1
summary	xsd:string	0	1
verificationMethod	VerificationType	0	*
verificationPostcondition	xsd:string	0	*
verificationPrecondition	xsd:string	0	*
verificationRationale	xsd:string	0	1
verificationUUID	ExternalIdentifier	0	1
verifiedUsing	IntegrityMethod	0	*