Verification Report

Baselibs Module Verification Report		status: valid security: YES safety: ASIL_B
applies_to_module_version: v1.0 verification_method: test_and_inspection version: 1 realizes: wp__verification_module_ver_report belongs to: mod__baselibs
mod_vrep__baselibs__report		Module Verification Report

Legend — status values and chart colours

Status — ASIL B valid_inspected — agreed and formally inspected valid — agreed, formal inspection still outstanding invalid — not agreed; metamodel checks are skipped

Status — QM valid — agreed; QM needs are not formally inspected, so this is their final state (valid_inspected counts here too) invalid — not agreed; metamodel checks are skipped

Test coverage — both classes fully covered — at least one test fully verifies the need partially covered — only partially verifying tests not covered — no verifying test at all

Components

Component Overview

Component	Safety	Security	Status
comp__baselibs_json	ASIL_B	YES	valid
comp__baselibs_json_wrapper	ASIL_B	YES	valid
comp__baselibs_vajson	ASIL_B	YES	valid
comp__baselibs_memory_shared	ASIL_B	YES	valid
comp__baselibs_result	ASIL_B	YES	valid
comp__baselibs_bit_manipulation	ASIL_B	NO	valid
comp__baselibs_containers	ASIL_B	YES	valid
comp__baselibs_filesystem	ASIL_B	YES	valid
comp__baselibs_utils	ASIL_B	YES	valid
comp__baselibs_concurrency	ASIL_B	YES	valid
comp__baselibs_safecpp	ASIL_B	YES	valid
comp__baselibs_flatbuffers	ASIL_B	YES	valid
comp__baselibs_hash	ASIL_B	NO	valid
comp__baselibs_static_reflection	ASIL_B	YES	valid
comp__baselibs_scope_exit	ASIL_B	YES	valid

JSON

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__json__user_format	Return data in user format	ASIL_B	valid
comp_req__json__full_testability	Fully testable public API	ASIL_B	valid
comp_req__json__asil	JSON library ASIL level	ASIL_B	valid
comp_req__json__serialization	JSON Serialization	ASIL_B	valid	JsonWriterDefaultFormattingTest__PrettyPrintsWhenFormattingIsOmitted (passed); SerializerTest__PrettyPrintsNestedAny (passed)
comp_req__json__deserialization	JSON Deserialization	ASIL_B	valid	ParserTest__CanParseObjectBool (passed); ParserTest__CanParseObjectString (passed); ParserTest__CanParseObjectNull (passed); ParserTest__CanParseObjectNumber (passed); ParserTest__CanParseObjectFloatingPointNumber (passed); ParserTest__CanParseObjectInObject (passed); ParserTest__CanParseListInObject (passed); ParserTest__CanParseObjectInObjectAndIterateOverKeys (passed); ParserTest__EmitsErrorWhenParsingObjectWithValueButNoKey (passed); ParserTest__EmitsErrorWhenParsingObjectWithBinaryValue (passed); ParserTest__EmitsErrorWhenParsingTooLargeNumber (passed); ParserTest__FromFileFail (passed); ParserTest__ParsingFromFileWorks (passed); JsonParserVajsonTest__CanParseObjectHexadecimalNumber (passed); JsonParserVajsonTest__CanParseTwoByteBuffer (passed); JsonParserVajsonTest__CanParseBufferWithUtf8Bom (passed); NumberTest__WhenParsingABoolStoredInAJsonThenParsingIsSuccessfulAndCorrectValueIsReturned (passed); NumberTest__WhenParsingAUint8StoredInAJsonThenParsingIsSuccessfulAndCorrectValueIsReturned (passed); NumberTest__WhenParsingAUint16StoredInAJsonThenParsingIsSuccessfulAndCorrectValueIsReturned (passed); NumberTest__WhenParsingAUint32StoredInAJsonThenParsingIsSuccessfulAndCorrectValueIsReturned (passed); NumberTest__WhenParsingAUint64StoredInAJsonThenParsingIsSuccessfulAndCorrectValueIsReturned (passed); NumberTest__WhenParsingAInt8StoredInAJsonThenParsingIsSuccessfulAndCorrectValueIsReturned (passed); NumberTest__WhenParsingAInt16StoredInAJsonThenParsingIsSuccessfulAndCorrectValueIsReturned (passed); NumberTest__WhenParsingAInt32StoredInAJsonThenParsingIsSuccessfulAndCorrectValueIsReturned (passed); NumberTest__WhenParsingAInt64StoredInAJsonThenParsingIsSuccessfulAndCorrectValueIsReturned (passed); NumberTest__WhenParsingAFloatStoredInAJsonThenParsingIsSuccessfulAndCorrectValueIsReturned (passed); NumberTest__WhenParsingADoubleStoredInAJsonThenParsingIsSuccessfulAndCorrectValueIsReturned (passed); Number__Bool (passed); Number__Uint8 (passed); Number__Uint16 (passed); Number__Uint32 (passed); Number__Uint64 (passed); Number__Int8 (passed); Number__Int16 (passed); Number__Int32 (passed); Number__Int64 (passed); Number__Float (passed); Number__Double (passed); Number__WithDecimalPointWithoutFractionalPartCannotBeParsedAsInteger (passed); Number__WithExponentialNotationWithoutFractionalPartCannotBeParsedAsInteger (passed); Number__FloatingPointWithoutDecimalPoint (passed); Number__NearDoubleLimitsIsParsable (passed); Number__FloatingPointOverflowIsRejected (passed)

Test Coverage

Coverage measurements available for 16/22 selected source files. Green: covered; red: not covered. Percentages describe the available measurements.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

ID	Title	Safety	Status	Tags
comp_arc_sta__baselibs__json	JSON Static view	ASIL_B	valid
comp_arc_dyn__baselibs__json_dynamic_view	JSON dynamic arch	ASIL_B	invalid

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	ID doc__json_req_inspection	Status draft
wp__sw_arch_verification	Architecture Inspection	ID doc__json_arc_inspection	Status draft
wp__sw_implementation_inspection	Implementation Inspection	ID doc__json_impl_inspection	Status draft
wp__sw_component_dfa	DFA	ID doc__json_dfa	Status draft
wp__sw_component_fmea	FMEA	ID doc__json_fmea	Status draft

JSON-Wrapper

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

no ASIL B architecture elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__json__lang_idioms	Support for programming language idioms	ASIL_B	valid
comp_req__json__lang_infra	Use programming language infrastructure	ASIL_B	valid
comp_req__json__type_compatibility	Enforce strict type compatibility	ASIL_B	valid

Test Coverage

No coverage data available for this component.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

No needs passed the filters

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	No needs passed the filters	No needs passed the filters
wp__sw_arch_verification	Architecture Inspection	No needs passed the filters	No needs passed the filters
wp__sw_implementation_inspection	Implementation Inspection	No needs passed the filters	No needs passed the filters
wp__sw_component_dfa	DFA	No needs passed the filters	No needs passed the filters
wp__sw_component_fmea	FMEA	No needs passed the filters	No needs passed the filters

VaJson

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

no ASIL B architecture elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__vajson__validation	JSON Validation	ASIL_B	valid
comp_req__vajson__trailing_commas	JSON Deserialization RFC extension trailing commas	ASIL_B	valid
comp_req__vajson__hex_integers	JSON Deserialization RFC extension hexadecimal integers	ASIL_B	valid
comp_req__vajson__unicode	Unicode Support	ASIL_B	valid
comp_req__vajson__asil	VaJson library ASIL level	ASIL_B	valid

Test Coverage

No coverage data available for this component.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

No needs passed the filters

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	No needs passed the filters	No needs passed the filters
wp__sw_arch_verification	Architecture Inspection	No needs passed the filters	No needs passed the filters
wp__sw_implementation_inspection	Implementation Inspection	No needs passed the filters	No needs passed the filters
wp__sw_component_dfa	DFA	No needs passed the filters	No needs passed the filters
wp__sw_component_fmea	FMEA	No needs passed the filters	No needs passed the filters

Memory Shared

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__memory__shared_memory	Shared Memory Management	ASIL_B	valid
comp_req__memory__offset_ptr	Polymorphic OffsetPtr Allocator	ASIL_B	valid
comp_req__memory__shared_container	Shared Memory Container	ASIL_B	valid
comp_req__memory__inter_process_sync	Inter-Process Synchronization	ASIL_B	valid
comp_req__memory__bounds_check	Memory Region Bounds Checking	ASIL_B	valid
comp_req__memory__sealed_shm	Sealed Shared Memory	ASIL_B	valid
comp_req__memory__typed_memory	Typed Memory	ASIL_B	valid
comp_req__memory__resource_registry	Memory Resource Registry	ASIL_B	valid
comp_req__memory__string_utils	String Utilities	ASIL_B	invalid
comp_req__memory__atomic_ops	Atomic Operations in Shared Memory	ASIL_B	valid
comp_req__memory__deterministic_alloc	Deterministic Memory Allocation	ASIL_B	valid
comp_req__memory__address_independence	Process Address Space Independence	ASIL_B	valid
comp_req__memory__endianness	Endianness Conversion	ASIL_B	valid	Endianness__WeAreRunningOnALittleEndianSystem (passed); Endianness__CannotBeLittleAndBigAtTheSameTime (passed); Endianness__SwitchingBytesNecessary (passed); Endianness__ByteSwap (passed); Endianness__BigEndianToHostEndianness (passed)

Test Coverage

Coverage measurements available for 5/5 selected source files. Green: covered; red: not covered. Percentages describe the available measurements.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

ID	Title	Safety	Status	Tags
comp_arc_sta__baselibs__memory_shared	Memory Shared Static view	ASIL_B	valid

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	No needs passed the filters	No needs passed the filters
wp__sw_arch_verification	Architecture Inspection	No needs passed the filters	No needs passed the filters
wp__sw_implementation_inspection	Implementation Inspection	No needs passed the filters	No needs passed the filters
wp__sw_component_dfa	DFA	No needs passed the filters	No needs passed the filters
wp__sw_component_fmea	FMEA	No needs passed the filters	No needs passed the filters

Result

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__result__type_safety	Type-Safe Error Handling	ASIL_B	valid_inspected	Error__CorrectConstructionAndAssignmentGuarantees (passed); Error__CanDereferenceToUnderlyingType (passed); TypeTraitsTests__IsResultVIsTrueIfIsTemplatedResult (passed); TypeTraitsTests__IsResultVIsTrueIfIsResultBlank (passed); TypeTraitsTests__IsResultVIsFalseIfIsNoResult (passed); ExplicitImplicitConstructibleTest__ChecksWorkCorrectly (passed); ExpectedTest__IsCopyAssignableWithValue (passed); ExpectedTest__IsCopyAssignableWithError (passed); ExpectedTest__IsMoveAssignableWithValue (passed); ExpectedTest__IsMoveAssignableWithError (passed); ExpectedTest__CanSwapWithMemberSwap (passed); ExpectedTest__CanSwapWithStdSwap (passed); ExpectedTest__IsDefaultConstructibleWhenValueTypeIsDefaultConstructible (passed); ExpectedTest__IsNotDefaultConstructibleWhenValueTypeIsNotDefaultConstructible (passed); ExpectedTest__IsCopyConstructibleWhenInnerTypesAreCopyConstructibleAndWithValue (passed); ExpectedTest__IsCopyConstructibleWhenInnerTypesAreCopyConstructibleAndWithError (passed); ExpectedTest__IsNotCopyConstructibleWhenInnerTypesAreNotCopyConstructible (passed); ExpectedTest__IsMoveConstructibleWhenInnerTypesAreMoveConstructibleAndWithValue (passed); ExpectedTest__IsMoveConstructibleWhenInnerTypesAreMoveConstructibleAndWithError (passed); ExpectedTest__IsNotMoveConstructibleWhenInnerTypesAreNotMoveConstructible (passed); ExpectedTest__CanWrapExpected (passed); ExpectedTest__HasValueTypeTypeTrait (passed); ExpectedTest__HasErrorTypeTypeTrait (passed); ExpectedTest__HasUnexpectedTypeTypeTrait (passed); ExpectedTest__HasRebindTypeTrait (passed); ExpectedVoidTest__IsCopyAssignableWithError (passed); ExpectedVoidTest__IsMoveAssignableWithError (passed); ExpectedVoidTest__CanSwapWithMemberSwap (passed); ExpectedVoidTest__CanSwapWithStdSwap (passed); ExpectedVoidTest__IsDefaultConstructibleWhenValueTypeIsVoid (passed); ExpectedVoidTest__IsCopyConstructibleWhenErrorIsCopyConstructuble (passed); ExpectedVoidTest__IsNotCopyConstructibleWhenErrorIsNotCopyConstructible (passed); ExpectedVoidTest__IsMoveConstructibleWhenErrorisMoveConstructible (passed); ExpectedVoidTest__IsNotMoveConstructibleWhenErrorIsNotMoveConstructible (passed); ExpectedVoidTest__CanWrapExpected (passed); ExpectedVoidTest__HasValueTypeTypeTrait (passed); ExpectedVoidTest__HasErrorTypeTypeTrait (passed); ExpectedVoidTest__HasUnexpectedTypeTypeTrait (passed); ExpectedVoidTest__HasRebindTypeTrait (passed); UnexpectTest__UnexpectT_InitializesExplicit (passed); UnexpectTest__ProvidesHelperUnexpect (passed); UnexpectedTest__IsCopyConstructible (passed); UnexpectedTest__IsMoveConstructible (passed); UnexpectedTest__IsCopyAssignable (passed); UnexpectedTest__IsMoveAssignable (passed); UnexpectedTest__CanSwapWithStdSwap (passed); UnexpectedTest__CanSwapWithTypeSwap (passed); UnexpectedTest__DeductionGuideIsSpecified (passed)
comp_req__result__domain_error_information	Domain-Specific Error Information	ASIL_B	valid_inspected	Error__RetrieveMessage (passed); Error__RetrieveUserMessage (passed); Error__RetrieveUserMessageWhenNotProvided (passed); Error__ConstructViaMakeFunction (passed); Error__CanLogCustomMessageToOstream (passed); Error__WithUserMessagePreservesCodeAndDomain (passed); Error__WithUserMessageCanClearUserMessage (passed); RustBridgeTests__GetMessageForErrorCodeFFI (passed)
comp_req__result__error_handling	Result-Based Error Handling	ASIL_B	valid_inspected	Error__CanCompareForEqual (passed); Error__CanCompareForNotEqualOnDifferentDomains (passed); Error__CanCompareForNotEqualOnDifferentValues (passed); ExpectedTest__EqualityBetweenExpectedBothWithValues (passed); ExpectedTest__EqualityBetweenExpectedBothWithErrors (passed); ExpectedTest__EqualityBetweenExpectedWithValueAndError (passed); ExpectedTest__EqualityBetweenExpectedAndValue (passed); ExpectedTest__EqualityBetweenExpectedAndUnexpected (passed); ExpectedTest__AndThenLValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__AndThenLValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedTest__AndThenLValueConstRefWillCallFunctionIfHasValue (passed); ExpectedTest__AndThenLValueConstRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedTest__AndThenRValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__AndThenRValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedTest__AndThenRValueConstRefWillCallFunctionIfHasValue (passed); ExpectedTest__AndThenRValueConstRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedTest__OrElseLValueRefWillCallFunctionIfHasNoValue (passed); ExpectedTest__OrElseLValueRefWillReturnReboundValueIfHasValue (passed); ExpectedTest__OrElseConstLValueRefWillCallFunctionIfHasNoValue (passed); ExpectedTest__OrElseConstLValueRefWillReturnReboundValueIfHasValue (passed); ExpectedTest__OrElseRValueRefWillCallFunctionIfHasNoValue (passed); ExpectedTest__OrElseRValueRefWillReturnReboundValueIfHasValue (passed); ExpectedTest__OrElseConstRValueRefWillCallFunctionIfHasNoValue (passed); ExpectedTest__OrElseConstRValueRefWillReturnReboundValueIfHasValue (passed); ExpectedTest__TransformLValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__TransformLValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedTest__TransformConstLValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__TransformConstLValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedTest__TransformRValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__TransformRValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedTest__TransformConstRValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__TransformConstRValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedTest__TransformErrorLValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__TransformErrorLValueRefWillReturnReboundValueIfHasValue (passed); ExpectedTest__TransformErrorConstLValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__TransformErrorConstLValueRefWillReturnReboundValueIfHasValue (passed); ExpectedTest__TransformErrorRValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__TransformErrorRValueRefWillReturnReboundValueIfHasValue (passed); ExpectedTest__TransformErrorConstRValueRefWillCallFunctionIfHasValue (passed); ExpectedTest__TransformErrorConstRValueRefWillReturnReboundValueIfHasValue (passed); ExpectedTest__ArrowOperatorConstReturnsPointerToValue (passed); ExpectedTest__ArrowOperatorConstWillExitIfNoValueIsStored (passed); ExpectedTest__ArrowOperatorReturnsPointerToValue (passed); ExpectedTest__ArrowOperatorWillExitIfNoValueIsStored (passed); ExpectedTest__StarOperatorLValueConstReturnsReferenceToValue (passed); ExpectedTest__StarOperatorLValueConstWillExitIfNoValueIsStored (passed); ExpectedTest__StarOperatorLValueReturnsReferenceToValue (passed); ExpectedTest__StarOperatorLValueWillExitIfNoValueIsStored (passed); ExpectedTest__StarOperatorRValueConstReturnsReferenceToValue (passed); ExpectedTest__StarOperatorRValueConstWillExitIfNoValueIsStored (passed); ExpectedTest__StarOperatorRValueReturnsReferenceToValue (passed); ExpectedTest__StarOperatorRValueWillExitIfNoValueIsStored (passed); ExpectedTest__ExplicitConversionToBoolIsTrueIfHasValue (passed); ExpectedTest__ExplicitConversionToBoolIsFalseIfHasNoValue (passed); ExpectedTest__HasValueReturnsTrueIfHasValue (passed); ExpectedTest__HasValueReturnsFalseIfHasNoValue (passed); ExpectedTest__CanRetrieveValueFromLValueReference (passed); ExpectedTest__AbortsWhenRetrieveValueFromLValueReferenceWithoutValue (passed); ExpectedTest__CanRetrieveValueFromConstLValueReference (passed); ExpectedTest__AbortsWhenRetrieveValueFromConstLValueReferenceWithoutValue (passed); ExpectedTest__CanRetrieveValueFromRValueReference (passed); ExpectedTest__AbortsWhenRetrieveValueFromRValueReferenceWithoutValue (passed); ExpectedTest__CanRetrieveValueFromConstRValueReference (passed); ExpectedTest__AbortsWhenRetrieveValueFromConstRValueReferenceWithoutValue (passed); ExpectedTest__CanRetrieveErrorFromLValueReference (passed); ExpectedTest__AbortsWhenRetrieveErrorFromLValueReferenceWithValue (passed); ExpectedTest__CanRetrieveErrorFromConstLValueReference (passed); ExpectedTest__AbortsWhenRetrieveErrorFromConstLValueReferenceWithValue (passed); ExpectedTest__CanRetrieveErrorFromRValueReference (passed); ExpectedTest__AbortsWhenRetrieveErrorFromRValueReferenceWithValue (passed); ExpectedTest__CanRetrieveErrorFromConstRValueReference (passed); ExpectedTest__AbortsWhenRetrieveErrorFromConstRValueReferenceWithValue (passed); ExpectedTest__ValueOrConstLValueReturnsValueIfHasValue (passed); ExpectedTest__ValueOrConstLValueReturnsDefaultIfHasNoValue (passed); ExpectedTest__ValueOrRValueReturnsValueIfHasValue (passed); ExpectedTest__ValueOrRValueReturnsDefaultIfHasNoValue (passed); ExpectedTest__ErrorOrConstLValueReturnsErrorIfHasNoValue (passed); ExpectedTest__ErrorOrConstLValueReturnsDefaultIfHasValue (passed); ExpectedTest__ErrorOrRValueReturnsErrorIfHasNoValue (passed); ExpectedTest__ErrorOrRValueReturnsDefaultIfHasValue (passed); ExpectedVoidTest__EqualityBetweenExpectedBothWithErrors (passed); ExpectedVoidTest__EqualityBetweenExpectedWithValueAndError (passed); ExpectedVoidTest__EqualityBetweenExpectedAndUnexpected (passed); ExpectedVoidTest__AndThenLValueRefWillCallFunctionIfHasValue (passed); ExpectedVoidTest__AndThenLValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedVoidTest__AndThenLValueConstRefWillCallFunctionIfHasValue (passed); ExpectedVoidTest__AndThenLValueConstRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedVoidTest__AndThenRValueRefWillCallFunctionIfHasValue (passed); ExpectedVoidTest__AndThenRValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedVoidTest__AndThenRValueConstRefWillCallFunctionIfHasValue (passed); ExpectedVoidTest__AndThenRValueConstRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedVoidTest__OrElseLValueRefWillCallFunctionIfHasNoValue (passed); ExpectedVoidTest__OrElseLValueRefWillReturnReboundValueIfHasValue (passed); ExpectedVoidTest__OrElseConstLValueRefWillCallFunctionIfHasNoValue (passed); ExpectedVoidTest__OrElseConstLValueRefWillReturnReboundValueIfHasValue (passed); ExpectedVoidTest__OrElseRValueRefWillCallFunctionIfHasNoValue (passed); ExpectedVoidTest__OrElseRValueRefWillReturnReboundValueIfHasValue (passed); ExpectedVoidTest__OrElseConstRValueRefWillCallFunctionIfHasNoValue (passed); ExpectedVoidTest__OrElseConstRValueRefWillReturnReboundValueIfHasValue (passed); ExpectedVoidTest__TransformLValueRefWillCallFunctionIfHasValue (passed); ExpectedVoidTest__TransformLValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedVoidTest__TransformConstLValueRefWillCallFunctionIfHasValue (passed); ExpectedVoidTest__TransformConstLValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedVoidTest__TransformRValueRefWillCallFunctionIfHasValue (passed); ExpectedVoidTest__TransformRValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedVoidTest__TransformConstRValueRefWillCallFunctionIfHasValue (passed); ExpectedVoidTest__TransformConstRValueRefWillReturnReboundErrorIfHasNoValue (passed); ExpectedVoidTest__TransformErrorLValueRefWillCallFunctionIfHasError (passed); ExpectedVoidTest__TransformErrorLValueRefWillReturnReboundValueIfHasValue (passed); ExpectedVoidTest__TransformErrorConstLValueRefWillCallFunctionIfHasError (passed); ExpectedVoidTest__TransformErrorConstLValueRefWillReturnReboundValueIfHasValue (passed); ExpectedVoidTest__TransformErrorRValueRefWillCallFunctionIfHasError (passed); ExpectedVoidTest__TransformErrorRValueRefWillReturnReboundValueIfHasValue (passed); ExpectedVoidTest__TransformErrorConstRValueRefWillCallFunctionIfHasError (passed); ExpectedVoidTest__TransformErrorConstRValueRefWillReturnReboundValueIfHasValue (passed); ExpectedVoidTest__StarOperatorWillNotExitIfValid (passed); ExpectedVoidTest__StarOperatorWillExitIfInErrorState (passed); ExpectedVoidTest__ExplicitConversionToBoolIsTrueIfHasValue (passed); ExpectedVoidTest__ExplicitConversionToBoolIsFalseIfHasNoValue (passed); ExpectedVoidTest__HasValueReturnsTrueIfHasValue (passed); ExpectedVoidTest__HasValueReturnsFalseIfHasNoValue (passed); ExpectedVoidTest__NoAbortWhenCallValueFromConstLValueReference (passed); ExpectedVoidTest__AbortWhenCallValueFromConstLValueReferenceWithoutValue (passed); ExpectedVoidTest__NoAbortWhenCallValueFromRValueReference (passed); ExpectedVoidTest__AbortWhenCallValueFromRValueReferenceWithoutValue (passed); ExpectedVoidTest__CanRetrieveErrorFromConstLValueReference (passed); ExpectedVoidTest__AbortsWhenRetrieveErrorFromConstLValueReferenceWithValue (passed); ExpectedVoidTest__AbortsWhenRetrieveErrorFromRValueReferenceWithValue (passed); ExpectedVoidTest__ErrorOrConstLValueReturnsErrorIfHasNoValue (passed); ExpectedVoidTest__ErrorOrConstLValueReturnsDefaultIfHasValue (passed); ExpectedVoidTest__ErrorOrRValueReturnsErrorIfHasNoValue (passed); ExpectedVoidTest__ErrorOrRValueReturnsDefaultIfHasValue (passed); ExpectedVoidTest__CanRetrieveErrorFromRValueReference (passed); UnexpectedTest__CanRetrieveErrorFromConstLValueReference (passed); UnexpectedTest__CanRetrieveErrorFromLValueReference (passed); UnexpectedTest__CanRetrieveErrorFromConstRValueReference (passed); UnexpectedTest__CanRetrieveErrorFromRValueReference (passed); UnexpectedTest__CanCompareEquality (passed)
comp_req__result__set_result	Set Result	ASIL_B	valid_inspected	UnexpectedTests__CanMakeErroneousResultUsingUnexpectedTypeAlias (passed); UnexpectedTests__CanMakeErroneousResultUsingMakeUnexpectedWithCodeAndUserMessage (passed); UnexpectedTests__LegacyCanMakeErroneousResultUsingMakeUnexpectedWithError (passed); ExpectedTest__CanCopyAssignFromCompatibleType (passed); ExpectedTest__CanMoveAssignFromCompatibleType (passed); ExpectedTest__CanCopyAssignFromUnexpected (passed); ExpectedTest__CanMoveAssignFromUnexpected (passed); ExpectedTest__CanEmplaceWithArgs (passed); ExpectedTest__CanEmplaceWithInitializerListAndArgs (passed); ExpectedTest__CanCopyConstructFromCompatibleExpectedWithValue (passed); ExpectedTest__CanCopyConstructFromCompatibleExpectedWithError (passed); ExpectedTest__CanMoveConstructFromCompatibleExpectedWithValue (passed); ExpectedTest__CanMoveConstructFromCompatibleExpectedWithError (passed); ExpectedTest__CanCopyConstructFromCompatibleTypeWithValue (passed); ExpectedTest__CanMoveConstructFromCompatibleTypeWithValue (passed); ExpectedTest__CanCopyConstructFromCompatibleTypeWithError (passed); ExpectedTest__CanMoveConstructFromCompatibleTypeWithError (passed); ExpectedTest__CanInPlaceConstructValue (passed); ExpectedTest__CanInPlaceConstructValueWithInitializerList (passed); ExpectedTest__CanInPlaceConstructError (passed); ExpectedTest__CanInPlaceConstructErrorWithInitializerList (passed); ExpectedVoidTest__CanCopyAssignFromUnexpected (passed); ExpectedVoidTest__CanMoveAssignFromUnexpected (passed); ExpectedVoidTest__CanEmplace (passed); ExpectedVoidTest__CanCopyConstructFromCompatibleExpectedWithError (passed); ExpectedVoidTest__CanMoveConstructFromCompatibleExpectedWithError (passed); ExpectedVoidTest__CanCopyConstructFromCompatibleTypeWithError (passed); ExpectedVoidTest__CanMoveConstructFromCompatibleTypeWithError (passed); ExpectedVoidTest__CanInPlaceConstruct (passed); ExpectedVoidTest__CanInPlaceConstructError (passed); ExpectedVoidTest__CanInPlaceConstructErrorWithInitializerList (passed); UnexpectedTest__CanBeConstructedFromCompatibleType (passed); UnexpectedTest__CanBeInPlaceConstructedFromCompatibleArguments (passed); UnexpectedTest__CanBeInPlaceConstructedFromInitializerList (passed)
comp_req__result__std_integration	Standard Library Integration	ASIL_B	valid_inspected	ConversionTests__CanConvertLValueResultWithValueToStdOptional (passed); ConversionTests__CanConvertLValueResultWithErrorToStdOptional (passed); ConversionTests__CanConvertRValueResultWithValueToStdOptional (passed); ConversionTests__CanConvertRValueResultWithErrorToStdOptional (passed); ExtensionsTest__ConvertToStdOptionalWhenExpectedConstLValueRefHasValue (passed); ExtensionsTest__OnConversionToStdOptionalCallInvocableWhenExpectedConstLValueRefHasNoValue (passed); ExtensionsTest__ConvertToStdOptionalWhenExpectedRValueRefHasValue (passed); ExtensionsTest__OnConversionToStdOptionalCallInvocableWhenExpectedLValueRefHasNoValue (passed)
comp_req__result__exception_free_operation	Exception-Free Operation	ASIL_B	valid_inspected	ExpectedTest__MoveAssignmentHasCorrectNoexcept (passed); ExpectedTest__SwapHasCorrectNoexceptSpecification (passed); ExpectedTest__IsOnlyNothrowMoveConstructibleIfInnerTypesAre (passed); ExpectedVoidTest__MoveAssignmentHasCorrectNoexcept (passed); ExpectedVoidTest__SwapHasCorrectNoexceptSpecification (passed); ExpectedVoidTest__IsOnlyNothrowMoveConstructibleIfErrorIs (passed)
comp_req__result__deterministic_behavior	Deterministic Behavior	ASIL_B	valid_inspected	ExpectedTest__IsTriviallyDestructible (passed); ExpectedVoidTest__IsTriviallyDestructible (passed)
comp_req__result__futurecpp_integration	Future C++ Library Integration	ASIL_B	valid_inspected	ExtensionsTest__CanConvertFromExpectedConstLValueRefToAmpExpectedWithValue (passed); ExtensionsTest__CanConvertFromExpectedConstLValueRefToAmpExpectedWithError (passed); ExtensionsTest__CanConvertFromExpectedRValueRefToAmpExpectedWithValue (passed); ExtensionsTest__CanConvertFromExpectedRValueRefToAmpExpectedWithError (passed); ExtensionsTest__CanConvertFromAmpExpectedConstLValueRefToExpectedWithValue (passed); ExtensionsTest__CanConvertFromAmpExpectedConstLValueRefToExpectedWithError (passed); ExtensionsTest__CanConvertFromAmpExpectedRValueRefToExpectedWithValue (passed); ExtensionsTest__CanConvertFromAmpExpectedRValueRefToExpectedWithError (passed); ExtensionsTest__ConvertToAmpOptionalWhenExpectedConstLValueRefHasValue (passed); ExtensionsTest__OnConversionToAmpOptionalCallInvocableWhenExpectedConstLValueRefHasNoValue (passed); ExtensionsTest__ConvertToAmpOptionalWhenExpectedRValueRefHasValue (passed); ExtensionsTest__OnConversionToAmpOptionalCallInvocableWhenExpectedLValueRefHasNoValue (passed)

Test Coverage

Coverage measurements available for 8/15 selected source files. Green: covered; red: not covered. Percentages describe the available measurements.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

ID	Title	Safety	Status	Tags
comp_arc_sta__baselibs__result	Result Static view	ASIL_B	valid

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	ID doc__result_library_req_inspection	Status valid
wp__sw_arch_verification	Architecture Inspection	ID doc__result_lib_arc_inspection	Status valid
wp__sw_implementation_inspection	Implementation Inspection	ID doc__result_lib_impl_inspection	Status draft
wp__sw_component_dfa	DFA	ID doc__result_dfa	Status valid
wp__sw_component_fmea	FMEA	ID doc__result_fmea	Status valid

Bit Manipulation

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__bitmanipulation__header_only	Header-only API	ASIL_B	valid_inspected
comp_req__bitmanipulation__byte_operations	Support for Byte and Half-Byte Types	ASIL_B	valid_inspected	HalfByte__CanBeConstructedFromUInt8 (passed); HalfByte__CanBeConstructedFromUInt16IfInRange (passed); HalfByte__CanBeConstructedFromBigUInt8ButUpperHalfIsDropped (passed); Byte__CanBeConstructedFromUInt8 (passed); Byte__CanBeConstructedFromUInt16IfInRange (passed); Byte__CanBeConstructedFromTwoHalfBytes (passed); Byte__CanBeConstructedFromTwoBigHalfBytes (passed); Byte__CanBeConstructedFromTwoZeroHalfBytes (passed); Byte__CanBeConstructedFromTwoHalfBytesWithMaxValue (passed); Extract__UpperHalfByteFromAByte (passed); Extract__LowerHalfByteFromAByte (passed); Extract__LowerHalfByteFromAByteCanBeConvertedToUInt8 (passed)
comp_req__bitmanipulation__bit_operations	Support for Bit Operations	ASIL_B	valid_inspected	SetBit__WithUInt8 (passed); SetBit__WithUInt64 (passed); SetBit__WithNegativeInt32 (passed); ClearBit__WithUInt8 (passed); ClearBit__WithUInt64 (passed); ToggleBit__WithUInt8 (passed); ToggleBit__WithUInt64 (passed); CheckBit__WithUInt8 (passed); CheckBit__WithUInt64 (passed)
comp_req__bitmanipulation__bounds_safety	Bounds and Safety Checks	ASIL_B	valid_inspected	SetBit__OverflowWithUInt8 (passed); ClearBit__OverflowWithUInt8 (passed); ToggleBit__OverflowWithUInt8 (passed); CheckBit__OverflowWithUInt8 (passed)
comp_req__bitmanipulation__byte_extraction	Support for Byte Extraction	ASIL_B	valid_inspected	GetByte__FromUint8 (passed); GetByte__FromInt8 (passed); GetByte__FromUint16 (passed); GetByte__FromInt16 (passed); GetByte__FromUint32 (passed); GetByte__FromInt32 (passed); GetByte__FromUint64 (passed); GetByte__FromInt64 (passed)
comp_req__bitmanipulation__bitmask_operators	Support for Bitmask Operators for Enum Classes	ASIL_B	valid_inspected	MyBitmask__SupportsOperatorOr (passed); MyBitmask__SupportsOperatorAnd (passed); MyBitmask__SupportsOperatorXor (passed); MyBitmask__SupportsOperatorNot (passed); MyBitmask__SupportsAssignOperatorAnd (passed); MyBitmask__SupportsAssignOperatorAndMatching (passed); MyBitmask__SupportsAssignOperatorOr (passed); MyBitmask__SupportsAssignOperatorOrMatching (passed); MyBitmask__SupportsAssignOperatorXOr (passed); MyBitmask__SupportsAssignOperatorXOrMatching (passed)

Test Coverage

Coverage measurements available for 2/4 selected source files. Green: covered; red: not covered. Percentages describe the available measurements.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

ID	Title	Safety	Status	Tags
comp_arc_sta__baselibs__bit_manipulation	Bit Manipulation Static view	ASIL_B	valid

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	ID doc__bitmanipulation_req_inspection	Status valid
wp__sw_arch_verification	Architecture Inspection	ID doc__bitmanipulation_arc_inspection	Status valid
wp__sw_implementation_inspection	Implementation Inspection	ID doc__bitmanipulation_impl_inspection	Status draft
wp__sw_component_dfa	DFA	ID doc__bitmanipulation_dfa	Status valid
wp__sw_component_fmea	FMEA	ID doc__bitmanipulation_fmea	Status valid

Containers

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__containers__non_relocatable_vector	Non-Relocatable Vector	ASIL_B	valid	NonRelocatableVectorFixture/0__EmptyIsTrueWhenConstructedWithZeroCapacity (passed); NonRelocatableVectorFixture/0__EmptyIsTrueWhenConstructedWithNonZeroCapacity (passed); NonRelocatableVectorFixture/0__EmptyIsFalseAfterEmplaceBack (passed); NonRelocatableVectorFixture/0__EmptyIsTrueAgainAfterPopBackEmptiesSingleElementVector (passed); NonRelocatableVectorFixture/0__PopBackDecrementsSize (passed); NonRelocatableVectorFixture/0__PopBackOnEmptyVectorTerminates (passed); NonRelocatableVectorFixture/0__PopBackDoesNotChangeCapacity (passed); NonRelocatableVectorFixture/0__EmplaceBackAfterPopBackReusesFreedSlot (passed); NonRelocatableVectorFixture/0__PoppingAllElementsOneByOneEmptiesTheVector (passed); NonRelocatableVectorFixture/0__ClearSetsSizeToZero (passed); NonRelocatableVectorFixture/0__ClearDoesNotChangeCapacity (passed); NonRelocatableVectorFixture/0__EmplaceBackAfterClearRefillsUpToCapacity (passed); NonRelocatableVectorFixture/1__EmptyIsTrueWhenConstructedWithZeroCapacity (passed); NonRelocatableVectorFixture/1__EmptyIsTrueWhenConstructedWithNonZeroCapacity (passed); NonRelocatableVectorFixture/1__EmptyIsFalseAfterEmplaceBack (passed); NonRelocatableVectorFixture/1__EmptyIsTrueAgainAfterPopBackEmptiesSingleElementVector (passed); NonRelocatableVectorFixture/1__PopBackDecrementsSize (passed); NonRelocatableVectorFixture/1__PopBackOnEmptyVectorTerminates (passed); NonRelocatableVectorFixture/1__PopBackDoesNotChangeCapacity (passed); NonRelocatableVectorFixture/1__EmplaceBackAfterPopBackReusesFreedSlot (passed); NonRelocatableVectorFixture/1__PoppingAllElementsOneByOneEmptiesTheVector (passed); NonRelocatableVectorFixture/1__ClearSetsSizeToZero (passed); NonRelocatableVectorFixture/1__ClearDoesNotChangeCapacity (passed); NonRelocatableVectorFixture/1__EmplaceBackAfterClearRefillsUpToCapacity (passed); NonRelocatableVectorFixture/2__EmptyIsTrueWhenConstructedWithZeroCapacity (passed); NonRelocatableVectorFixture/2__EmptyIsTrueWhenConstructedWithNonZeroCapacity (passed); NonRelocatableVectorFixture/2__EmptyIsFalseAfterEmplaceBack (passed); NonRelocatableVectorFixture/2__EmptyIsTrueAgainAfterPopBackEmptiesSingleElementVector (passed); NonRelocatableVectorFixture/2__PopBackDecrementsSize (passed); NonRelocatableVectorFixture/2__PopBackOnEmptyVectorTerminates (passed); NonRelocatableVectorFixture/2__PopBackDoesNotChangeCapacity (passed); NonRelocatableVectorFixture/2__EmplaceBackAfterPopBackReusesFreedSlot (passed); NonRelocatableVectorFixture/2__PoppingAllElementsOneByOneEmptiesTheVector (passed); NonRelocatableVectorFixture/2__ClearSetsSizeToZero (passed); NonRelocatableVectorFixture/2__ClearDoesNotChangeCapacity (passed); NonRelocatableVectorFixture/2__EmplaceBackAfterClearRefillsUpToCapacity (passed); NonRelocatableVectorFixture/3__EmptyIsTrueWhenConstructedWithZeroCapacity (passed); NonRelocatableVectorFixture/3__EmptyIsTrueWhenConstructedWithNonZeroCapacity (passed); NonRelocatableVectorFixture/3__EmptyIsFalseAfterEmplaceBack (passed); NonRelocatableVectorFixture/3__EmptyIsTrueAgainAfterPopBackEmptiesSingleElementVector (passed); NonRelocatableVectorFixture/3__PopBackDecrementsSize (passed); NonRelocatableVectorFixture/3__PopBackOnEmptyVectorTerminates (passed); NonRelocatableVectorFixture/3__PopBackDoesNotChangeCapacity (passed); NonRelocatableVectorFixture/3__EmplaceBackAfterPopBackReusesFreedSlot (passed); NonRelocatableVectorFixture/3__PoppingAllElementsOneByOneEmptiesTheVector (passed); NonRelocatableVectorFixture/3__ClearSetsSizeToZero (passed); NonRelocatableVectorFixture/3__ClearDoesNotChangeCapacity (passed); NonRelocatableVectorFixture/3__EmplaceBackAfterClearRefillsUpToCapacity (passed); NonRelocatableVectorFixture/4__EmptyIsTrueWhenConstructedWithZeroCapacity (passed); NonRelocatableVectorFixture/4__EmptyIsTrueWhenConstructedWithNonZeroCapacity (passed); NonRelocatableVectorFixture/4__EmptyIsFalseAfterEmplaceBack (passed); NonRelocatableVectorFixture/4__EmptyIsTrueAgainAfterPopBackEmptiesSingleElementVector (passed); NonRelocatableVectorFixture/4__PopBackDecrementsSize (passed); NonRelocatableVectorFixture/4__PopBackOnEmptyVectorTerminates (passed); NonRelocatableVectorFixture/4__PopBackDoesNotChangeCapacity (passed); NonRelocatableVectorFixture/4__EmplaceBackAfterPopBackReusesFreedSlot (passed); NonRelocatableVectorFixture/4__PoppingAllElementsOneByOneEmptiesTheVector (passed); NonRelocatableVectorFixture/4__ClearSetsSizeToZero (passed); NonRelocatableVectorFixture/4__ClearDoesNotChangeCapacity (passed); NonRelocatableVectorFixture/4__EmplaceBackAfterClearRefillsUpToCapacity (passed); NonRelocatableVectorFixture/5__EmptyIsTrueWhenConstructedWithZeroCapacity (passed); NonRelocatableVectorFixture/5__EmptyIsTrueWhenConstructedWithNonZeroCapacity (passed); NonRelocatableVectorFixture/5__EmptyIsFalseAfterEmplaceBack (passed); NonRelocatableVectorFixture/5__EmptyIsTrueAgainAfterPopBackEmptiesSingleElementVector (passed); NonRelocatableVectorFixture/5__PopBackDecrementsSize (passed); NonRelocatableVectorFixture/5__PopBackOnEmptyVectorTerminates (passed); NonRelocatableVectorFixture/5__PopBackDoesNotChangeCapacity (passed); NonRelocatableVectorFixture/5__EmplaceBackAfterPopBackReusesFreedSlot (passed); NonRelocatableVectorFixture/5__PoppingAllElementsOneByOneEmptiesTheVector (passed); NonRelocatableVectorFixture/5__ClearSetsSizeToZero (passed); NonRelocatableVectorFixture/5__ClearDoesNotChangeCapacity (passed); NonRelocatableVectorFixture/5__EmplaceBackAfterClearRefillsUpToCapacity (passed); NonRelocatableVectorFixture/6__EmptyIsTrueWhenConstructedWithZeroCapacity (passed); NonRelocatableVectorFixture/6__EmptyIsTrueWhenConstructedWithNonZeroCapacity (passed); NonRelocatableVectorFixture/6__EmptyIsFalseAfterEmplaceBack (passed); NonRelocatableVectorFixture/6__EmptyIsTrueAgainAfterPopBackEmptiesSingleElementVector (passed); NonRelocatableVectorFixture/6__PopBackDecrementsSize (passed); NonRelocatableVectorFixture/6__PopBackOnEmptyVectorTerminates (passed); NonRelocatableVectorFixture/6__PopBackDoesNotChangeCapacity (passed); NonRelocatableVectorFixture/6__EmplaceBackAfterPopBackReusesFreedSlot (passed); NonRelocatableVectorFixture/6__PoppingAllElementsOneByOneEmptiesTheVector (passed); NonRelocatableVectorFixture/6__ClearSetsSizeToZero (passed); NonRelocatableVectorFixture/6__ClearDoesNotChangeCapacity (passed); NonRelocatableVectorFixture/6__EmplaceBackAfterClearRefillsUpToCapacity (passed); NonRelocatableVectorFixture/7__EmptyIsTrueWhenConstructedWithZeroCapacity (passed); NonRelocatableVectorFixture/7__EmptyIsTrueWhenConstructedWithNonZeroCapacity (passed); NonRelocatableVectorFixture/7__EmptyIsFalseAfterEmplaceBack (passed); NonRelocatableVectorFixture/7__EmptyIsTrueAgainAfterPopBackEmptiesSingleElementVector (passed); NonRelocatableVectorFixture/7__PopBackDecrementsSize (passed); NonRelocatableVectorFixture/7__PopBackOnEmptyVectorTerminates (passed); NonRelocatableVectorFixture/7__PopBackDoesNotChangeCapacity (passed); NonRelocatableVectorFixture/7__EmplaceBackAfterPopBackReusesFreedSlot (passed); NonRelocatableVectorFixture/7__PoppingAllElementsOneByOneEmptiesTheVector (passed); NonRelocatableVectorFixture/7__ClearSetsSizeToZero (passed); NonRelocatableVectorFixture/7__ClearDoesNotChangeCapacity (passed); NonRelocatableVectorFixture/7__EmplaceBackAfterClearRefillsUpToCapacity (passed); NonRelocatableVectorTrivialFixture/0__PopBackLeavesRemainingElementsUnchanged (passed); NonRelocatableVectorTrivialFixture/1__PopBackLeavesRemainingElementsUnchanged (passed); NonRelocatableVectorSpecialMemberFunctionRecorderFixture__PopBackDestroysRemovedElement (passed); NonRelocatableVectorSpecialMemberFunctionRecorderFixture__ClearDestroysAllElements (passed); NonRelocatableVectorSpecialMemberFunctionRecorderFixture__ClearOnEmptyVectorIsANoOp (passed); NonRelocatableVectorPolymorphicAllocatorFixture/0__PopBackDoesNotDeallocateOrAllocateMemory (passed); NonRelocatableVectorPolymorphicAllocatorFixture/0__ClearDoesNotDeallocateOrAllocateMemory (passed); NonRelocatableVectorPolymorphicAllocatorFixture/1__PopBackDoesNotDeallocateOrAllocateMemory (passed); NonRelocatableVectorPolymorphicAllocatorFixture/1__ClearDoesNotDeallocateOrAllocateMemory (passed); NonRelocatableVectorPolymorphicAllocatorFixture/2__PopBackDoesNotDeallocateOrAllocateMemory (passed); NonRelocatableVectorPolymorphicAllocatorFixture/2__ClearDoesNotDeallocateOrAllocateMemory (passed); NonRelocatableVectorPolymorphicAllocatorFixture/3__PopBackDoesNotDeallocateOrAllocateMemory (passed); NonRelocatableVectorPolymorphicAllocatorFixture/3__ClearDoesNotDeallocateOrAllocateMemory (passed); NonRelocatableVectorTrivialFixture/0__SwapSwapsAllElements (passed); NonRelocatableVectorTrivialFixture/0__EmplaceBackPreservesExistingElementAddress (passed); NonRelocatableVectorTrivialFixture/1__SwapSwapsAllElements (passed); NonRelocatableVectorTrivialFixture/1__EmplaceBackPreservesExistingElementAddress (passed); NonRelocatableVectorNonTrivialFixture/0__SwapSwapsAllElements (passed); NonRelocatableVectorNonTrivialFixture/1__SwapSwapsAllElements (passed); NonRelocatableVectorTriviallyConstructibleDestructibleTypeFixture/0__SwapSwapsAllElements (passed); NonRelocatableVectorTriviallyConstructibleDestructibleTypeFixture/1__SwapSwapsAllElements (passed); NonRelocatableVectorNonMoveableAndCopyableElementTypeFixture/0__SwapSwapsAllElements (passed); NonRelocatableVectorNonMoveableAndCopyableElementTypeFixture/1__SwapSwapsAllElements (passed); NonRelocatableVectorPointerInteractionFixture__DataDereferencesBeginAndEnd (passed); NonRelocatableVectorPointerInteractionFixture__BeginDereferencesBeginAndEnd (passed); NonRelocatableVectorPointerInteractionFixture__EndDereferencesBeginAndEnd (passed); NonRelocatableVectorFixture/0__EmplaceBackUpdatesSize (passed); NonRelocatableVectorFixture/0__CallingEmplaceBackMoreTimesThanWereReservedTerminates (passed); NonRelocatableVectorFixture/1__EmplaceBackUpdatesSize (passed); NonRelocatableVectorFixture/1__CallingEmplaceBackMoreTimesThanWereReservedTerminates (passed); NonRelocatableVectorFixture/2__EmplaceBackUpdatesSize (passed); NonRelocatableVectorFixture/2__CallingEmplaceBackMoreTimesThanWereReservedTerminates (passed); NonRelocatableVectorFixture/3__EmplaceBackUpdatesSize (passed); NonRelocatableVectorFixture/3__CallingEmplaceBackMoreTimesThanWereReservedTerminates (passed); NonRelocatableVectorFixture/4__EmplaceBackUpdatesSize (passed); NonRelocatableVectorFixture/4__CallingEmplaceBackMoreTimesThanWereReservedTerminates (passed); NonRelocatableVectorFixture/5__EmplaceBackUpdatesSize (passed); NonRelocatableVectorFixture/5__CallingEmplaceBackMoreTimesThanWereReservedTerminates (passed); NonRelocatableVectorFixture/6__EmplaceBackUpdatesSize (passed); NonRelocatableVectorFixture/6__CallingEmplaceBackMoreTimesThanWereReservedTerminates (passed); NonRelocatableVectorFixture/7__EmplaceBackUpdatesSize (passed); NonRelocatableVectorFixture/7__CallingEmplaceBackMoreTimesThanWereReservedTerminates (passed); NonRelocatableVectorTrivialFixture/0__EmplaceBackAllocatesAndReturnsElement (passed); NonRelocatableVectorTrivialFixture/1__EmplaceBackAllocatesAndReturnsElement (passed); NonRelocatableVectorNonTrivialFixture/0__EmplaceBackAllocatesAndReturnsElement (passed); NonRelocatableVectorNonTrivialFixture/1__EmplaceBackAllocatesAndReturnsElement (passed); NonRelocatableVectorTriviallyConstructibleDestructibleTypeFixture/0__EmplaceBackAllocatesAndReturnsElement (passed); NonRelocatableVectorTriviallyConstructibleDestructibleTypeFixture/1__EmplaceBackAllocatesAndReturnsElement (passed); NonRelocatableVectorNonMoveableAndCopyableElementTypeFixture/0__EmplaceBackAllocatesAndReturnsElement (passed); NonRelocatableVectorNonMoveableAndCopyableElementTypeFixture/1__EmplaceBackAllocatesAndReturnsElement (passed); NonRelocatableVectorFixture/0__ConstructingWithZeroElementsSetsSizeAndCapacityToZero (passed); NonRelocatableVectorFixture/0__ConstructingWithNonZeroElementsSetsCapacity (passed); NonRelocatableVectorFixture/1__ConstructingWithZeroElementsSetsSizeAndCapacityToZero (passed); NonRelocatableVectorFixture/1__ConstructingWithNonZeroElementsSetsCapacity (passed); NonRelocatableVectorFixture/2__ConstructingWithZeroElementsSetsSizeAndCapacityToZero (passed); NonRelocatableVectorFixture/2__ConstructingWithNonZeroElementsSetsCapacity (passed); NonRelocatableVectorFixture/3__ConstructingWithZeroElementsSetsSizeAndCapacityToZero (passed); NonRelocatableVectorFixture/3__ConstructingWithNonZeroElementsSetsCapacity (passed); NonRelocatableVectorFixture/4__ConstructingWithZeroElementsSetsSizeAndCapacityToZero (passed); NonRelocatableVectorFixture/4__ConstructingWithNonZeroElementsSetsCapacity (passed); NonRelocatableVectorFixture/5__ConstructingWithZeroElementsSetsSizeAndCapacityToZero (passed); NonRelocatableVectorFixture/5__ConstructingWithNonZeroElementsSetsCapacity (passed); NonRelocatableVectorFixture/6__ConstructingWithZeroElementsSetsSizeAndCapacityToZero (passed); NonRelocatableVectorFixture/6__ConstructingWithNonZeroElementsSetsCapacity (passed); NonRelocatableVectorFixture/7__ConstructingWithZeroElementsSetsSizeAndCapacityToZero (passed); NonRelocatableVectorFixture/7__ConstructingWithNonZeroElementsSetsCapacity (passed); NonRelocatableVectorPolymorphicAllocatorFixture/0__ConstructingWithNonZeroElementsAllocatesAllElements (passed); NonRelocatableVectorPolymorphicAllocatorFixture/1__ConstructingWithNonZeroElementsAllocatesAllElements (passed); NonRelocatableVectorPolymorphicAllocatorFixture/2__ConstructingWithNonZeroElementsAllocatesAllElements (passed); NonRelocatableVectorPolymorphicAllocatorFixture/3__ConstructingWithNonZeroElementsAllocatesAllElements (passed); NonRelocatableVectorSpecialMemberFunctionRecorderFixture__ConstructingWithNonZeroElementsDoesNotCallElementConstructors (passed); NonRelocatableVectorSpecialMemberFunctionRecorderFixture__DestructingWithNonZeroElementsDoesNotCallAnyDestructors (passed); NonRelocatableVectorSpecialMemberFunctionRecorderFixture__DestructingWithNonZeroEmplacedElementsCallsDestructorAllElements (passed); NonRelocatableVectorTrivialFixture/0__CopyConstructingCopiesAllElements (passed); NonRelocatableVectorTrivialFixture/0__MoveConstructingMovesAllElements (passed); NonRelocatableVectorTrivialFixture/0__MoveConstructingLeavesSourceWithZeroSizeAndCapacity (passed); NonRelocatableVectorTrivialFixture/0__MoveAssigningMovesAllElements (passed); NonRelocatableVectorTrivialFixture/1__CopyConstructingCopiesAllElements (passed); NonRelocatableVectorTrivialFixture/1__MoveConstructingMovesAllElements (passed); NonRelocatableVectorTrivialFixture/1__MoveConstructingLeavesSourceWithZeroSizeAndCapacity (passed); NonRelocatableVectorTrivialFixture/1__MoveAssigningMovesAllElements (passed); NonRelocatableVectorNonTrivialFixture/0__CopyConstructingCopiesAllElements (passed); NonRelocatableVectorNonTrivialFixture/0__MoveConstructingMovesAllElements (passed); NonRelocatableVectorNonTrivialFixture/0__MoveAssigningMovesAllElements (passed); NonRelocatableVectorNonTrivialFixture/1__CopyConstructingCopiesAllElements (passed); NonRelocatableVectorNonTrivialFixture/1__MoveConstructingMovesAllElements (passed); NonRelocatableVectorNonTrivialFixture/1__MoveAssigningMovesAllElements (passed); NonRelocatableVectorTriviallyConstructibleDestructibleTypeFixture/0__CopyConstructingCopiesAllElements (passed); NonRelocatableVectorTriviallyConstructibleDestructibleTypeFixture/0__MoveConstructingMovesAllElements (passed); NonRelocatableVectorTriviallyConstructibleDestructibleTypeFixture/0__MoveAssigningMovesAllElements (passed); NonRelocatableVectorTriviallyConstructibleDestructibleTypeFixture/1__CopyConstructingCopiesAllElements (passed); NonRelocatableVectorTriviallyConstructibleDestructibleTypeFixture/1__MoveConstructingMovesAllElements (passed); NonRelocatableVectorTriviallyConstructibleDestructibleTypeFixture/1__MoveAssigningMovesAllElements (passed); NonRelocatableVectorCopyableAndMoveablePolymorphicAllocatorFixture/0__CopyConstructingAllocatesBasedOnCapacity (passed); NonRelocatableVectorCopyableAndMoveablePolymorphicAllocatorFixture/1__CopyConstructingAllocatesBasedOnCapacity (passed); NonRelocatableVectorCopyableAndMoveablePolymorphicAllocatorFixture/2__CopyConstructingAllocatesBasedOnCapacity (passed)
comp_req__containers__deterministic_behavior	Deterministic Behavior	ASIL_B	valid	NonRelocatableVectorPolymorphicAllocatorFixture/0__EmplaceBackDoesNotAllocate (passed); NonRelocatableVectorPolymorphicAllocatorFixture/1__EmplaceBackDoesNotAllocate (passed); NonRelocatableVectorPolymorphicAllocatorFixture/2__EmplaceBackDoesNotAllocate (passed); NonRelocatableVectorPolymorphicAllocatorFixture/3__EmplaceBackDoesNotAllocate (passed); NonRelocatableVectorFixture/0__DestructingWithZeroElementsDoesNotDeallocate (passed); NonRelocatableVectorFixture/1__DestructingWithZeroElementsDoesNotDeallocate (passed); NonRelocatableVectorFixture/2__DestructingWithZeroElementsDoesNotDeallocate (passed); NonRelocatableVectorFixture/3__DestructingWithZeroElementsDoesNotDeallocate (passed); NonRelocatableVectorFixture/4__DestructingWithZeroElementsDoesNotDeallocate (passed); NonRelocatableVectorFixture/5__DestructingWithZeroElementsDoesNotDeallocate (passed); NonRelocatableVectorFixture/6__DestructingWithZeroElementsDoesNotDeallocate (passed); NonRelocatableVectorFixture/7__DestructingWithZeroElementsDoesNotDeallocate (passed); NonRelocatableVectorPolymorphicAllocatorFixture/0__ConstructingWithZeroElementsDoesNotAllocate (passed); NonRelocatableVectorPolymorphicAllocatorFixture/0__DestructingWithNonZeroElementsDeallocatesAllElements (passed); NonRelocatableVectorPolymorphicAllocatorFixture/1__ConstructingWithZeroElementsDoesNotAllocate (passed); NonRelocatableVectorPolymorphicAllocatorFixture/1__DestructingWithNonZeroElementsDeallocatesAllElements (passed); NonRelocatableVectorPolymorphicAllocatorFixture/2__ConstructingWithZeroElementsDoesNotAllocate (passed); NonRelocatableVectorPolymorphicAllocatorFixture/2__DestructingWithNonZeroElementsDeallocatesAllElements (passed); NonRelocatableVectorPolymorphicAllocatorFixture/3__ConstructingWithZeroElementsDoesNotAllocate (passed); NonRelocatableVectorPolymorphicAllocatorFixture/3__DestructingWithNonZeroElementsDeallocatesAllElements (passed); NonRelocatableVectorCopyableAndMoveablePolymorphicAllocatorFixture/0__CopyConstructingDoesNotDeallocateMemory (passed); NonRelocatableVectorCopyableAndMoveablePolymorphicAllocatorFixture/0__MoveConstructingDoesNotAllocateNewMemory (passed); NonRelocatableVectorCopyableAndMoveablePolymorphicAllocatorFixture/0__MoveConstructingDoesNotDeallocateMemory (passed); NonRelocatableVectorCopyableAndMoveablePolymorphicAllocatorFixture/0__MoveAssigningAllocatesBasedOnCapacity (passed); NonRelocatableVectorCopyableAndMoveablePolymorphicAllocatorFixture/1__CopyConstructingDoesNotDeallocateMemory (passed); NonRelocatableVectorCopyableAndMoveablePolymorphicAllocatorFixture/1__MoveConstructingDoesNotAllocateNewMemory (passed); NonRelocatableVectorCopyableAndMoveablePolymorphicAllocatorFixture/1__MoveConstructingDoesNotDeallocateMemory (passed); NonRelocatableVectorCopyableAndMoveablePolymorphicAllocatorFixture/1__MoveAssigningAllocatesBasedOnCapacity (passed); NonRelocatableVectorCopyableAndMoveablePolymorphicAllocatorFixture/2__CopyConstructingDoesNotDeallocateMemory (passed); NonRelocatableVectorCopyableAndMoveablePolymorphicAllocatorFixture/2__MoveConstructingDoesNotAllocateNewMemory (passed); NonRelocatableVectorCopyableAndMoveablePolymorphicAllocatorFixture/2__MoveConstructingDoesNotDeallocateMemory (passed); NonRelocatableVectorCopyableAndMoveablePolymorphicAllocatorFixture/2__MoveAssigningAllocatesBasedOnCapacity (passed); EmptyDynamicArrayOfNonTrivialElementTypeMemoryTest__TestNeverFailsButMemcheckDoesIfEmptyArrayIsNotCleanedUpCorrectly (passed); EmptyDynamicArrayOfTrivialElementTypeMemoryTest__TestNeverFailsButMemcheckDoesIfEmptyArrayIsNotCleanedUpCorrectly (passed)
comp_req__containers__intrusive_list	Intrusive List	ASIL_B	valid	IntrusiveList__NotLinkedListElement (passed); IntrusiveList__EmptyIterator (passed); IntrusiveList__EmptyList (passed); IntrusiveList__SingleElementMinimalChecks (passed); IntrusiveList__SingleElementBasedIteratorChecks (passed); IntrusiveList__SingleElementInsertRemoveChecks (passed); IntrusiveList__TwoElementsInsertRemoveChecks (passed); IntrusiveList__SixElementsInsertRemoveChecks (passed); IntrusiveList__MoveAssignmentTest (passed); IntrusiveList__EraseTest (passed); IntrusiveList__SwapTest (passed); IntrusiveList__DisposeTest (passed); IntrusiveList__MultiTagTest (passed)
comp_req__containers__dynamic_array	Dynamic Array	ASIL_B	valid	DynamicArrayTestFixture/0__CanConstructWithTrivialType (passed); DynamicArrayTestFixture/0__ConstructTrivialEmpty (passed); DynamicArrayTestFixture/0__ConstructNonTrivial (passed); DynamicArrayTestFixture/0__CopyConstructTrivial (passed); DynamicArrayTestFixture/0__CopyConstructNonTrivial (passed); DynamicArrayTestFixture/0__ConstructNonTrivialWithDefaultValue (passed); DynamicArrayTestFixture/0__MoveConstructTrivial (passed); DynamicArrayTestFixture/0__MoveConstructNonTrivial (passed); DynamicArrayTestFixture/0__MoveAssignTrivial (passed); DynamicArrayTestFixture/0__MoveAssignNonTrivial (passed); DynamicArrayTestFixture/0__SelfMoveAssign (passed); DynamicArrayTestFixture/0__CanSetValueOfArrayElements (passed); DynamicArrayTestFixture/0__CanConstructWithNonMoveableOrCopyableElements (passed); DynamicArrayTestFixture/0__DestructorOfNonTrivialTypesCalled (passed); DynamicArrayTestFixture/0__CanConstructWithTriviallyConstructableDestructibleElements (passed); DynamicArrayTestFixture/0__ConstructingDynamicArrayWithTrivialTypeWithTooManyElementsTerminates (passed); DynamicArrayTestFixture/0__AccessingConstRefArrayOutOfBoundsTerminates (passed); DynamicArrayTestFixture/0__IteratingTrivialType (passed); DynamicArrayTestFixture/0__IteratingNonTrivialType (passed); DynamicArrayTestFixture/0__ConstIteratingNonTrivialType (passed); DynamicArrayTestFixture/0__ConstIteratingNonTrivialTypeVariation (passed); DynamicArrayTestFixture/0__BracketOperatorAllowsSettingDataAtIndex (passed); DynamicArrayTestFixture/0__BracketOperatorAllowsGettingDataAtIndex (passed); DynamicArrayTestFixture/0__ConstBracketOperatorAllowsGettingDataAtIndex (passed); DynamicArrayTestFixture/0__DataShouldReturnPointerToFirstElement (passed); DynamicArrayTestFixture/0__ConstDataShouldReturnPointerToFirstElement (passed); DynamicArrayTestFixture/0__BeginIsEqualToEndWhenArrayIsEmpty (passed); DynamicArrayTestFixture/0__CBeginIsEqualToCEndWhenArrayIsEmpty (passed); DynamicArrayTestFixture/0__DataReturnsNullptrWhenArrayIsEmpty (passed); DynamicArrayTestFixture/0__SizeReturnsZeroWhenArrayIsEmpty (passed); DynamicArrayTestFixture/0__SizeReturnsZeroWhenArrayIsEmptyWithValue (passed); DynamicArrayTestFixture/0__AccessingElementWithAtWhenArrayIsEmptyTerminates (passed); DynamicArrayTestFixture/0__AccessingElementWithIndexOperatorWhenArrayIsEmptyTerminates (passed); DynamicArrayTestFixture/0__IteratingOverEmptyArrayIteratesZeroTimes (passed); DynamicArrayTestFixture/1__CanConstructWithTrivialType (passed); DynamicArrayTestFixture/1__ConstructTrivialEmpty (passed); DynamicArrayTestFixture/1__ConstructNonTrivial (passed); DynamicArrayTestFixture/1__CopyConstructTrivial (passed); DynamicArrayTestFixture/1__CopyConstructNonTrivial (passed); DynamicArrayTestFixture/1__ConstructNonTrivialWithDefaultValue (passed); DynamicArrayTestFixture/1__MoveConstructTrivial (passed); DynamicArrayTestFixture/1__MoveConstructNonTrivial (passed); DynamicArrayTestFixture/1__MoveAssignTrivial (passed); DynamicArrayTestFixture/1__MoveAssignNonTrivial (passed); DynamicArrayTestFixture/1__SelfMoveAssign (passed); DynamicArrayTestFixture/1__CanSetValueOfArrayElements (passed); DynamicArrayTestFixture/1__CanConstructWithNonMoveableOrCopyableElements (passed); DynamicArrayTestFixture/1__DestructorOfNonTrivialTypesCalled (passed); DynamicArrayTestFixture/1__CanConstructWithTriviallyConstructableDestructibleElements (passed); DynamicArrayTestFixture/1__ConstructingDynamicArrayWithTrivialTypeWithTooManyElementsTerminates (passed); DynamicArrayTestFixture/1__AccessingConstRefArrayOutOfBoundsTerminates (passed); DynamicArrayTestFixture/1__IteratingTrivialType (passed); DynamicArrayTestFixture/1__IteratingNonTrivialType (passed); DynamicArrayTestFixture/1__ConstIteratingNonTrivialType (passed); DynamicArrayTestFixture/1__ConstIteratingNonTrivialTypeVariation (passed); DynamicArrayTestFixture/1__BracketOperatorAllowsSettingDataAtIndex (passed); DynamicArrayTestFixture/1__BracketOperatorAllowsGettingDataAtIndex (passed); DynamicArrayTestFixture/1__ConstBracketOperatorAllowsGettingDataAtIndex (passed); DynamicArrayTestFixture/1__DataShouldReturnPointerToFirstElement (passed); DynamicArrayTestFixture/1__ConstDataShouldReturnPointerToFirstElement (passed); DynamicArrayTestFixture/1__BeginIsEqualToEndWhenArrayIsEmpty (passed); DynamicArrayTestFixture/1__CBeginIsEqualToCEndWhenArrayIsEmpty (passed); DynamicArrayTestFixture/1__DataReturnsNullptrWhenArrayIsEmpty (passed); DynamicArrayTestFixture/1__SizeReturnsZeroWhenArrayIsEmpty (passed); DynamicArrayTestFixture/1__SizeReturnsZeroWhenArrayIsEmptyWithValue (passed); DynamicArrayTestFixture/1__AccessingElementWithAtWhenArrayIsEmptyTerminates (passed); DynamicArrayTestFixture/1__AccessingElementWithIndexOperatorWhenArrayIsEmptyTerminates (passed); DynamicArrayTestFixture/1__IteratingOverEmptyArrayIteratesZeroTimes (passed); DynamicArrayCopyConstructorMemoryTest__CopyConstructorWithZeroSizeArrayDoesNotLeakMemory (passed); DynamicArrayCopyConstructorMemoryTest__CopyConstructorWithNonTrivialZeroSizeArrayDoesNotLeakMemory (passed)

Test Coverage

Coverage measurements available for 3/6 selected source files. Green: covered; red: not covered. Percentages describe the available measurements.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

ID	Title	Safety	Status	Tags
comp_arc_sta__baselibs__containers	Containers Static view	ASIL_B	valid

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	ID doc__containers_req_inspection	Status draft
wp__sw_arch_verification	Architecture Inspection	ID doc__containers_arc_inspection	Status valid
wp__sw_implementation_inspection	Implementation Inspection	ID doc__containers_impl_inspection	Status draft
wp__sw_component_dfa	DFA	ID doc__containers_dfa	Status draft
wp__sw_component_fmea	FMEA	ID doc__containers_fmea	Status draft

Filesystem

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__filesystem__api_abstraction	Standard Filesystem Abstraction	ASIL_B	valid
comp_req__filesystem__path_utilities	Path Manipulation Utilities	ASIL_B	valid
comp_req__filesystem__directory_iterators	Directory Iterators	ASIL_B	valid
comp_req__filesystem__file_io	File I/O Operations	ASIL_B	valid
comp_req__filesystem__full_testability	Fully testable public API	ASIL_B	valid
comp_req__filesystem__file_utils	File Utility Functions	ASIL_B	valid
comp_req__filesystem__mock_fake	Mock and Fake Implementations	ASIL_B	valid

Test Coverage

Coverage measurements available for 23/36 selected source files. Green: covered; red: not covered. Percentages describe the available measurements.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

ID	Title	Safety	Status	Tags
comp_arc_sta__baselibs__filesystem	Filesystem Static view	ASIL_B	valid

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	ID doc__filesystem_req_inspection	Status draft
wp__sw_arch_verification	Architecture Inspection	ID doc__filesystem_arc_inspection	Status valid
wp__sw_implementation_inspection	Implementation Inspection	ID doc__filesystem_impl_inspection	Status draft
wp__sw_component_dfa	DFA	ID doc__filesystem_dfa	Status draft
wp__sw_component_fmea	FMEA	ID doc__filesystem_fmea	Status draft

Utils

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__utils__threadsafe_singleton	Thread-Safe Singleton Instance Creation	ASIL_B	valid_inspected
comp_req__utils__base64_encoding	Base64 Encoding	ASIL_B	valid_inspected	Base64Test__EncodeEmptyString (passed); Base64Test__EncodeSingleByte (passed); Base64Test__EncodeTwoBytes (passed); Base64Test__EncodeMultipleBytes (passed)
comp_req__utils__base64_decoding	Base64 Decoding	ASIL_B	valid_inspected	Base64Test__DecodeEmptyString (passed); Base64Test__DecodeSingleByte (passed); Base64Test__DecodeTwoBytes (passed); Base64Test__DecodeMultipleBytes (passed)

Test Coverage

Coverage measurements available for 3/5 selected source files. Green: covered; red: not covered. Percentages describe the available measurements.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

ID	Title	Safety	Status	Tags
comp_arc_sta__baselibs__utils	Utils Static view	ASIL_B	valid

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	ID doc__utils_req_inspection	Status valid
wp__sw_arch_verification	Architecture Inspection	ID doc__utils_arc_inspection	Status valid
wp__sw_implementation_inspection	Implementation Inspection	ID doc__utils_impl_inspection	Status draft
wp__sw_component_dfa	DFA	ID doc__utils_dfa	Status draft
wp__sw_component_fmea	FMEA	ID doc__utils_fmea	Status draft

Concurrency

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__concurrency__task_interface	Asynchronous Task Execution	ASIL_B	valid
comp_req__concurrency__task_cancellation	Task Cancellation	ASIL_B	valid
comp_req__concurrency__simple_task	Simple Task Implementation	ASIL_B	valid
comp_req__concurrency__task_result	Task Result Management	ASIL_B	valid
comp_req__concurrency__periodic_task	Periodic Task Execution	ASIL_B	valid
comp_req__concurrency__delayed_task	Delayed Task Execution	ASIL_B	valid
comp_req__concurrency__executor_interface	Executor Interface	ASIL_B	valid
comp_req__concurrency__thread_pool	Thread Pool Implementation	ASIL_B	valid
comp_req__concurrency__condition_variable	Interruptible Condition Variable	ASIL_B	valid
comp_req__concurrency__interruptible_wait	Interruptible Wait Utilities	ASIL_B	valid
comp_req__concurrency__notification	Notification Mechanism	ASIL_B	valid
comp_req__concurrency__long_running_threads	Long-Running Threads Container	ASIL_B	valid
comp_req__concurrency__memory_usage_control	Memory Usage Control	ASIL_B	valid
comp_req__concurrency__memory_reservation	Memory Reservation	ASIL_B	valid
comp_req__concurrency__thread_count_reporting	Thread Count Reporting	ASIL_B	valid
comp_req__concurrency__operation_timeout	Operation Timeout Protection	ASIL_B	valid
comp_req__concurrency__error_handling	Future Error Handling	ASIL_B	valid
comp_req__concurrency__synchronized_queue	Synchronized Queue	ASIL_B	valid	SynchronizedQueue__CallPushWhenPopIsWaitingForTimeout (passed); SynchronizedQueue__CallPushWithConstValueWhenPopIsWaitingForTimeout (passed); SynchronizedQueue__CallPushAndPopAtForNoneEmptyQueue (passed); SynchronizedQueue__MakeStressTestForPushingFromMultipleThreads (passed)

Test Coverage

Coverage measurements available for 43/71 selected source files. Green: covered; red: not covered. Percentages describe the available measurements.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

ID	Title	Safety	Status	Tags
comp_arc_sta__baselibs__concurrency	Concurrency Static view	ASIL_B	valid

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	ID doc__concurrency_req_inspection	Status draft
wp__sw_arch_verification	Architecture Inspection	ID doc__concurrency_arc_inspection	Status valid
wp__sw_implementation_inspection	Implementation Inspection	ID doc__concurrency_impl_inspection	Status draft
wp__sw_component_dfa	DFA	ID doc__concurrency_dfa	Status draft
wp__sw_component_fmea	FMEA	ID doc__concurrency_fmea	Status draft

SafeCpp

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__safecpp__aborts_upon_exception	C++ Exception Abort	ASIL_B	valid
comp_req__safecpp__safe_math	Safe Arithmetic Operations	ASIL_B	valid
comp_req__safecpp__nullstring	Null-Terminated String	ASIL_B	valid
comp_req__safecpp__safe_atomic	Safe Atomic operations	ASIL_B	valid
comp_req__safecpp__coverage_termination	Code Coverage Termination	ASIL_B	valid

Test Coverage

Coverage measurements available for 32/69 selected source files. Green: covered; red: not covered. Percentages describe the available measurements.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

ID	Title	Safety	Status	Tags
comp_arc_sta__baselibs__safecpp	Safecpp Static view	ASIL_B	valid	safecpp

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	ID doc__safecpp_req_inspection	Status draft
wp__sw_arch_verification	Architecture Inspection	ID doc__safecpp_arc_inspection	Status valid
wp__sw_implementation_inspection	Implementation Inspection	ID doc__safecpp_impl_inspection	Status draft
wp__sw_component_dfa	DFA	ID doc__safecpp_dfa	Status draft
wp__sw_component_fmea	FMEA	ID doc__safecpp_fmea	Status draft

FlatBuffers

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

no ASIL B architecture elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__flatbuffers__verification	FlatBuffers Verification	ASIL_B	valid
comp_req__flatbuffers__asil	FlatBuffers library ASIL level	ASIL_B	valid
comp_req__flatbuffers__buffer_identification	Common Buffer Identification	ASIL_B	valid	VersionReaderTest__GetVersionRejectsNullPointer (passed); VersionReaderTest__GetVersionRejectsEmptyBuffer (passed); VersionReaderTest__GetVersionRejectsTooSmallBuffer (passed); VersionReaderTest__GetVersionRejectsInvalidBuffer (passed); VersionReaderTest__GetVersionRejectsBufferWithMissingIdentifier (passed); VersionReaderTest__MissingIdentifierNotDetectedWideSchema (passed); VersionReaderTest__MissingIdentifierNotDetectedDeduplicatedRootVtable (passed); WrongFieldBuffers/VersionReaderWrongFieldTest__GetVersionRejectsBufferWithVersionInfoInWrongField/WrongField (passed); WrongFieldBuffers/VersionReaderWrongFieldTest__GetVersionRejectsBufferWithVersionInfoInWrongField/WrongFieldSimilarType (passed); AllVersionBuffers/VersionReaderBufferParamTest__ReadBufferVersionFromBinary/Normal (passed); AllVersionBuffers/VersionReaderBufferParamTest__ReadBufferVersionFromBinary/NormalExplicitIds (passed); AllVersionBuffers/VersionReaderBufferParamTest__ReadBufferVersionFromBinary/MinVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__ReadBufferVersionFromBinary/MinRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__ReadBufferVersionFromBinary/MaxRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__ReadBufferVersionFromBinary/MaxVersion (passed)
comp_req__flatbuffers__version_check	Common Version Check	ASIL_B	valid	AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionSucceedsOnMatch/Normal (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionSucceedsOnMatch/NormalExplicitIds (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionSucceedsOnMatch/MinVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionSucceedsOnMatch/MinRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionSucceedsOnMatch/MaxRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionSucceedsOnMatch/MaxVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/Normal (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/NormalExplicitIds (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/MinVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/MinRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/MaxRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/MaxVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMajorMismatch/Normal (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMajorMismatch/NormalExplicitIds (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMajorMismatch/MinVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMajorMismatch/MinRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMajorMismatch/MaxRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMajorMismatch/MaxVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMinorMismatch/Normal (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMinorMismatch/NormalExplicitIds (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMinorMismatch/MinVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMinorMismatch/MinRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMinorMismatch/MaxRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMinorMismatch/MaxVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnVersionInfoMismatch/Normal (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnVersionInfoMismatch/NormalExplicitIds (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnVersionInfoMismatch/MinVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnVersionInfoMismatch/MinRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnVersionInfoMismatch/MaxRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnVersionInfoMismatch/MaxVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/Normal (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/NormalExplicitIds (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/MinVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/MinRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/MaxRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/MaxVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenAllEqual/Normal (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenAllEqual/NormalExplicitIds (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenAllEqual/MinVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenAllEqual/MinRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenAllEqual/MaxRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenAllEqual/MaxVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/Normal (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/NormalExplicitIds (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/MinVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/MinRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/MaxRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/MaxVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/Normal (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/NormalExplicitIds (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/MinVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/MinRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/MaxRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/MaxVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/Normal (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/NormalExplicitIds (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/MinVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/MinRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/MaxRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/MaxVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenAllWrong/Normal (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenAllWrong/NormalExplicitIds (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenAllWrong/MinVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenAllWrong/MinRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenAllWrong/MaxRangeVersion (passed); AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenAllWrong/MaxVersion (passed)
comp_req__flatbuffers__access	FlatBuffers Access	ASIL_B	valid	VectorFaultDeathTest__GetOutOfBounds (passed); VectorFaultDeathTest__MutateOutOfBounds (passed); VectorFaultDeathTest__MutateOffsetOutOfBounds (passed); VectorFaultDeathTest__GetMutableObjectOutOfBounds (passed); ArrayCastTest__CastToArray (passed); ArrayCastTest__CastToArrayConst (passed); ArrayIndexTest__ReturnsSameAsGet (passed); ArrayMutateTest__ScalarInPlaceMutation (passed); ArrayIteratorTest__ForwardIteration (passed); ArrayReverseIteratorTest__ReverseIteration (passed); ArraySizeTest__ReturnsTemplateSize (passed); ArraySizeTest__SizeType (passed); ArrayMakeSpanTest__SpanFromArray (passed); ArrayMakeSpanTest__BytesSpanFromArray (passed); ArrayDataTest__DataPointers (passed); ArrayEqualityTest__ScalarEquality (passed); ArrayEqualityTest__StructArrayEquality (passed); ArrayEnumTest__CastToArrayOfEnum (passed); ArrayEnumTest__GetEnum (passed); ArrayConstIteratorsTest__CBeginCEnd (passed); ArrayConstIteratorsTest__IteratorTypesMatch (passed); ArrayConstIteratorsTest__CRBeginCREnd (passed); ArrayMutableDataTest__MutableData (passed); ArrayMutableDataTest__MutableDataTyped (passed); ArrayStructTest__GetMutablePointerStruct (passed); ArrayStructTest__MutateStruct (passed); ArrayStructTest__IterationYieldsPointers (passed); ArrayCopyFromSpanTest__Scalar (passed); ArrayCopyFromSpanTest__Struct (passed); ArrayConstSpanTest__MakeSpanConst (passed); ArrayConstSpanTest__MakeBytesSpanConst (passed); ArrayConstSpanTest__ConstCastToArrayOfEnum (passed); ArraySpanObservableTest__StaticAssertions (passed); CopyFromSpanImplTest__Observable (passed); CopyFromSpanImplTest__NonObservableScalar (passed); CopyFromSpanImplTest__NonObservableStruct (passed); OffsetSpecializationTest__Data (passed); ArrayFaultInjectionTest__OffsetSpecializationOperatorIndexDeathTest (passed); ArrayFaultInjectionTest__FaultGetOutOfBounds (passed); ArrayFaultInjectionTest__FaultGetMutablePointerOutOfBounds (passed); ArrayFaultInjectionTest__FaultMutateScalarOutOfBounds (passed); ArrayFaultInjectionTest__FaultMutateStructOutOfBounds (passed); ArrayFaultInjectionTest__FaultCopyFromSpanOverlap (passed); VectorGetTest__Scalars (passed); VectorEmptyTest__ZeroElements (passed); VectorLengthTest__NullAndNotNull (passed); VectorDeprecatedLengthTest__MatchesSize (passed); VectorMutateTest__InPlace (passed); VectorScalarTypesTest__MinZeroMaxAcrossTypes (passed); VectorEnumTest__GetEnum (passed); VectorDataTest__RawAndTypedPointers (passed); VectorDataTest__MutableRawAndTypedPointers (passed); VectorForwardIteratorTest__RangeBased (passed); VectorReverseIteratorTest__RangeBased (passed); VectorReverseIteratorTest__ArrowOperator (passed); VectorMutableIteratorTest__BeginEndRBeginREnd (passed); VectorConstIteratorTest__CbeginCendCrbeginCrend (passed); VectorIteratorTest__DefaultConstructor (passed); VectorIteratorTest__CopyConstructor (passed); VectorIteratorTest__CopyAssignment (passed); VectorIteratorTest__MoveAssignment (passed); VectorIteratorTest__EqualityOperator (passed); VectorIteratorTest__InequalityOperator (passed); VectorIteratorTest__LessThanOperator (passed); VectorIteratorTest__GreaterThanOperator (passed); VectorIteratorTest__LessOrEqualOperator (passed); VectorIteratorTest__GreaterOrEqualOperator (passed); VectorIteratorTest__DifferenceOperator (passed); VectorIteratorTest__DereferenceOperator (passed); VectorIteratorTest__PreIncrementOperator (passed); VectorIteratorTest__PostIncrementOperator (passed); VectorIteratorTest__PreDecrementOperator (passed); VectorIteratorTest__PostDecrementOperator (passed); VectorIteratorTest__PlusOffsetOperator (passed); VectorIteratorTest__PlusEqualsOffsetOperator (passed); VectorIteratorTest__MinusOffsetOperator (passed); VectorIteratorTest__MinusEqualsOffsetOperator (passed); VectorMakeSpanTest__SpanOverData (passed); VectorMakeSpanTest__PointerOverloadNullAndNonNull (passed); VectorMakeSpanTest__MutableSpanOverData (passed); VectorMakeSpanTest__MutablePointerOverloadNullAndNonNull (passed); VectorMakeBytesSpanTest__ByteView (passed); VectorMakeBytesSpanTest__MutableByteView (passed); VectorOfStringsTest__Offsets (passed); VectorOfStringsTest__IteratorArrow (passed); VectorMutableObjectTest__GetMutableObjectAndMutateOffset (passed); Vector64Test__SizeGetAndIterate (passed); Vector64Test__Empty (passed); VectorOfAnyTest__SizeAndDataAliasTypedVector (passed); VectorOfAnyTest__MutableDataAliasesTypedVector (passed); VectorSingleElementTest__OneElement (passed); VectorLookupByKeyTest__FindsAndMissesKeys (passed); VectorLookupByKeyTest__MutableLookup (passed); VectorCastTest__UpcastToBaseTable (passed)
comp_req__flatbuffers__serialization	FlatBuffers Serialization	ASIL_B	valid	AllocatorTest__AllocateReturnsNonNull (passed); AllocatorTest__AllocateSingleByte (passed); AllocatorTest__AllocateLargeRegion (passed); AllocatorTest__UsableThroughBasePointer (passed); AllocatorReallocateDownwardTest__PreserveFrontAndBackIfAllocatingNewSizeFails (passed); AllocatorReallocateDownwardTest__AssertsWhenNewSizeEqualsOldSize (passed); AllocatorReallocateDownwardTest__AssertsWhenNewSizeSmallerThanOldSize (passed); VectorGetTest__Scalars (passed); VectorEmptyTest__ZeroElements (passed); VectorScalarTypesTest__MinZeroMaxAcrossTypes (passed); VectorMakeBytesSpanTest__ByteView (passed); VectorOfStringsTest__Offsets (passed); VectorSingleElementTest__OneElement (passed); VectorLookupByKeyTest__FindsAndMissesKeys (passed); SizeRanges/AllocatorGrowsBufferTest__GrowsBuffer/0 (passed); SizeRanges/AllocatorGrowsBufferTest__GrowsBuffer/1 (passed); SizeRanges/AllocatorGrowsBufferTest__GrowsBuffer/2 (passed); SizeRanges/AllocatorGrowsBufferTest__GrowsBuffer/3 (passed); SizeRanges/AllocatorPreservesBackDataTest__PreservesBackData/0 (passed); SizeRanges/AllocatorPreservesBackDataTest__PreservesBackData/1 (passed); SizeRanges/AllocatorPreservesBackDataTest__PreservesBackData/2 (passed); SizeRanges/AllocatorPreservesFrontDataTest__PreservesFrontData/0 (passed); SizeRanges/AllocatorPreservesFrontDataTest__PreservesFrontData/1 (passed); SizeRanges/AllocatorPreservesFrontDataTest__PreservesFrontData/2 (passed); SizeRanges/AllocatorPreservesBothDataTest__PreservesBothFrontAndBackData/0 (passed); SizeRanges/AllocatorPreservesBothDataTest__PreservesBothFrontAndBackData/1 (passed); SizeRanges/AllocatorPreservesBothDataTest__PreservesBothFrontAndBackData/2 (passed)

Test Coverage

Coverage measurements available for 25/30 selected source files. Green: covered; red: not covered. Percentages describe the available measurements.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

No needs passed the filters

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	No needs passed the filters	No needs passed the filters
wp__sw_arch_verification	Architecture Inspection	No needs passed the filters	No needs passed the filters
wp__sw_implementation_inspection	Implementation Inspection	No needs passed the filters	No needs passed the filters
wp__sw_component_dfa	DFA	No needs passed the filters	No needs passed the filters
wp__sw_component_fmea	FMEA	No needs passed the filters	No needs passed the filters

Hash Library

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

no ASIL B architecture elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__hash__sha_algorithms	Cryptographic Hash Algorithms	ASIL_B	valid	HashCalculatorTest__HashAlgorithmsSimpleSha1Test (passed); HashCalculatorTest__HashAlgorithmsSimpleSha256Test (passed); HashCalculatorTest__HashAlgorithmsSimpleSha384Test (passed); HashCalculatorTest__HashAlgorithmsSimpleSha512Test (passed); HashCalculatorSHATest__HashAlgorithmsSimpleTestSha256 (passed); OpensslLibTest__Sha1Test (passed); OpensslLibTest__Sha384Test (passed); OpensslLibTest__Sha512Test (passed); HashIdentify__CorrectSizes (passed); WorkingDigests/HashCalculatorFactoryCreationTest/0__CalculateSha256 (passed); WorkingDigests/HashCalculatorFactoryCreationTest/1__CalculateSha256 (passed)
comp_req__hash__safe_computation	Exception-Free Error Propagation	ASIL_B	valid	HashCalculatorTest__NullDigestTypeCreateAlgoTest (passed); HashCalculatorTest__InvalidDigestCtxCreateAlgoTest (passed); HashCalculatorTest__InvalidDigestInitCreateAlgoTest (passed); HashCalculatorTest__InvalidCreateAlgorthimTest (passed); HashCalculatorFactory__hashCalculatorFactoryFailTest (passed); HashCalculatorFactory__FailedHashObjCreation (passed); HashCalculatorFactory__FailedHashObjCreationStream (passed); HashCalculatorFactory__FailHashObjCreationWithMaxRead (passed); HashCalculatorFactory__InstantiateWithFailingOpenSslLib (passed); SafeHashCalculatorFactory__TryToInstantiateNonexistentHash (passed)
comp_req__hash__calculation_interface	Hash Computation from Byte Data	ASIL_B	valid	HashCalculatorTest__UpdateStreamTest (passed); HashCalculatorTest__InvalidDigestUpdateTest (passed); HashCalculatorTest__UpdateFromStreamTest (passed); HashCalculatorTest__InvalidUpdateFromStreamTest (passed); HashCalculatorTest__UpdateFromStreamGoesBadTest (passed); HashCalculatorTest__BadInputUpdateFromStreamTest (passed); HashCalculatorTest__EmptyInputUpdateFromStreamTest (passed); HashCalculatorTest__InvalidFinalizeTest (passed); HashCalculatorSHATest__HashAlgorithmsSimpleTestSha256 (passed); OpensslLibTest__Sha256Test (passed); OpensslLibTest__DigestCtxNewTest (passed); OpensslLibTest__DigestInitExTest (passed); OpensslLibTest__DigestUpdateTest (passed); OpensslLibTest__DigestFinalExTest (passed); Crc32IeeeTest__Hash (passed); Crc32IeeeTest__TwoUpdates (passed); WorkingDigests/HashCalculatorFactoryCreationTest/0__CalculateSha256 (passed); WorkingDigests/HashCalculatorFactoryCreationTest/0__CalculateCrc32 (passed); WorkingDigests/HashCalculatorFactoryCreationTest/1__CalculateSha256 (passed); WorkingDigests/HashCalculatorFactoryCreationTest/1__CalculateCrc32 (passed); HashCalculatorFactory__HashCalculatorSpanInput (passed); HashCalculatorFactory__HashCalculatorStreamInput (passed); HashCalculatorFactory__HashCalculatorStreamInputWithMaxRead (passed)
comp_req__hash__crc32_algorithm	CRC-32 Checksum Algorithm	ASIL_B	valid	HashIdentify__CorrectSizes (passed); Crc32IeeeTest__Hash (passed); Crc32IeeeTest__TwoUpdates (passed); WorkingDigests/HashCalculatorFactoryCreationTest/0__CalculateCrc32 (passed); WorkingDigests/HashCalculatorFactoryCreationTest/0__Crc32AutosarNotSupportedInIeeeVariant (passed); WorkingDigests/HashCalculatorFactoryCreationTest/1__CalculateCrc32 (passed); WorkingDigests/HashCalculatorFactoryCreationTest/1__Crc32AutosarNotSupportedInIeeeVariant (passed)
comp_req__hash__value_retrieval_bytes	Hash Value Retrieval as Raw Bytes	ASIL_B	valid	HashFixture__GetBytesAsSpan (passed); HashTest__CanCreateFromValidStringCompleteSetOfAlgorithms (passed); TypedHashFixture__GetBytesAsSpan (passed)
comp_req__hash__value_retrieval_hex	Hash Value Retrieval as Hexadecimal String	ASIL_B	valid	HashTest__CanCreateFromValidString (passed); HashTest__ToStringEmptyValueTest (passed); HashTest__CanCreateFromValidStringCompleteSetOfAlgorithms (passed); TypedHashTest__CanCreateFromValidString (passed); TypedHashTest__ToStringEmptyValueTest (passed); TypedHashTest__CanSerializeToJsonAny (passed)
comp_req__hash__factory_interface	Algorithm Selection via Factory	ASIL_B	valid	WorkingDigests/HashCalculatorFactoryCreationTest/0__HashCalculatorFactorySuccessTest (passed); WorkingDigests/HashCalculatorFactoryCreationTest/1__HashCalculatorFactorySuccessTest (passed); HashCalculatorFactory__hashCalculatorFactoryFailTest (passed); HashCalculatorFactory__FailedHashObjCreation (passed); HashCalculatorFactory__FailedHashObjCreationStream (passed); HashCalculatorFactory__FailHashObjCreationWithMaxRead (passed); HashCalculatorFactory__InstantiateWithFailingOpenSslLib (passed); HashCalculatorFactory__InstantiateWithSuccess (passed); SafeHashCalculatorFactory__TryToInstantiateNonexistentHash (passed)

Test Coverage

Coverage measurements available for 21/28 selected source files. Green: covered; red: not covered. Percentages describe the available measurements.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

No needs passed the filters

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	No needs passed the filters	No needs passed the filters
wp__sw_arch_verification	Architecture Inspection	No needs passed the filters	No needs passed the filters
wp__sw_implementation_inspection	Implementation Inspection	No needs passed the filters	No needs passed the filters
wp__sw_component_dfa	DFA	No needs passed the filters	No needs passed the filters
wp__sw_component_fmea	FMEA	No needs passed the filters	No needs passed the filters

Static Reflection with Serialization

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__static_reflect_serial__header_only	Header-Only Implementation	ASIL_B	valid
comp_req__static_reflect_serial__compile_eff	Compile-Time Efficiency	ASIL_B	valid
comp_req__static_reflect_serial__reflect	Static Reflection Support	ASIL_B	valid	SizeVisitorTypeFixture/SizeVisitorFixture/0__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/1__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/2__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/3__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/4__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/5__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/6__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/7__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/8__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/9__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/10__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/11__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/12__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/13__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/14__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/15__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/16__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/17__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); serializer_visitor__serialized (passed); serializer_visitor__serializer (passed); serializer_visitor__custom (passed); serializer_visitor__serialize_unit (passed); serializer_visitor__skip_deserialize (passed); serializer_visitor__skip_deserialize_test_overflow (passed); serializer_visitor_overflows__basic__no_overflow (passed); serializer_visitor_overflows__basic__serializer_overflow (passed); serializer_visitor_overflows__basic__derserializer_overflow (passed); serializer_visitor_overflows__basic_deserializer_overflow_const (passed); serializer_visitor_overflows__dynamic_part__no_overflow (passed); serializer_visitor_overflows__dynamic_part__serializer_overflow (passed); serializer_visitor_overflows__dynamic_part_serializer_overflow_too_small_subsize (passed); serializer_visitor_overflows__dynamic_part__deserilizer_overflow (passed); serializer_visitor_overflows__string__no_overflow (passed); serializer_visitor_overflows__string__serialization_overflow (passed); serializer_visitor_overflows__string_deserialization_overflow (passed); serializer_visitor_overflows__test_logger_type_info_copy_size_overflow (passed); serializer_visitor_overflows__test_logger_type_info_copy_size_not_fit (passed); serializer_visitor_overflows__test_logger_type_info_copy_size_fits (passed); visit_optional_pack_desc_test__optional_pack_desc_should_return_correct_field_name (passed); logging_serializer_test__serialize_int_data_with_big_miss_match_size (passed); logging_serializer_test__deserialize_int_data_with_big_miss_match_size (passed); logging_serializer_test__deserialize_byte_data_with_miss_match_size (passed); detail__extract_type (passed); detail__skip_trailing_space (passed); struct_visitor__struct_visitable (passed); struct_visitor__TemplatedStructShallNotContainTrailingWhitespace (passed); struct_visitor_utils__TupleToArrayTest (passed)
comp_req__static_reflect_serial__container	Automatic Container Iteration	ASIL_B	valid	SizeVisitorTypeFixture/SizeVisitorFixture/0__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/1__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/2__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/3__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/4__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/5__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/6__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/7__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/8__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/9__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/10__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/11__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/12__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/13__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/14__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/15__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/16__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/17__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); vistor_type_traits__is_vector_serializable (passed); vistor_type_traits__is_not_vector_serializable (passed); serializer_visitor__serializer (passed); serializer_visitor_overflows__dynamic_part__no_overflow (passed); serializer_visitor_overflows__dynamic_part__serializer_overflow (passed); serializer_visitor_overflows__dynamic_part_serializer_overflow_too_small_subsize (passed); serializer_visitor_overflows__dynamic_part__deserilizer_overflow (passed); serializer_visitor_overflows__string__no_overflow (passed); serializer_visitor_overflows__string__serialization_overflow (passed); serializer_visitor_overflows__string_deserialization_overflow (passed); clear_functionality_test__test_that_clear_function_can_clear_vector_of_int32 (passed); ostream_visitor__basic (passed); ostream_visitor__compound (passed)
comp_req__static_reflect_serial__nested	Nested Type Support	ASIL_B	valid	SizeVisitorTypeFixture/SizeVisitorFixture/0__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/1__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/2__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/3__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/4__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/5__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/6__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/7__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/8__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/9__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/10__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/11__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/12__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/13__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/14__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/15__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/16__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); SizeVisitorTypeFixture/SizeVisitorFixture/17__whenDataSerializedAndThenDeserializedDataShouldBeTheSame (passed); serializer_visitor__serializer (passed); ostream_visitor__compound (passed)
comp_req__static_reflect_serial__visitor	Generic Visitor Pattern	ASIL_B	valid	struct_visitor__struct_visitable (passed); struct_visitor__visit_as (passed); struct_visitor__namespaces (passed); visitor__visitable_and_nonvisitable (passed); visitor__namespaces (passed); visitor__overloads (passed); visitor__conversions (passed); ostream_visitor__basic (passed); ostream_visitor__compound (passed)

Test Coverage

Coverage measurements available for 6/7 selected source files. Green: covered; red: not covered. Percentages describe the available measurements.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

ID	Title	Safety	Status	Tags
comp_arc_sta__baselibs__static_reflection	Static Reflection with Serialization Static view	ASIL_B	valid

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	No needs passed the filters	No needs passed the filters
wp__sw_arch_verification	Architecture Inspection	No needs passed the filters	No needs passed the filters
wp__sw_implementation_inspection	Implementation Inspection	No needs passed the filters	No needs passed the filters
wp__sw_component_dfa	DFA	No needs passed the filters	No needs passed the filters
wp__sw_component_fmea	FMEA	No needs passed the filters	No needs passed the filters

Scope Exit

---

Component Requirements Statistics

ASIL B — Requirements

QM — Requirements

no QM requirements

Component Architecture Statistics

ASIL B — Architecture Elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

The following table lists all requirements of this component together with their verification status and the tests that (fully or partially) verify them:

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__scope_exit__invoke_on_destruction	Invoke Callback On Destruction	ASIL_B	valid	ScopeExitFixture__CreatingDoesNotCallDestructionHandler (passed); ScopeExitFixture__DestroyingCallsDestructionHandler (passed); ScopeExitFixture__DestroyingWithScopedFunctionCallsDestructionHandler (passed)
comp_req__scope_exit__release	Release Suppresses Callback	ASIL_B	valid	ScopeExitFixture__DestroyingAfterCallingReleaseDoesNotCallDestructionHandler (passed)
comp_req__scope_exit__move_transfer	Move Transfers Callback Ownership	ASIL_B	valid	ScopeExitFixture__MoveConstructingGuardDoesNotCallDestructionHandler (passed); ScopeExitFixture__DestroyingMoveConstructedMovedFromGuardDoesNotCallDestructionHandler (passed); ScopeExitFixture__DestroyingMoveConstructedMovedToGuardCallsDestructionHandler (passed); ScopeExitFixture__DestroyingMoveAssignedMovedFromGuardDoesNotCallDestructionHandler (passed); ScopeExitFixture__DestroyingMoveAssignedMovedToGuardCallsDestructionHandler (passed)
comp_req__scope_exit__replace_on_assignment	Move Assignment Invokes Previous Destination Callback	ASIL_B	valid	ScopeExitFixture__MoveAssigningGuardCallsDestructionHandlerOnMovedToGuard (passed)

Test Coverage

No coverage data available for this component.

Architectural Elements

The following table lists the architectural elements of this component together with their inspection status. Elements that have been formally inspected carry the valid_inspected status; elements with another status have not yet been inspected.

Show architectural elements table

ID	Title	Safety	Status	Tags
comp_arc_sta__baselibs__scope_exit	Scope Exit Static view	ASIL_B	valid

Verification & Safety Analysis Documents

Presence of the standard verification and safety analysis work products for this component. A dash (—) means the corresponding document is missing.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	No needs passed the filters	No needs passed the filters
wp__sw_arch_verification	Architecture Inspection	No needs passed the filters	No needs passed the filters
wp__sw_implementation_inspection	Implementation Inspection	No needs passed the filters	No needs passed the filters
wp__sw_component_dfa	DFA	No needs passed the filters	No needs passed the filters
wp__sw_component_fmea	FMEA	No needs passed the filters	No needs passed the filters

• Component Requirements Statistics