Verification Report

Baselibs Module Verification Report		status: valid security: YES safety: ASIL_B
report_version: v1.0 version: 1 realizes: wp__verification_module_ver_report
doc__baselibs_verification_report		Generic Document

Components

Component Overview

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

JSON

---

Component Requirements Statistics

Component Architecture Statistics

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__asil	JSON library ASIL level	ASIL_B	valid
comp_req__json__deserialization	JSON Deserialization	ASIL_B	valid
comp_req__json__full_testability	Fully testable public API	ASIL_B	valid
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__serialization	JSON Serialization	ASIL_B	valid	JsonWriterDefaultFormattingTest__PrettyPrintsWhenFormattingIsOmitted (passed); VajsonSerializeTest__PrettyPrintsNestedAny (passed); VajsonSerializeTest__PrettyPrintsWhenFormattingIsOmitted (passed)
comp_req__json__type_compatibility	Enforce strict type compatibility	ASIL_B	valid
comp_req__json__user_format	Return data in user format	ASIL_B	valid

Test Coverage

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

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_dyn__baselibs__json_dynamic_view	JSON dynamic arch	ASIL_B	invalid
comp_arc_sta__baselibs__json	JSON 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__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

No needs passed the filters

No needs passed the filters

Component Architecture Statistics

No needs passed the filters

No needs passed the filters

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

No needs passed the filters

Test Coverage

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

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

Component Architecture Statistics

No needs passed the filters

No needs passed the filters

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__asil	VaJson library ASIL level	ASIL_B	valid
comp_req__vajson__hex_integers	JSON Deserialization RFC extension hexadecimal integers	ASIL_B	valid
comp_req__vajson__trailing_commas	JSON Deserialization RFC extension trailing commas	ASIL_B	valid
comp_req__vajson__unicode	Unicode Support	ASIL_B	valid
comp_req__vajson__validation	JSON Validation	ASIL_B	valid

Test Coverage

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

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

Component Architecture Statistics

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__address_independence	Process Address Space Independence	ASIL_B	valid
comp_req__memory__atomic_ops	Atomic Operations in Shared Memory	ASIL_B	valid
comp_req__memory__bounds_check	Memory Region Bounds Checking	ASIL_B	valid
comp_req__memory__deterministic_alloc	Deterministic Memory Allocation	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)
comp_req__memory__inter_process_sync	Inter-Process Synchronization	ASIL_B	valid
comp_req__memory__offset_ptr	Polymorphic OffsetPtr Allocator	ASIL_B	valid
comp_req__memory__resource_registry	Memory Resource Registry	ASIL_B	valid
comp_req__memory__sealed_shm	Sealed Shared Memory	ASIL_B	valid
comp_req__memory__shared_container	Shared Memory Container	ASIL_B	valid
comp_req__memory__shared_memory	Shared Memory Management	ASIL_B	valid
comp_req__memory__string_utils	String Utilities	ASIL_B	invalid
comp_req__memory__typed_memory	Typed Memory	ASIL_B	valid

Test Coverage

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

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

Component Architecture Statistics

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__deterministic_behavior	Deterministic Behavior	ASIL_B	valid	ExpectedTest__IsTriviallyDestructible (passed); ExpectedVoidTest__IsTriviallyDestructible (passed)
comp_req__result__domain_error_information	Domain-Specific Error Information	ASIL_B	valid	RustBridgeTests__GetMessageForErrorCodeFFI (passed); Error__RetrieveMessage (passed); Error__RetrieveUserMessage (passed); Error__RetrieveUserMessageWhenNotProvided (passed); Error__ConstructViaMakeFunction (passed); Error__CanLogCustomMessageToOstream (passed); Error__WithUserMessagePreservesCodeAndDomain (passed); Error__WithUserMessageCanClearUserMessage (passed)
comp_req__result__error_handling	Result-Based Error Handling	ASIL_B	valid	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__exception_free_operation	Exception-Free Operation	ASIL_B	valid	ExpectedTest__MoveAssignmentHasCorrectNoexcept (passed); ExpectedTest__SwapHasCorrectNoexceptSpecification (passed); ExpectedTest__IsOnlyNothrowMoveConstructibleIfInnerTypesAre (passed); ExpectedVoidTest__MoveAssignmentHasCorrectNoexcept (passed); ExpectedVoidTest__SwapHasCorrectNoexceptSpecification (passed); ExpectedVoidTest__IsOnlyNothrowMoveConstructibleIfErrorIs (passed)
comp_req__result__futurecpp_integration	Future C++ Library Integration	ASIL_B	valid	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)
comp_req__result__set_result	Set Result	ASIL_B	valid	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	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__type_safety	Type-Safe Error Handling	ASIL_B	valid	Error__CorrectConstructionAndAssignmentGuarantees (passed); Error__CanDereferenceToUnderlyingType (passed); TypeTraitsTests__IsResultVIsTrueIfIsTemplatedResult (passed); TypeTraitsTests__IsResultVIsTrueIfIsResultBlank (passed); TypeTraitsTests__IsResultVIsFalseIfIsNoResult (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); ExplicitImplicitConstructibleTest__ChecksWorkCorrectly (passed)

Test Coverage

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

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 draft
wp__sw_component_fmea	FMEA	ID doc__result_fmea	Status valid

Bit Manipulation

---

Component Requirements Statistics

Component Architecture Statistics

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__bit_operations	Support for Bit Operations	ASIL_B	valid	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__bitmask_operators	Support for Bitmask Operators for Enum Classes	ASIL_B	valid	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)
comp_req__bitmanipulation__bounds_safety	Bounds and Safety Checks	ASIL_B	valid	SetBit__OverflowWithUInt8 (passed); ClearBit__OverflowWithUInt8 (passed); ToggleBit__OverflowWithUInt8 (passed); CheckBit__OverflowWithUInt8 (passed)
comp_req__bitmanipulation__byte_extraction	Support for Byte Extraction	ASIL_B	valid	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__byte_operations	Support for Byte and Half-Byte Types	ASIL_B	valid	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__header_only	Header-only API	ASIL_B	valid

Test Coverage

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

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 draft
wp__sw_component_fmea	FMEA	ID doc__bitmanipulation_fmea	Status valid

Containers

---

Component Requirements Statistics

Component Architecture Statistics

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__deterministic_behavior	Deterministic Behavior	ASIL_B	valid	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); NonRelocatableVectorPolymorphicAllocatorFixture/0__EmplaceBackDoesNotAllocate (passed); NonRelocatableVectorPolymorphicAllocatorFixture/1__EmplaceBackDoesNotAllocate (passed); NonRelocatableVectorPolymorphicAllocatorFixture/2__EmplaceBackDoesNotAllocate (passed); NonRelocatableVectorPolymorphicAllocatorFixture/3__EmplaceBackDoesNotAllocate (passed); EmptyDynamicArrayOfNonTrivialElementTypeMemoryTest__TestNeverFailsButMemcheckDoesIfEmptyArrayIsNotCleanedUpCorrectly (passed); EmptyDynamicArrayOfTrivialElementTypeMemoryTest__TestNeverFailsButMemcheckDoesIfEmptyArrayIsNotCleanedUpCorrectly (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)
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__non_relocatable_vector	Non-Relocatable Vector	ASIL_B	valid	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); 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); 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__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)

Test Coverage

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

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

Rust Containers

---

Component Requirements Statistics

Component Architecture Statistics

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_rust__det_behavior	Deterministic Behavior	ASIL_B	valid
comp_req__containers_rust__fixed_btree	Fixed-Capacity B-Tree	ASIL_B	valid
comp_req__containers_rust__fixed_hashmap	Fixed-Capacity Hashmap	ASIL_B	valid
comp_req__containers_rust__fixed_hashset	Fixed-Capacity Hashset	ASIL_B	valid
comp_req__containers_rust__fixed_no_realloc	No Reallocation	ASIL_B	valid
comp_req__containers_rust__fixed_queue	Fixed-Capacity Queue	ASIL_B	valid
comp_req__containers_rust__fixed_string	Fixed-Capacity String	ASIL_B	valid
comp_req__containers_rust__fixed_vector	Fixed-Capacity Vector	ASIL_B	valid
comp_req__containers_rust__inline_btree	Inline-Storage B-Tree	ASIL_B	valid
comp_req__containers_rust__inline_hashmap	Inline-Storage Hashmap	ASIL_B	valid
comp_req__containers_rust__inline_hashset	Inline-Storage Hashset	ASIL_B	valid
comp_req__containers_rust__inline_no_heap	No Heap Allocation	ASIL_B	valid
comp_req__containers_rust__inline_queue	Inline-Storage Queue	ASIL_B	valid
comp_req__containers_rust__inline_string	Inline-Storage String	ASIL_B	valid
comp_req__containers_rust__inline_vector	Inline-Storage Vector	ASIL_B	valid
comp_req__containers_rust__type_safety	Type Safety	ASIL_B	valid

Test Coverage

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

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_rust__containers_rust	Rust Containers Static View	ASIL_B	valid	baselibs_rust_containers_rust

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

Filesystem

---

Component Requirements Statistics

Component Architecture Statistics

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__directory_iterators	Directory Iterators	ASIL_B	valid
comp_req__filesystem__file_io	File I/O Operations	ASIL_B	valid
comp_req__filesystem__file_utils	File Utility Functions	ASIL_B	valid
comp_req__filesystem__full_testability	Fully testable public API	ASIL_B	valid
comp_req__filesystem__mock_fake	Mock and Fake Implementations	ASIL_B	valid
comp_req__filesystem__path_utilities	Path Manipulation Utilities	ASIL_B	valid

Test Coverage

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

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

Component Architecture Statistics

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__base64_decoding	Base64 Decoding	ASIL_B	valid	Base64Test__DecodeEmptyString (passed); Base64Test__DecodeSingleByte (passed); Base64Test__DecodeTwoBytes (passed); Base64Test__DecodeMultipleBytes (passed)
comp_req__utils__base64_encoding	Base64 Encoding	ASIL_B	valid	Base64Test__EncodeEmptyString (passed); Base64Test__EncodeSingleByte (passed); Base64Test__EncodeTwoBytes (passed); Base64Test__EncodeMultipleBytes (passed)
comp_req__utils__threadsafe_singleton	Thread-Safe Singleton Instance Creation	ASIL_B	valid

Test Coverage

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

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

Component Architecture Statistics

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__condition_variable	Interruptible Condition Variable	ASIL_B	valid
comp_req__concurrency__delayed_task	Delayed Task Execution	ASIL_B	valid
comp_req__concurrency__error_handling	Future Error Handling	ASIL_B	valid
comp_req__concurrency__executor_interface	Executor Interface	ASIL_B	valid
comp_req__concurrency__interruptible_wait	Interruptible Wait Utilities	ASIL_B	valid
comp_req__concurrency__long_running_threads	Long-Running Threads Container	ASIL_B	valid
comp_req__concurrency__memory_reservation	Memory Reservation	ASIL_B	valid
comp_req__concurrency__memory_usage_control	Memory Usage Control	ASIL_B	valid
comp_req__concurrency__notification	Notification Mechanism	ASIL_B	valid
comp_req__concurrency__operation_timeout	Operation Timeout Protection	ASIL_B	valid
comp_req__concurrency__periodic_task	Periodic Task Execution	ASIL_B	valid
comp_req__concurrency__simple_task	Simple Task Implementation	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)
comp_req__concurrency__task_cancellation	Task Cancellation	ASIL_B	valid
comp_req__concurrency__task_interface	Asynchronous Task Execution	ASIL_B	valid
comp_req__concurrency__task_result	Task Result Management	ASIL_B	valid
comp_req__concurrency__thread_count_reporting	Thread Count Reporting	ASIL_B	valid
comp_req__concurrency__thread_pool	Thread Pool Implementation	ASIL_B	valid

Test Coverage

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

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

Component Architecture Statistics

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__coverage_termination	Code Coverage Termination	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__safe_math	Safe Arithmetic Operations	ASIL_B	valid

Test Coverage

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

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

OS

---

Component Requirements Statistics

Component Architecture Statistics

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__os__env_get	Environment variable getting	ASIL_B	valid	StdlibImpl__getenv_exist (passed); StdlibImpl__getenv_nonexist (passed); StdlibImpl__getenv_error (passed)
comp_req__os__env_set	Environment variable setting	ASIL_B	valid	StdlibImpl__setenv (passed); StdlibImpl__setenv_error (passed)
comp_req__os__env_unset	Environment variable unsetting	ASIL_B	valid	StdlibImpl__unsetenv (passed); StdlibImpl__unsetenv_error (passed)

Test Coverage

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

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__os	OS 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__os_req_inspection	Status draft
wp__sw_arch_verification	Architecture Inspection	ID doc__os_arc_inspection	Status valid
wp__sw_implementation_inspection	Implementation Inspection	ID doc__os_impl_inspection	Status draft
wp__sw_component_dfa	DFA	ID doc__os_dfa	Status draft
wp__sw_component_fmea	FMEA	ID doc__os_fmea	Status draft

FlatBuffers

---

Component Requirements Statistics

Component Architecture Statistics

No needs passed the filters

No needs passed the filters

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__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__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__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)
comp_req__flatbuffers__verification	FlatBuffers Verification	ASIL_B	valid
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)

Test Coverage

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

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

Component Architecture Statistics

No needs passed the filters

No needs passed the filters

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__calculation_interface	Hash Computation from Byte Data	ASIL_B	valid	Crc32IeeeTest__Hash (passed); Crc32IeeeTest__TwoUpdates (passed); 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); 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	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); HashIdentify__CorrectSizes (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)
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__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); WorkingDigests/HashCalculatorFactoryCreationTest/0__CalculateSha256 (passed); WorkingDigests/HashCalculatorFactoryCreationTest/1__CalculateSha256 (passed); HashIdentify__CorrectSizes (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)

Test Coverage

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

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

Component Architecture Statistics

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__compile_eff	Compile-Time Efficiency	ASIL_B	valid
comp_req__static_reflect_serial__container	Automatic Container Iteration	ASIL_B	valid	ostream_visitor__basic (passed); ostream_visitor__compound (passed); 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); 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); vistor_type_traits__is_vector_serializable (passed); vistor_type_traits__is_not_vector_serializable (passed)
comp_req__static_reflect_serial__header_only	Header-Only Implementation	ASIL_B	valid
comp_req__static_reflect_serial__nested	Nested Type Support	ASIL_B	valid	ostream_visitor__compound (passed); 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)
comp_req__static_reflect_serial__reflect	Static Reflection Support	ASIL_B	valid	detail__extract_type (passed); detail__skip_trailing_space (passed); struct_visitor__struct_visitable (passed); struct_visitor__TemplatedStructShallNotContainTrailingWhitespace (passed); struct_visitor_utils__TupleToArrayTest (passed); 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)
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

Per-source-file line and branch coverage aggregated from the LCOV report produced by bazel coverage.

Show test coverage table

Note

No coverage data available for this component. Run bazel coverage with the corresponding targets and rebuild the docs to populate this table.

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

• Component Requirements Statistics