Verification Report

Logging Module Verification Report		status: valid security: NO safety: ASIL_B
verification_method: test_and_inspection version: 1 realizes: wp__verification_module_ver_report belongs to: mod__logging
mod_vrep__logging__report		Module Verification Report

Legend — status values and chart colours

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

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

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

Components

Component Overview

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

Datarouter

---

Component Requirements Statistics

ASIL B — Requirements

no ASIL B requirements

QM — Requirements

Component Architecture Statistics

ASIL B — Architecture Elements

no ASIL B architecture elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

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

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__data_router__dlt_udp_multicast	DLT Server UDP Multicast Transport	QM	valid
comp_req__data_router__config_file	Datarouter Configuration File	QM	valid
comp_req__data_router__dlt_channel_config	DLT Channel Configuration	QM	valid
comp_req__data_router__dlt_multiple_channels	DLT Multiple Channel Support	QM	valid	SocketserverConfigTest__ReadCorrectLogChannelsNoErrorsExpected (passed); DltChannelTest__WhenCreatedDefault (passed)
comp_req__data_router__dlt_message_filtering	DLT Message Filtering	QM	valid	SocketserverConfigTest__ReadCorrectLogChannelsNoErrorsExpected (passed); SocketserverConfigTest__JsonFilteringEnabledExpectConfigFilterTrue (passed); DltChannelTest__WhenLogLevelExceedsThreshold_Verbose (passed); DltChannelTest__WhenNonVerboseLogLevelExceedsThreshold (passed)
comp_req__data_router__dlt_bw_quota_config	DLT Bandwidth Quota Configuration	QM	valid	SocketserverConfigTest__JsonQuotasEnabledExpectConfigFilterTrue (passed); DataRouterTest__QuotaValueAsStringMethodShallReturnunlimitedIfTheQuotaIsBiggerThanOrEqualToTheMax (passed); DltServerCreatedWithConfigFixture__GetQuotaCorrectAppNameExpectCorrectValue (passed)
comp_req__data_router__dlt_quota_bw_reduction	DLT Quota Bandwidth Reduction	QM	valid	SocketserverConfigTest__JsonQuotasEnabledActivated (passed); SocketserverConfigTest__JsonQuotasEnabledDeactivated (passed); SourceSessionTestFixture__ProcessAndRouteLogMessagesQuotaLimitExceeded (passed); DataRouterTestFixture__TestQuotaOverEnforcementWithZeroTimeDuration (passed); DataRouterTestFixture__TestQuotaEnforcementWithTimeDurationBiggerThanZero (passed); DataRouterTestFixture__TestQuotaOverLimitationWithTimeDurationBiggerThanZero (passed); DataRouterTestFixture__TestQuotaLimitationWithTimeDurationBiggerThanZeroWithQuotaEnforcementEnabled (passed); DltServerCreatedWithoutConfigFixture__QuotaEnforcementEnabledExpectFalse (passed); DltServerCreatedWithoutConfigFixture__QuotaEnforcementEnabledExpectTrue (passed)
comp_req__data_router__dlt_server	Datarouter DLT Server	QM	valid	UdpStreamOutputFixture__SendMethodShallSucceedIfSendmmsgSucceeded (passed); DataRouterTestFixture__ConstructionAndDestructionOnStack (passed); DataRouterTestFixture__ConstructionAndDestructionOnHeap (passed); DataRouterTestFixture__TestUsingTheDefaultStackAndRingSizesIfTheUserProvidesZeros (passed); DataRouterTestFixture__TestSomeConditionsInsideTickMethodWithDisablingDlt (passed); DltServerCreatedWithoutConfigFixture__WhenCreatedDefault (passed)
comp_req__data_router__dlt_verbose_messages	DLT Verbose Messages	QM	valid	SourceSessionTestFixture__TryFinalizeAcquisitionIsBlockReleased (passed); SourceSessionTestFixture__TryFinalizeAcquisitionIsBlockNotReleased (passed); SourceSessionTestFixture__ProcessAndRouteLogMessagesAcquireFinalized (passed); SourceSessionTestFixture__ProcessAndRouteLogMessagesBlockExpectedToBeNextDataAvailable (passed); SourceSessionTestFixture__ProcessAndRouteLogMessagesBlockExpectedToBeNextDataNotAvailable (passed); SourceSessionTestFixture__ProcessAndRouteLogMessagesNotBlockExpectedToBeNext (passed); SourceSessionTestFixture__RequestAcquire (passed); SourceSessionTestFixture__OnAcquireResponse (passed); SourceSessionTestFixture__IsSourceClosed (passed); SourceSessionTestFixture__ProcessDetachedLogsReaderUsed (passed); DataRouterTestFixture__WhenOnlySourceSession (passed); DataRouterTestFixture__WhenMessageHandledFromRw (passed); DataRouterTestFixture__TestDifferentCountsOfMessagesDropped (passed); DataRouterTestFixture__TestDifferentCountsOfInvalidSizeMessagesDropped (passed); DataRouterTestFixture__CreatingNewSessionShallFailIfTheFileDescriptorIsZero (passed); DataRouterTestFixture__OnSessionDetached (passed); DataRouterTestFixture__OnSessionDetachedWithError (passed); DltVerboseHandlerTest__sendVerboseTest (passed); DltChannelTest__WhenSendingVerboseTwice (passed)

Test Coverage

No coverage data available for this component.

Architectural Elements

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

Show architectural elements table

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	ID doc__datarouter_req_inspection	Status draft
wp__sw_arch_verification	Architecture Inspection	No needs passed the filters	No needs passed the filters
wp__sw_implementation_inspection	Implementation Inspection	ID doc__datarouter_impl_inspection	Status draft
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

ASIL B — Requirements

QM — Requirements

Component Architecture Statistics

ASIL B — Architecture Elements

QM — Architecture Elements

no QM architecture elements

Requirements Traceability

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

Show requirements table

ID	Title	Safety	Status	Testlink
comp_req__log__shm_file_permissions	Shared Memory File Permissions	ASIL_B	valid
comp_req__log__index_size_checking	Index and Size Checking	ASIL_B	valid	LinearReaderTests__LengthExceedingMaxThresholdShouldReturnEmpty (passed)
comp_req__log__cross_locking	Cross-Locking Prevention	ASIL_B	valid	WaitFreeAlternatingWriterTests__EnsureAtomicRequirements (passed); WaitFreeLinearWriter__EnsureAtomicRequirements (passed)
comp_req__log__avoid_locks	Avoid Locks	ASIL_B	valid	WaitFreeLinearWriter__EnsureAtomicRequirements (passed); CommonTests__TypesShallBeLockFree (passed)
comp_req__log__local_allocation_strategy	Heap Allocation Only During Initialization	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__file_descriptor_flags	File Descriptor Flags	ASIL_B	valid	WriterFactoryFixture__WhenTheFileExistsItShallBeUnlinked (passed); FileRecorderFactoryConfigFixture__FileConfigurionShallCallFileCreationAndReturnFileRecorder (passed)
comp_req__log__avoid_signal_processing	Avoid Signal Processing	ASIL_B	valid	SignalHandlingTest__PThreadBlockSigTerm_AllSucceed_ReturnsSuccess (passed)
comp_req__log__remote_backend_activation	Remote Backend Activation	QM	valid
comp_req__log__log_loss_detect	Message Loss Detection	QM	valid
comp_req__log__write_to_local_file	Write to Local File	QM	valid
comp_req__log__file_backend_activation	File Backend Activation	QM	valid
comp_req__log__dlt_verbose_mode	DLT Verbose Mode	QM	valid	DataRouterBackendFixture__LogLevelVerbose (passed)
comp_req__log__send_to_datarouter	Send Messages to Datarouter	QM	valid	DataRouterBackendFixture__LogLevelVerbose (passed); DatarouterMessageClientFixture__ConnectToDatarouterShouldSendConnectMessage (passed); DatarouterMessageClientFixture__AcquireNotifyShouldSendExpectedAcquireResponse (passed)
comp_req__log__inactive_logstream	Inactive LogStream Behavior	QM	valid	DataRouterRecorderFixtureWithLogLevelCheck__WillObtainEmptySlotForInsufficentLogLevel (passed); DataRouterRecorderFixtureWithLogLevelCheck__DisablesOrEnablesLogAccordingToLevel (passed)
comp_req__log__forward_to_system_logger	Forward to System Logger	QM	valid	SyslogBackendFixture__SyslogOpenlog (passed)
comp_req__log__autosar_log_trace_spec	AUTOSAR Log and Trace Specification	QM	valid	DltMessageBuilderFixture__ShallDepleteAfterHeaderAndPayload (passed)
comp_req__log__system_backend_activation	System Backend Activation	QM	valid	SyslogRegistrantTest__SyslogBackendIsRegisteredAfterStaticInitialization (passed)

Test Coverage

No coverage data available for this component.

Architectural Elements

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

Show architectural elements table

ID	Title	Safety	Status	Tags
comp_arc_sta__log__sv	mw::log Backend (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

• Quality Stats