L.O.B.S.T.E.R. Traceability Report

Generated: 2026-11-06 13:36 UTC

LOBSTER Version: 1.0.6

Tracing Policy

Coverage Summary

Category	Coverage	OK Items	Total Items
Feature Requirements	60.9%	14	23
Public API	0.0%	0	31
Failure Modes	0.0%	0	8
Root Causes	3.7%	1	27
Component Requirements	0.0%	0	40
Unit Test	0.0%	0	59
Architecture	100.0%	1	1
Root Cause Assessments	100.0%	1	1

Issues

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.BE_HandlerErrorUnpropagated

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.BE_HandlerNoReply

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.BE_HandlerNotRegistered

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.BE_MessageTooBig

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.BE_NotifyCallbackMissing

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.BE_NotifyQueueExhausted

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.BE_NotifyTooBig

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.BE_NotifyTransportFault

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.BE_RequestDisconnectMisuse

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.BE_SendQueueExhausted

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.BE_ServerQueueConfig

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.BE_SyncConnectDeadlock

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.BE_UnintendedDisconnect

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.CallFlowConformance

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.ClientIdentityIntegrityCheck

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.ClientIdentityValidation

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.ClientRetryPolicy

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.ConnectCallbackReturnValueValidation

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.ConnectCallbackValidation

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.LifecycleOrderEnforcement

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.SendBufferArgumentValidation

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.ServerHealthCheck

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.StartupArgumentValidation

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.StateMachineVerification

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.TimingSupervision

• [PARTIAL — no trace to: Root Cause Assessments] message_passing_fta.UniqueServerNamePolicy

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_ClientFactory_ClientFactory

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_ClientFactory_GetEngine

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_ConnectCallback_operator_call

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_DisconnectCallback_operator_call

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_Engine_Engine

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IClientConnection_GetState

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IClientConnection_GetStopReason

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IClientConnection_NotifyCallback_operator_call

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IClientConnection_ReplyCallback_operator_call

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IClientConnection_Restart

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IClientConnection_Send

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IClientConnection_SendWaitReply

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IClientConnection_SendWithCallback

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IClientConnection_Start

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IClientConnection_StateCallback_operator_call

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IClientConnection_Stop

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IClientFactory_Create

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IConnectionHandler_OnDisconnect

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IConnectionHandler_OnMessageSent

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IConnectionHandler_OnMessageSentWithReply

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IServerConnection_GetClientIdentity

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IServerConnection_GetUserData

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IServerConnection_Notify

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IServerConnection_Reply

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IServerConnection_RequestDisconnect

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IServerFactory_Create

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IServer_StartListening

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_IServer_StopListening

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_MessageCallback_operator_call

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_ServerFactory_GetEngine

• [MISSING — no trace to: Failure Modes] message_passing_api.score_message_passing_ServerFactory_ServerFactory

• [MISSING — no upward trace] ClientConnectionTest:Constructed

• [MISSING — no upward trace] ClientConnectionTest:ConstructedStopDoesNothing

• [MISSING — no upward trace] ClientConnectionTest:TryingToConnectOnceStoppingWhileConnecting

• [MISSING — no upward trace] ClientConnectionTest:TryingToSyncConnectOnceStoppingWhileConnecting

• [MISSING — no upward trace] ClientConnectionTest:TryingToConnectOnceStoppingOnHardError

• [MISSING — no upward trace] ClientConnectionTest:TryingToSyncConnectOnceStoppingOnHardError

• [MISSING — no upward trace] ClientConnectionTest:TryingToConnectMultipleTimesStoppingOnPermissionError

• [MISSING — no upward trace] ClientConnectionTest:TryingToSyncConnectMultipleTimesStoppingOnPermissionError

• [MISSING — no upward trace] ClientConnectionTest:TryingToConnectMultipleTimesFinallyConnectingAndImplicitlyStopping

• [MISSING — no upward trace] ClientConnectionTest:SuccessfullyConnectingAtFirstAttemptThenExplicitlyStopping

• [MISSING — no upward trace] ClientConnectionTest:SuccessfullyConnectingAtFirstAttemptWithDelayThenExplicitlyStopping

• [MISSING — no upward trace] ClientConnectionTest:SuccessfullySyncConnectingAtFirstAttemptThenExplicitlyStopping

• [MISSING — no upward trace] ClientConnectionTest:SuccessfullyConnectingAtFirstAttemptThenExplicitlyStoppingAsIfFromCallback

• [MISSING — no upward trace] ClientConnectionTest:SuccessfullySyncConnectingAtFirstAttemptThenExplicitlyStoppingAsIfFromCallback

• [MISSING — unknown target: req MessagePassing.OsIpcFaultHandling] ClientConnectionTest:SuccessfullyConnectingAtFirstAttemptThenFirstReadDisconnected

• [MISSING — no upward trace] ClientConnectionTest:SuccessfullyConnectingAtFirstAttemptThenFirstReadDisconnected

• [MISSING — unknown target: req MessagePassing.OsIpcFaultHandling] ClientConnectionTest:SuccessfullyConnectingAtFirstAttemptThenSpuriousReadGetsIgnored

• [MISSING — no upward trace] ClientConnectionTest:SuccessfullyConnectingAtFirstAttemptThenSpuriousReadGetsIgnored

• [MISSING — unknown target: req MessagePassing.SendBufferArgumentValidation] ClientConnectionTest:NotConnectedSendNotReady

• [MISSING — no upward trace] ClientConnectionTest:NotConnectedSendNotReady

• [MISSING — no upward trace] ClientConnectionTest:ConnectedRestartdDoesNothing

• [MISSING — no upward trace] ClientConnectionTest:SendTooLarge

• [MISSING — no upward trace] ClientConnectionTest:SendIsDirectWithOurDefaultConfig

• [MISSING — no upward trace] ClientConnectionTest:SendIsDirectWithFullyOrderedAndEmptyQueue

• [MISSING — unknown target: req MessagePassing.BE_SendQueueExhausted] ClientConnectionTest:GivenTrulyAsyncWhenSendIsCalledItIsQueued

• [MISSING — no upward trace] ClientConnectionTest:GivenTrulyAsyncWhenSendIsCalledItIsQueued

• [MISSING — unknown target: req MessagePassing.BE_SendQueueExhausted] ClientConnectionTest:SendIsNotQueuedIfTrulyAsyncButNoSlots

• [MISSING — no upward trace] ClientConnectionTest:SendIsNotQueuedIfTrulyAsyncButNoSlots

• [MISSING — unknown target: req MessagePassing.SendBufferArgumentValidation] ClientConnectionTest:SendWaitReplyFailsWhenCalledInCallback

• [MISSING — no upward trace] ClientConnectionTest:SendWaitReplyFailsWhenCalledInCallback

• [MISSING — unknown target: req MessagePassing.OsIpcFaultHandling] ClientConnectionTest:SendWaitReplyFailsWhenCannotSendMessageDirectly

• [MISSING — no upward trace] ClientConnectionTest:SendWaitReplyFailsWhenCannotSendMessageDirectly

• [MISSING — unknown target: req MessagePassing.OsIpcFaultHandling] ClientConnectionTest:SendWaitReplyFailsDirectlyButUnblocksQueue

• [MISSING — no upward trace] ClientConnectionTest:SendWaitReplyFailsDirectlyButUnblocksQueue

• [MISSING — unknown target: req MessagePassing.BE_SendQueueExhausted] ClientConnectionTest:SendWaitReplyFailsWhenCannotQueueMessage

• [MISSING — no upward trace] ClientConnectionTest:SendWaitReplyFailsWhenCannotQueueMessage

• [MISSING — unknown target: req MessagePassing.OsIpcFaultHandling] ClientConnectionTest:SendWaitReplyFailsWhenQueuedMessageCancels

• [MISSING — no upward trace] ClientConnectionTest:SendWaitReplyFailsWhenQueuedMessageCancels

• [MISSING — no upward trace] ClientConnectionTest:SendWaitReplyFailsWhenReceiveTooLong

• [MISSING — unknown target: req MessagePassing.OsIpcFaultHandling] ClientConnectionTest:SendWithCallbackFailsWhenCannotSendMessageDirectly

• [MISSING — no upward trace] ClientConnectionTest:SendWithCallbackFailsWhenCannotSendMessageDirectly

• [MISSING — unknown target: req MessagePassing.BE_SendQueueExhausted] ClientConnectionTest:SendWithCallbackFailsWhenCannotQueueMessage

• [MISSING — no upward trace] ClientConnectionTest:SendWithCallbackFailsWhenCannotQueueMessage

• [MISSING — unknown target: req MessagePassing.BE_SendQueueExhausted] ClientConnectionTest:SendWithCallbackFailsWhenCannotQueueMessageTrulyAsync

• [MISSING — no upward trace] ClientConnectionTest:SendWithCallbackFailsWhenCannotQueueMessageTrulyAsync

• [MISSING — unknown target: req MessagePassing.OsIpcFaultHandling] ClientConnectionTest:SendWithCallbackReportsFailureWhenQueuedSendFailsTrulyAsync

• [MISSING — no upward trace] ClientConnectionTest:SendWithCallbackReportsFailureWhenQueuedSendFailsTrulyAsync

• [MISSING — unknown target: req MessagePassing.BE_SendQueueExhausted] ClientConnectionTest:SendWithCallbackStillHasItsSlotBusyWhenQueuedSendHappensTrulyAsync

• [MISSING — no upward trace] ClientConnectionTest:SendWithCallbackStillHasItsSlotBusyWhenQueuedSendHappensTrulyAsync

• [MISSING — unknown target: req MessagePassing.OsIpcFaultHandling] ClientConnectionTest:QueuedSendsCancelIfConnectionClosed

• [MISSING — no upward trace] ClientConnectionTest:QueuedSendsCancelIfConnectionClosed

• [MISSING — unknown target: req MessagePassing.OsIpcFaultHandling] ClientConnectionTest:ConnectedStopsIfReceivesIoError

• [MISSING — no upward trace] ClientConnectionTest:ConnectedStopsIfReceivesIoError

• [MISSING — unknown target: req MessagePassing.OsIpcFaultHandling] ClientConnectionTest:ConnectedStopsIfReceivesInvalidCode

• [MISSING — no upward trace] ClientConnectionTest:ConnectedStopsIfReceivesInvalidCode

• [MISSING — unknown target: req MessagePassing.OsIpcFaultHandling] ClientConnectionTest:ConnectedStopsIfReceivesReplyWithoutSend

• [MISSING — no upward trace] ClientConnectionTest:ConnectedStopsIfReceivesReplyWithoutSend

• [MISSING — no upward trace] ClientConnectionTest:ConnectedContinuesIfReceivesNotifyWithoutCallback

• [MISSING — no upward trace] ClientConnectionTest:ConnectedReceivesNotifyInCallback

• [MISSING — no upward trace] ClientConnectionTest:ConnectedContinuesIfReceivesPingWithoutCallback

• [MISSING — no upward trace] ClientConnectionTest:ConnectedReceivesPingInCallback

• [MISSING — no trace to: Component Requirements] MessagePassing.ClientServerCommunicationModel

• [MISSING — no trace to: Component Requirements] MessagePassing.PointToPointConnectionTopology

• [MISSING — no trace to: Component Requirements] MessagePassing.RequestReplyInteractionCapability

• [MISSING — no trace to: Component Requirements] MessagePassing.OneWayMessageDeliveryCapability

• [MISSING — no trace to: Component Requirements] MessagePassing.RuntimeFailureDetectability

• [MISSING — no trace to: Component Requirements] MessagePassing.IntegrationMisconfigurationDetectability

• [MISSING — no trace to: Component Requirements] MessagePassing.PlatformAbstraction

• [MISSING — no trace to: Component Requirements] MessagePassing.QnxAsilBQualifiedImplementation

• [MISSING — no trace to: Component Requirements] MessagePassing.PeerIdentityInformationForAccessControl

• [PARTIAL — no trace to: Unit Test] MessagePassing.SafetyCertifiedTransportMechanismUnderQNX

• [PARTIAL — no trace to: Unit Test] MessagePassing.TransportMechanismOnLinux

• [PARTIAL — no trace to: Unit Test] MessagePassing.OSProvidedClientIdentityPerConnection

• [PARTIAL — no trace to: Unit Test] MessagePassing.ServerCallbacksAreSequential

• [PARTIAL — no trace to: Unit Test] MessagePassing.ServerProcessesSinglePendingRequest

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientConnectionMaintainsStateMachine

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientSendUsesDirectTransportCallByDefault

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientSendQueuesForAsyncOrOrderingReasons

• [PARTIAL — no trace to: Unit Test] MessagePassing.SendWaitReplyBlocksUntilServerReply

• [PARTIAL — no trace to: Unit Test] MessagePassing.MessageOrderPreservationPerConnection

• [PARTIAL — no trace to: Unit Test] MessagePassing.SingleServerInstancePerServiceIdentifier

• [PARTIAL — no trace to: Unit Test] MessagePassing.IServerStartListeningAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IServerStopListeningAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IClientConnectionSendAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IClientConnectionSendWaitReplyAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IClientConnectionSendWithCallbackAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IServerConnectionReplyAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IServerConnectionNotifyAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientFactoryCreateAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.ServerFactoryCreateAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientFactoryEngineSharingAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.ServerFactoryEngineSharingAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IClientConnectionGetStateAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IClientConnectionGetStopReasonAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IClientConnectionStartAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IClientConnectionStopAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IClientConnectionRestartAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IServerConnectionGetClientIdentityAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.IServerConnectionGetUserDataAPI

• [PARTIAL — no trace to: Unit Test] MessagePassing.ServerPreallocatesConnectionObjects

• [PARTIAL — no trace to: Unit Test] MessagePassing.ServerRingBufferQueueSizeConfigurable

• [PARTIAL — no trace to: Unit Test] MessagePassing.ServerConnectionRefusal

• [PARTIAL — no trace to: Unit Test] MessagePassing.ServerIConnectionHandlerDispatch

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientConnectionSendQueuePreallocation

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientConnectionSharedResourceEngineInjection

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientConnectionMockInjectionForTesting

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientConnectionSendFailsWhenStopped

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientConnectionSendWaitReplyFailsWhenStopped

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientConnectionSendWithCallbackFailsWhenStopped

• [PARTIAL — no trace to: Unit Test] MessagePassing.ClientConnectionStateCallbackInvocation

• [PARTIAL — no upward trace] MessagePassing.IpcChannelUnavailable

• [PARTIAL — no upward trace] MessagePassing.MessageNotDeliveredCorrectly

• [PARTIAL — no upward trace] MessagePassing.NotificationNotDelivered

• [PARTIAL — no upward trace] MessagePassing.ServerMessageHandlingFailure

• [PARTIAL — no upward trace] MessagePassing.MessageTimingViolated

• [PARTIAL — no upward trace] MessagePassing.IpcApiMisuseOrLifecycleViolation

• [PARTIAL — no upward trace] MessagePassing.ConnectionContextDataWrong

• [PARTIAL — no upward trace] MessagePassing.StateMachineError

• [MISSING — no upward trace] UnixDomainServerTest:NonRunningServers

• [MISSING — no upward trace] UnixDomainServerTest:RunningServersWithNoConnections

• [MISSING — no upward trace] UnixDomainServerTest:RunningServersWithSameId

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:RefusingServerStartingFirst/0

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:RefusingServerStartingFirst/1

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:RefusingServerStartingLater/0

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:RefusingServerStartingLater/1

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:RefusingServerStartingLaterClientDeleted/0

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:RefusingServerStartingLaterClientDeleted/1

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:RefusingServerStartingLaterClientRestarting/0

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:RefusingServerStartingLaterClientRestarting/1

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:EchoServerStartingLaterForcedStop/0

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:EchoServerStartingLaterForcedStop/1

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:EchoServerSetup/0

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:EchoServerSetup/1

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:EchoServerClientRestart/0

• [MISSING — no upward trace] UnixDomain/ServerToClientTestFixtureUnix:EchoServerClientRestart/1