Verification Report#

Logging Module Verification Report		status: draft security: NO safety: ASIL_B
version: 1 realizes: wp__verification_module_ver_report

doc__logging_verification_report		Generic Document

Components#

Component Overview#

Component	Safety	Security	Status
comp__datarouter	QM	YES	valid
comp__mw_log_backend	ASIL_B	YES	valid

Datarouter#

Component Requirements Statistics#

Component Architecture Statistics#

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__data_router__dlt_bw_quota_config	DLT Bandwidth Quota Configuration	QM	valid	DltServerCreatedWithConfigFixture__GetQuotaCorrectAppNameExpectCorrectValue (passed)
comp_req__data_router__dlt_message_filtering	DLT Message Filtering	QM	valid	DltChannelTest__WhenLogLevelExceedsThreshold_Verbose (passed); DltChannelTest__WhenNonVerboseLogLevelExceedsThreshold (passed)
comp_req__data_router__dlt_multiple_channels	DLT Multiple Channel Support	QM	valid	DltChannelTest__WhenCreatedDefault (passed)
comp_req__data_router__dlt_quota_bw_reduction	DLT Quota Bandwidth Reduction	QM	valid
comp_req__data_router__dlt_server	Datarouter DLT Server	QM	valid	DltServerCreatedWithoutConfigFixture__WhenCreatedDefault (passed)
comp_req__data_router__dlt_verbose_messages	DLT Verbose Messages	QM	valid	DltChannelTest__WhenSendingVerboseTwice (passed); DltVerboseHandlerTest__sendVerboseTest (passed)

Test Coverage#

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

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.

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

mw::log Backend#

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__log__autosar_log_trace_spec	AUTOSAR Log and Trace Specification	QM	valid	DltMessageBuilderFixture__ShallDepleteAfterHeaderAndPayload (passed)
comp_req__log__avoid_locks	Avoid Locks	ASIL_B	valid	CommonTests__TypesShallBeLockFree (passed); WaitFreeLinearWriter__EnsureAtomicRequirements (passed)
comp_req__log__avoid_signal_processing	Avoid Signal Processing	ASIL_B	valid
comp_req__log__cross_locking	Cross-Locking Prevention	ASIL_B	valid	WaitFreeAlternatingWriterTests__EnsureAtomicRequirements (passed); WaitFreeLinearWriter__EnsureAtomicRequirements (passed)
comp_req__log__dlt_verbose_mode	DLT Verbose Mode	QM	valid	DataRouterBackendFixture__LogLevelVerbose (passed)
comp_req__log__file_descriptor_flags	File Descriptor Flags	ASIL_B	valid	WriterFactoryFixture__WhenTheFileExistsItShallBeUnlinked (passed); FileRecorderFactoryConfigFixture__FileConfigurionShallCallFileCreationAndReturnFileRecorder (passed)
comp_req__log__forward_to_system_logger	Forward to System Logger	QM	valid
comp_req__log__inactive_logstream	Inactive LogStream Behavior	QM	valid
comp_req__log__index_size_checking	Index and Size Checking	ASIL_B	valid	LinearReaderTests__LengthExceedingMaxThresholdShouldReturnEmpty (passed)
comp_req__log__local_allocation_strategy	Local Allocation Strategy	ASIL_B	valid	RecorderFactoryConfigFixture__RemoteConfiguredShallReturnDataRouterRecorder (passed); FileRecorderFixture__TooManyArgumentsWillYieldTruncatedLog (passed)
comp_req__log__memory_bound_checking	Memory Bound Checking	ASIL_B	valid	SharedMemoryReaderFixture__GetterShallReadSharedDataNumberOfDropsInvalidSize (passed)
comp_req__log__no_endless_loops	No Endless Loops	ASIL_B	valid	WaitFreeLinearWriter__WriteBufferFullShouldReturnExpectedData (passed)
comp_req__log__send_to_datarouter	Send Messages to Datarouter	QM	valid
comp_req__log__shm_file_permissions	Shared Memory File Permissions	ASIL_B	valid
comp_req__log__system_backend_activation	System Backend Activation	QM	valid

Test Coverage#

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

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.

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

Quality Stats