Module Verification Report

Module Verification Report		status: valid security: YES safety: QM
version: 1 realizes: wp__feature_arch
doc__baselibs_module_verification_report		Generic Document

This document provides a verification report of the Baselibs feature and its associated components.

Baselibs Verification Report		status: valid security: YES safety: ASIL_B
verification_method: test_and_inspection version: 1 belongs to: mod__baselibs
mod_vrep__baselibs__report		Module Verification Report

Feature

Name	Id	Safety	Security	Status
Baselibs	feat__baselibs	ASIL_B	YES	valid

Feature Requirements Statistics

Show requirements table

ID	Title	Safety	Status	Fully Verifies Back	Partially Verifies Back
feat_req__baselibs__abi_containers	ABI-Compatible Containers	ASIL_B	valid
feat_req__baselibs__bitmanipulation	Bit Manipulation Library	ASIL_B	valid
feat_req__baselibs__concurrency_library	Concurrency Library	ASIL_B	valid
feat_req__baselibs__containers_library	Container Library	ASIL_B	valid
feat_req__baselibs__filesystem_library	Filesystem Library	ASIL_B	valid
feat_req__baselibs__flatbuffers_library	FlatBuffers Library	QM	valid
feat_req__baselibs__hash_library	Hash Library	ASIL_B	valid
feat_req__baselibs__json_library	JSON Library	ASIL_B	valid
feat_req__baselibs__memory_library	Memory Library	ASIL_B	valid
feat_req__baselibs__multi_language_apis	Multi-Language APIs	ASIL_B	valid
feat_req__baselibs__panic_free_development	Panic-Free Development Support	ASIL_B	valid
feat_req__baselibs__result_library	Result Library	ASIL_B	valid
feat_req__baselibs__static_reflection_library	Static Reflection Library	ASIL_B	valid
feat_req__baselibs__utils_library	Utils Library	ASIL_B	valid

Feature Architecture Statistics

Show architectural elements table

ID	Title	Safety	Status	Tags
feat_arc_dyn__baselibs__dynamic_view_arch	Baselibs Dynamic View	ASIL_B	valid
feat_arc_sta__baselibs__static_view_arch	Baselibs Static View	ASIL_B	valid	inspected

Feature Inspection Statistics

Presence of the feature-level inspection work products.

Show work products table

Work Product	Kind	Realized by	Status
wp__requirements_inspect	Requirements Inspection	ID doc__baselibs_req_inspection	Status valid
wp__sw_arch_verification	Architecture Inspection	ID doc__baselibs_arc_inspection	Status valid

Components

Component Overview

Component	Safety	Security	Status
comp__baselibs_abi_compatible_data_types	ASIL_B	YES	valid
comp__baselibs_bit_manipulation	ASIL_B	NO	valid
comp__baselibs_concurrency	ASIL_B	YES	valid
comp__baselibs_containers	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_memory_shared	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

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	Fully Verifies Back	Partially Verifies Back
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
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 inspected tag; elements without that tag 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

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	Fully Verifies Back	Partially Verifies Back
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
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	valid
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 inspected tag; elements without that tag 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	Fully Verifies Back	Partially Verifies Back
comp_req__result__deterministic_behavior	Deterministic Behavior	ASIL_B	valid
comp_req__result__domain_error_information	Domain-Specific Error Information	ASIL_B	valid
comp_req__result__error_handling	Result-Based Error Handling	ASIL_B	valid
comp_req__result__exception_free_operation	Exception-Free Operation	ASIL_B	valid
comp_req__result__set_result	Set Result	ASIL_B	valid
comp_req__result__std_integration	Standard Library Integration	ASIL_B	valid
comp_req__result__type_safety	Type-Safe Error Handling	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 inspected tag; elements without that tag have not yet been inspected.

Show architectural elements table

ID	Title	Safety	Status	Tags
comp_arc_dyn__baselibs__result	Result Dynamic view	ASIL_B	valid
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	Fully Verifies Back	Partially Verifies Back
comp_req__bitmanipulation__bit_operations	Support for Bit Operations	ASIL_B	valid		testcase__CheckBit__OverflowWithUInt8_kqchk (passed); testcase__CheckBit__WithUInt8_gavap (passed); testcase__CheckBit__WithUInt64_acmyg (passed); testcase__ClearBit__OverflowWithUInt8_mcomn (passed); testcase__ClearBit__WithUInt8_oelbn (passed); testcase__ClearBit__WithUInt64_hrvig (passed); testcase__SetBit__OverflowWithUInt8_xseox (passed); testcase__SetBit__WithUInt8_qmpps (passed); testcase__SetBit__WithUInt64_tlxuu (passed); testcase__ToggleBit__OverflowWithUInt8_vrdhm (passed); testcase__ToggleBit__WithUInt8_icdur (passed); testcase__ToggleBit__WithUInt64_zxrdz (passed)
comp_req__bitmanipulation__bitmask_operators	Support for Bitmask Operators for Enum Classes	ASIL_B	valid		testcase__MyBitmask__SupportsAssignOperatorAnd_hdwfo (passed); testcase__MyBitmask__SupportsAssignOperatorAndMatching_ghdvh (passed); testcase__MyBitmask__SupportsAssignOperatorOr_dbecq (passed); testcase__MyBitmask__SupportsAssignOperatorOrMatching_yahyq (passed); testcase__MyBitmask__SupportsAssignOperatorXOr_vaick (passed); testcase__MyBitmask__SupportsAssignOperatorXOrMatching_pgtuv (passed); testcase__MyBitmask__SupportsOperatorAnd_zykbx (passed); testcase__MyBitmask__SupportsOperatorNot_kwbzp (passed); testcase__MyBitmask__SupportsOperatorOr_mvlfs (passed); testcase__MyBitmask__SupportsOperatorXor_dxbez (passed); testcase__MyBitmask__UnderlyingValuesMatchExpectations_jrkmq (passed)
comp_req__bitmanipulation__bounds_safety	Bounds and Safety Checks	ASIL_B	valid		testcase__CheckBit__OverflowWithUInt8_kqchk (passed); testcase__ClearBit__OverflowWithUInt8_mcomn (passed); testcase__SetBit__OverflowWithUInt8_xseox (passed); testcase__ToggleBit__OverflowWithUInt8_vrdhm (passed)
comp_req__bitmanipulation__byte_operations	Support for Byte and Half-Byte Operations	ASIL_B	valid		testcase__Byte__CanBeConstructedFromTwoBigHalfBytes_dmiiu (passed); testcase__Byte__CanBeConstructedFromTwoHalfBytes_lcitf (passed); testcase__Byte__CanBeConstructedFromTwoHalfBytesWithMaxValue_vspye (passed); testcase__Byte__CanBeConstructedFromTwoZeroHalfBytes_crbzy (passed); testcase__Byte__CanBeConstructedFromUInt8_rwiys (passed); testcase__Byte__CanBeConstructedFromUInt16IfInRange_kmvhv (passed); testcase__Extract__LowerHalfByteFromAByte_zlnpt (passed); testcase__Extract__LowerHalfByteFromAByteCanBeConvertedToUInt8_hzafm (passed); testcase__Extract__UpperHalfByteFromAByte_qazvf (passed); testcase__GetByte__FromInt8_rijjs (passed); testcase__GetByte__FromInt16_ndfas (passed); testcase__GetByte__FromInt32_zefrd (passed); testcase__GetByte__FromInt64_vjybb (passed); testcase__GetByte__FromUint8_gvkhl (passed); testcase__GetByte__FromUint16_jdznq (passed); testcase__GetByte__FromUint32_kcgfn (passed); testcase__GetByte__FromUint64_kaugy (passed); testcase__HalfByte__CanBeConstructedFromBigUInt8ButUpperHalfIsDropped_vqtcp (passed); testcase__HalfByte__CanBeConstructedFromUInt8_yflci (passed); testcase__HalfByte__CanBeConstructedFromUInt16IfInRange_dzjdk (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 inspected tag; elements without that tag 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	Fully Verifies Back	Partially Verifies Back
comp_req__containers__deterministic_behavior	Deterministic Behavior	ASIL_B	valid
comp_req__containers__dynamic_array	Dynamic Array	ASIL_B	valid
comp_req__containers__intrusive_list	Intrusive List	ASIL_B	valid
comp_req__containers__non_relocatable_vector	Non-Relocatable Vector	ASIL_B	valid
comp_req__containers__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 inspected tag; elements without that tag have not yet been inspected.

Show architectural elements table

ID	Title	Safety	Status	Tags
comp_arc_sta__baselibs__containers	Containers Static view	ASIL_B	valid

Verification & Safety Analysis Documents

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

Show work products table

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

Filesystem

---

Component Requirements Statistics

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	Fully Verifies Back	Partially Verifies Back
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 inspected tag; elements without that tag 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

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	Fully Verifies Back	Partially Verifies Back
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
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 inspected tag; elements without that tag 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	Fully Verifies Back	Partially Verifies Back
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
comp_req__safecpp__scoped_guards	Scoped Guards	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 inspected tag; elements without that tag 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

Static Reflection

---

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	Fully Verifies Back	Partially Verifies Back
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
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
comp_req__static_reflect_serial__reflect	Static Reflection Support	ASIL_B	valid
comp_req__static_reflect_serial__visitor	Generic Visitor Pattern	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 inspected tag; elements without that tag 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	ID doc__static_reflection_req_inspection	Status draft
wp__sw_arch_verification	Architecture Inspection	ID doc__static_reflection_arc_inspection	Status draft
wp__sw_implementation_inspection	Implementation Inspection	ID doc__static_reflection_impl_inspection	Status draft
wp__sw_component_dfa	DFA	ID doc__static_reflection_dfa	Status draft
wp__sw_component_fmea	FMEA	ID doc__static_reflection_fmea	Status draft

Hash

---

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	Fully Verifies Back	Partially Verifies Back
comp_req__hash__calculation_interface	Hash Computation from Byte Data	ASIL_B	valid
comp_req__hash__crc32_algorithm	CRC-32 Checksum Algorithm	ASIL_B	valid
comp_req__hash__factory_interface	Algorithm Selection via Factory	ASIL_B	valid
comp_req__hash__safe_computation	Exception-Free Error Propagation	ASIL_B	valid
comp_req__hash__sha_algorithms	Cryptographic Hash Algorithms	ASIL_B	valid
comp_req__hash__value_retrieval_bytes	Hash Value Retrieval as Raw Bytes	ASIL_B	valid
comp_req__hash__value_retrieval_hex	Hash Value Retrieval as Hexadecimal String	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 inspected tag; elements without that tag 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

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	Fully Verifies Back	Partially Verifies Back
comp_req__flatbuffers__access	FlatBuffers Access	ASIL_B	valid		testcase__LoadBufferPublicApiTest__PmrVectorOverloadErrorPathReturnsError_akiwl (passed); testcase__LoadBufferPublicApiTest__PmrVectorOverloadSuccessPathReturnsEmpty_lklgp (passed); testcase__LoadBufferPublicApiTest__VectorOverloadErrorPathReturnsError_wclkt (passed); testcase__LoadBufferPublicApiTest__VectorOverloadSuccessPathReturnsEmptyVector_jssdh (passed); testcase__LoadFlatbufferTest__CloseFailureAfterFstatErrorPropagatesFstatError_vvzzj (passed); testcase__LoadFlatbufferTest__CloseFailureAfterNegativeSizePropagatesInvalidArgument_legbt (passed); testcase__LoadFlatbufferTest__CloseFailureAfterReadErrorPropagatesOriginalError_cqdgg (passed); testcase__LoadFlatbufferTest__CloseFailureAfterSuccessfulReadPropagatesCloseError_czuyr (passed); testcase__LoadFlatbufferTest__CloseFailureOnEmptyFilePropagatesCloseError_fmorc (passed); testcase__LoadFlatbufferTest__DirectoryPathFailsOnReadWithIsADirectory_sphrz (passed); testcase__LoadFlatbufferTest__EmptyFileReturnsEmptyVector_peuqn (passed); testcase__LoadFlatbufferTest__FstatFailureReturnsErrorAndClosesFile_lgxql (passed); testcase__LoadFlatbufferTest__InterruptedReadIsRetried_ikhls (passed); testcase__LoadFlatbufferTest__LoadsBinaryContentIncludingNullBytes_wlfcm (passed); testcase__LoadFlatbufferTest__LoadsEmptyFileAsEmptyVector_eikwd (passed); testcase__LoadFlatbufferTest__LoadsFileContainingOnlyNullBytes_fplhd (passed); testcase__LoadFlatbufferTest__LoadsLarge5MBFileCorrectly_katyw (passed); testcase__LoadFlatbufferTest__LoadsRegularFileContents_npzay (passed); testcase__LoadFlatbufferTest__LoadsSingleByteFile_cxzfv (passed); testcase__LoadFlatbufferTest__MultipleInterruptsFollowedBySuccessfulRead_xkzss (passed); testcase__LoadFlatbufferTest__NegativeFileSizeReturnsErrorAndClosesFile_vncup (passed); testcase__LoadFlatbufferTest__NonexistentFileReturnsError_ugpej (passed); testcase__LoadFlatbufferTest__NoReadPermissionReturnsPermissionDenied_kcsji (passed); testcase__LoadFlatbufferTest__OpenFailureReturnsError_efpvu (passed); testcase__LoadFlatbufferTest__PartialReadsAreHandledCorrectly_xrkqf (passed); testcase__LoadFlatbufferTest__PmrOverloadFailsOnResize_yalvq (passed); testcase__LoadFlatbufferTest__ReadErrorAfterPartialReadReportsError_zngwc (passed); testcase__LoadFlatbufferTest__ReadFailureReturnsErrorAndClosesFile_mnvsh (passed); testcase__LoadFlatbufferTest__ReadReturnsZeroBytesReportsUnexpectedEof_xcfjg (passed); testcase__LoadFlatbufferTest__ResizeBadAllocReturnsEnomemAndClosesFile_tmenb (passed); testcase__LoadFlatbufferTest__ResizeCustomExceptionReturnsErrorAndClosesFile_vwxpx (passed); testcase__LoadFlatbufferTest__UnexpectedEofAfterPartialReadReportsError_drpmd (passed)
comp_req__flatbuffers__asil	FlatBuffers library ASIL level	ASIL_B	valid		testcase__IdlParserTest__VersionStringIsNonEmptyAndHasDotSeparatedFormat_kwrqg (passed)
comp_req__flatbuffers__buffer_identification	Common Buffer Identification	ASIL_B	valid		testcase__AllVersionBuffers/VersionReaderBufferParamTest__ReadBufferVersionFromBinary/MaxRangeVersion_yqgme (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__ReadBufferVersionFromBinary/MaxVersion_olwxm (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__ReadBufferVersionFromBinary/MinRangeVersion_qnmgt (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__ReadBufferVersionFromBinary/MinVersion_dhdpl (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__ReadBufferVersionFromBinary/Normal_pynpk (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__ReadBufferVersionFromBinary/NormalExplicitIds_jkxod (passed); testcase__BoundaryValues/BufferVersionInfoEqualityTest__OperatorEquals/EqualMidValues_brgoq (passed); testcase__BoundaryValues/BufferVersionInfoEqualityTest__OperatorEquals/IdentifierMaxVsMid_lxbfq (passed); testcase__BoundaryValues/BufferVersionInfoEqualityTest__OperatorEquals/IdentifierMinVsMid_qxvns (passed); testcase__BoundaryValues/BufferVersionInfoEqualityTest__OperatorEquals/MajorMaxVsMaxMinusOne_vhamp (passed); testcase__BoundaryValues/BufferVersionInfoEqualityTest__OperatorEquals/MajorMinVsMinPlusOne_tyhqo (passed); testcase__BoundaryValues/BufferVersionInfoEqualityTest__OperatorEquals/MinorMaxVsMaxMinusOne_cazyx (passed); testcase__BoundaryValues/BufferVersionInfoEqualityTest__OperatorEquals/MinorMinVsMinPlusOne_djicq (passed); testcase__BoundaryValues/BufferVersionInfoEqualityTest__OperatorNotEquals/EqualMidValues_mlrca (passed); testcase__BoundaryValues/BufferVersionInfoEqualityTest__OperatorNotEquals/IdentifierMaxVsMid_ifuch (passed); testcase__BoundaryValues/BufferVersionInfoEqualityTest__OperatorNotEquals/IdentifierMinVsMid_nwzsd (passed); testcase__BoundaryValues/BufferVersionInfoEqualityTest__OperatorNotEquals/MajorMaxVsMaxMinusOne_kejrv (passed); testcase__BoundaryValues/BufferVersionInfoEqualityTest__OperatorNotEquals/MajorMinVsMinPlusOne_wohvr (passed); testcase__BoundaryValues/BufferVersionInfoEqualityTest__OperatorNotEquals/MinorMaxVsMaxMinusOne_bbnhr (passed); testcase__BoundaryValues/BufferVersionInfoEqualityTest__OperatorNotEquals/MinorMinVsMinPlusOne_bcrfj (passed); testcase__BoundaryValues/VersionBufferParamTest__ReadsIdentifierAndVersionCorrectly/MajorOneMinMinor_rphir (passed); testcase__BoundaryValues/VersionBufferParamTest__ReadsIdentifierAndVersionCorrectly/MaxByteIdentifier_qizdo (passed); testcase__BoundaryValues/VersionBufferParamTest__ReadsIdentifierAndVersionCorrectly/MaxMajorNearMaxMinor_ripva (passed); testcase__BoundaryValues/VersionBufferParamTest__ReadsIdentifierAndVersionCorrectly/MaxMaxVersion_lsole (passed); testcase__BoundaryValues/VersionBufferParamTest__ReadsIdentifierAndVersionCorrectly/MinMajorMinorOne_osjxr (passed); testcase__BoundaryValues/VersionBufferParamTest__ReadsIdentifierAndVersionCorrectly/MinMinVersion_ephhs (passed); testcase__BoundaryValues/VersionBufferParamTest__ReadsIdentifierAndVersionCorrectly/TypicalValues_kmuwe (passed); testcase__InvalidIdentifier/InvalidIdentifierTest__GetVersionRejectsBufferWithInvalidIdentifier/MaxInvalidByteIdentifier_fxtrb (passed); testcase__InvalidIdentifier/InvalidIdentifierTest__GetVersionRejectsBufferWithInvalidIdentifier/MinInvalidByteIdentifier_ojybr (passed); testcase__VersionBufferNullByteIdentifierTest__BuildingBufferWithNullByteIdentifierAborts_mecbo (passed); testcase__VersionReaderTest__GetVersionRejectsBufferWithMissingIdentifier_csnsh (passed); testcase__VersionReaderTest__GetVersionRejectsBufferWithNullIdentifier_rgszv (passed); testcase__VersionReaderTest__GetVersionRejectsBufferWithoutVersionInfo_nthgk (passed); testcase__VersionReaderTest__GetVersionRejectsEmptyBuffer_ionlc (passed); testcase__VersionReaderTest__GetVersionRejectsEmptyTypeMarker_wssdj (passed); testcase__VersionReaderTest__GetVersionRejectsGarbageBuffer_mfiys (passed); testcase__VersionReaderTest__GetVersionRejectsInvalidBuffer_xshvw (passed); testcase__VersionReaderTest__GetVersionRejectsNullPointer_irfbg (passed); testcase__VersionReaderTest__GetVersionRejectsNullTypeMarker_oizso (passed); testcase__VersionReaderTest__GetVersionRejectsTooSmallBuffer_behyd (passed); testcase__VersionReaderTest__GetVersionRejectsTooSmallBuffer_zhiyd (passed); testcase__VersionReaderTest__GetVersionRejectsWrongTypeMarker_clbue (passed); testcase__VersionReaderTest__GetVersionReturnsNullDataPointerWhenEnvelopeIsNull_eeclm (passed); testcase__VersionReaderTest__GetVersionSpanRejectsNullPointer_bcdmz (passed); testcase__VersionReaderTest__GetVersionVectorRejectsEmptyVector_wcsjt (passed); testcase__VersionReaderTest__MissingIdentifierNotDetectedDeduplicatedRootVtable_zpbkn (passed); testcase__VersionReaderTest__MissingIdentifierNotDetectedWideSchema_hfknm (passed); testcase__WrongFieldBuffers/VersionReaderWrongFieldTest__GetVersionRejectsBufferWithVersionInfoInWrongField/WrongField_uyxes (passed); testcase__WrongFieldBuffers/VersionReaderWrongFieldTest__GetVersionRejectsBufferWithVersionInfoInWrongField/WrongFieldSimilarType_staaf (passed)
comp_req__flatbuffers__serialization	FlatBuffers Serialization	ASIL_B	valid		testcase__AllocatorReallocateDownwardTest__AssertsWhenNewSizeEqualsOldSize_hqozy (passed); testcase__AllocatorReallocateDownwardTest__AssertsWhenNewSizeSmallerThanOldSize_amycm (passed); testcase__AllocatorReallocateDownwardTest__PreserveFrontAndBackIfAllocatingNewSizeFails_ezqui (passed); testcase__AllocatorTest__AllocateLargeRegion_ofkgv (passed); testcase__AllocatorTest__AllocateReturnsNonNull_yrdhl (passed); testcase__AllocatorTest__AllocateSingleByte_dfeej (passed); testcase__AllocatorTest__UsableThroughBasePointer_rmhtr (passed); testcase__SizeRanges/AllocatorGrowsBufferTest__GrowsBuffer/0_xfach (passed); testcase__SizeRanges/AllocatorGrowsBufferTest__GrowsBuffer/1_qqgio (passed); testcase__SizeRanges/AllocatorGrowsBufferTest__GrowsBuffer/2_pmyyq (passed); testcase__SizeRanges/AllocatorGrowsBufferTest__GrowsBuffer/3_qdxvm (passed); testcase__SizeRanges/AllocatorPreservesBackDataTest__PreservesBackData/0_vkmoa (passed); testcase__SizeRanges/AllocatorPreservesBackDataTest__PreservesBackData/1_kzywm (passed); testcase__SizeRanges/AllocatorPreservesBackDataTest__PreservesBackData/2_fnneh (passed); testcase__SizeRanges/AllocatorPreservesBothDataTest__PreservesBothFrontAndBackData/0_gnsga (passed); testcase__SizeRanges/AllocatorPreservesBothDataTest__PreservesBothFrontAndBackData/1_izozj (passed); testcase__SizeRanges/AllocatorPreservesBothDataTest__PreservesBothFrontAndBackData/2_pagzh (passed); testcase__SizeRanges/AllocatorPreservesFrontDataTest__PreservesFrontData/0_uoscb (passed); testcase__SizeRanges/AllocatorPreservesFrontDataTest__PreservesFrontData/1_aajsz (passed); testcase__SizeRanges/AllocatorPreservesFrontDataTest__PreservesFrontData/2_lfzzl (passed)
comp_req__flatbuffers__verification	FlatBuffers Verification	ASIL_B	valid		testcase__FlatbuffersErrorDomainTest__ProvidesMessageForEveryErrorCode_veelx (passed)
comp_req__flatbuffers__version_check	Common Version Check	ASIL_B	valid		testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/MaxRangeVersion_hqbon (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/MaxVersion_xlhlt (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/MinRangeVersion_urhte (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/MinVersion_luibr (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/Normal_kzque (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/NormalExplicitIds_hfbii (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMajorMismatch/MaxRangeVersion_osipw (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMajorMismatch/MaxVersion_hpjgd (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMajorMismatch/MinRangeVersion_otvkx (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMajorMismatch/MinVersion_pyupc (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMajorMismatch/Normal_etgwv (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMajorMismatch/NormalExplicitIds_nkhto (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMinorMismatch/MaxRangeVersion_pftxu (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMinorMismatch/MaxVersion_benee (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMinorMismatch/MinRangeVersion_nmqoq (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMinorMismatch/MinVersion_tmpdp (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMinorMismatch/Normal_mgkfe (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnMinorMismatch/NormalExplicitIds_eujcu (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnVersionInfoMismatch/MaxRangeVersion_ziywe (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnVersionInfoMismatch/MaxVersion_rmpsu (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnVersionInfoMismatch/MinRangeVersion_hpmhp (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnVersionInfoMismatch/MinVersion_lznnk (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnVersionInfoMismatch/Normal_jqkzn (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionFailsOnVersionInfoMismatch/NormalExplicitIds_zldmt (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/MaxRangeVersion_ymtwo (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/MaxVersion_hzvyn (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/MinRangeVersion_eaqfg (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/MinVersion_luwqa (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/Normal_lyipw (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/NormalExplicitIds_dkwrj (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/MaxRangeVersion_hakiv (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/MaxVersion_fujgy (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/MinRangeVersion_vhtda (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/MinVersion_aevqi (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/Normal_iheyo (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/NormalExplicitIds_jdyqo (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/MaxRangeVersion_ukyed (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/MaxVersion_peqzj (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/MinRangeVersion_ollmg (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/MinVersion_njqog (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/Normal_mmail (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/NormalExplicitIds_rjjsp (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenAllWrong/MaxRangeVersion_aodly (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenAllWrong/MaxVersion_fpcps (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenAllWrong/MinRangeVersion_gbfqg (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenAllWrong/MinVersion_tikpy (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenAllWrong/Normal_hyuqd (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumFailsWhenAllWrong/NormalExplicitIds_uzmmf (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/MaxRangeVersion_vmzfq (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/MaxVersion_lahsf (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/MinRangeVersion_xuwrb (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/MinVersion_cyyps (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/Normal_vwler (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/NormalExplicitIds_guwll (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenAllEqual/MaxRangeVersion_yykvq (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenAllEqual/MaxVersion_kgsfp (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenAllEqual/MinRangeVersion_cdjyl (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenAllEqual/MinVersion_ufzoe (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenAllEqual/Normal_psujf (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenAllEqual/NormalExplicitIds_yinku (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionSucceedsOnMatch/MaxRangeVersion_snboa (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionSucceedsOnMatch/MaxVersion_kulae (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionSucceedsOnMatch/MinRangeVersion_fpmhe (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionSucceedsOnMatch/MinVersion_jmkpa (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionSucceedsOnMatch/Normal_mhbep (passed); testcase__AllVersionBuffers/VersionReaderBufferParamTest__VerifyVersionSucceedsOnMatch/NormalExplicitIds_plsad (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionExactMatchSucceeds/MajorOneMinMinor_nxjwa (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionExactMatchSucceeds/MaxByteIdentifier_gzcyq (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionExactMatchSucceeds/MaxMajorNearMaxMinor_cedvb (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionExactMatchSucceeds/MaxMaxVersion_kqisq (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionExactMatchSucceeds/MinMajorMinorOne_fbqzp (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionExactMatchSucceeds/MinMinVersion_gmaxf (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionExactMatchSucceeds/TypicalValues_iuzxl (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/MajorOneMinMinor_ueswv (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/MaxByteIdentifier_gwpkh (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/MaxMajorNearMaxMinor_kbpkn (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/MaxMaxVersion_xizjt (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/MinMajorMinorOne_syvck (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/MinMinVersion_jtfbc (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnIdentifierMismatch/TypicalValues_nezxy (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnMajorMismatch/MajorOneMinMinor_dmgew (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnMajorMismatch/MaxByteIdentifier_zzkdd (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnMajorMismatch/MaxMajorNearMaxMinor_lzkax (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnMajorMismatch/MaxMaxVersion_zlyhw (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnMajorMismatch/MinMajorMinorOne_pavtj (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnMajorMismatch/MinMinVersion_jejhe (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnMajorMismatch/TypicalValues_difau (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnMinorMismatch/MajorOneMinMinor_bpsws (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnMinorMismatch/MaxByteIdentifier_hzcte (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnMinorMismatch/MaxMajorNearMaxMinor_qlawb (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnMinorMismatch/MaxMaxVersion_yljdr (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnMinorMismatch/MinMajorMinorOne_yptvc (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnMinorMismatch/MinMinVersion_lwrmq (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionFailsOnMinorMismatch/TypicalValues_tndzh (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/MajorOneMinMinor_weysx (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/MaxByteIdentifier_xvwwa (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/MaxMajorNearMaxMinor_vznpb (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/MaxMaxVersion_hnjgd (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/MinMajorMinorOne_yskmm (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/MinMinVersion_ukhmd (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsOnIdentifierMismatch/TypicalValues_bxrfw (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/MajorOneMinMinor_lqjca (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/MaxByteIdentifier_atile (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/MaxMajorNearMaxMinor_tqybe (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/MaxMaxVersion_ywqte (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/MinMajorMinorOne_wiwpy (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/MinMinVersion_ndzjg (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsOnMajorMismatch/TypicalValues_eslqc (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/MajorOneMinMinor_guhrr (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/MaxByteIdentifier_xexfi (skipped); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/MaxMajorNearMaxMinor_efjbo (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/MaxMaxVersion_mffhm (skipped); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/MinMajorMinorOne_zhmob (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/MinMinVersion_bpbvd (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumFailsWhenActualMinorIsLower/TypicalValues_ztokw (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/MajorOneMinMinor_sttie (skipped); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/MaxByteIdentifier_ctvbc (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/MaxMajorNearMaxMinor_xpkhn (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/MaxMaxVersion_duscz (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/MinMajorMinorOne_gzxks (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/MinMinVersion_zoqmd (skipped); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenActualMinorIsHigher/TypicalValues_xympr (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenMinorEquals/MajorOneMinMinor_lkzqx (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenMinorEquals/MaxByteIdentifier_xwkes (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenMinorEquals/MaxMajorNearMaxMinor_jrovg (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenMinorEquals/MaxMaxVersion_vpvaq (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenMinorEquals/MinMajorMinorOne_xqyru (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenMinorEquals/MinMinVersion_dscbo (passed); testcase__BoundaryValues/VersionBufferParamTest__VerifyVersionMinorMinimumSucceedsWhenMinorEquals/TypicalValues_alaoo (passed); testcase__FlatbuffersErrorDomainTest__ProvidesMessageForEveryErrorCode_veelx (passed); testcase__VersionReaderTest__VerifyVersionPropagatesGetVersionError_ymtcf (passed); testcase__VersionReaderTest__VerifyVersionVectorRejectsEmptyVector_wrpcy (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 inspected tag; elements without that tag 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

Abi Compatible Data Types

---

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	Fully Verifies Back	Partially Verifies Back
comp_req__abi_compatible_data_types__abo_api	AbiOption API	ASIL_B	valid
comp_req__abi_compatible_data_types__abo_flg	AbiOption is_some flag	ASIL_B	valid
comp_req__abi_compatible_data_types__abs_fld	AbiString field semantics	ASIL_B	valid
comp_req__abi_compatible_data_types__abs_noa	AbiString API	ASIL_B	valid
comp_req__abi_compatible_data_types__abs_ovf	AbiString overflow check	ASIL_B	valid
comp_req__abi_compatible_data_types__abv_fld	AbiVec field semantics	ASIL_B	valid
comp_req__abi_compatible_data_types__abv_noa	AbiVec API	ASIL_B	valid
comp_req__abi_compatible_data_types__abv_ovf	AbiVec overflow check	ASIL_B	valid
comp_req__abi_compatible_data_types__ari_api	AbiResult API	ASIL_B	valid
comp_req__abi_compatible_data_types__ari_flg	AbiResult is_err flag	ASIL_B	valid
comp_req__abi_compatible_data_types__arr_fix	Fixed-size arrays	ASIL_B	valid
comp_req__abi_compatible_data_types__bool_sz	Restrict boolean size	ASIL_B	valid
comp_req__abi_compatible_data_types__char	Characters	ASIL_B	valid
comp_req__abi_compatible_data_types__compabi	Compiler-agnostic ABI	ASIL_B	valid
comp_req__abi_compatible_data_types__enum_udr	Explicit enum representation	ASIL_B	valid
comp_req__abi_compatible_data_types__flt_sz	Limit floating-point sizes	ASIL_B	valid
comp_req__abi_compatible_data_types__int_fix	Fixed-width integers	ASIL_B	valid
comp_req__abi_compatible_data_types__nop_mt	Disallow pointers and metadata	ASIL_B	valid
comp_req__abi_compatible_data_types__prv_abo	Provide AbiOption<T>	ASIL_B	valid
comp_req__abi_compatible_data_types__prv_abs	Provide AbiString<N>	ASIL_B	valid
comp_req__abi_compatible_data_types__prv_abv	Provide AbiVec<T,N>	ASIL_B	valid
comp_req__abi_compatible_data_types__prv_ari	Provide AbiResult<T,E>	ASIL_B	valid
comp_req__abi_compatible_data_types__st_tpl	Struct and tuple ABI layout	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 inspected tag; elements without that tag 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