L.O.B.S.T.E.R. Traceability Report#
Tracing Policy
Note
The tracing-policy diagram below could not be rendered because the Graphviz dot utility was not found.
Install Graphviz and rebuild to see the diagram as an image.
digraph tracing_policy {
rankdir=TB;
node [shape=box, style=filled, fontname="Helvetica", margin="0.3,0.1"];
edge [arrowhead=open];
"Feature Requirements" [fillcolor="#2196F3", fontcolor="white"];
"Component Requirements" [fillcolor="#2196F3", fontcolor="white"];
"Unit Test" [fillcolor="#FF9800", fontcolor="white"];
"Architecture" [fillcolor="#4CAF50", fontcolor="white"];
"Public API" [fillcolor="#4CAF50", fontcolor="white"];
"Failure Modes" [fillcolor="#2196F3", fontcolor="white"];
"Control Measures" [fillcolor="#2196F3", fontcolor="white"];
"Root Causes" [fillcolor="#FF9800", fontcolor="white"];
"Component Requirements" -> "Feature Requirements";
"Unit Test" -> "Component Requirements";
"Architecture" -> "Component Requirements";
"Failure Modes" -> "Public API";
"Root Causes" -> "Failure Modes";
"Root Causes" -> "Control Measures";
}
Coverage Summary
Category |
Coverage |
OK Items |
Total Items |
|---|---|---|---|
69.2% |
9 |
13 |
|
0.0% |
0 |
29 |
|
32.2% |
19 |
59 |
|
100.0% |
2 |
2 |
|
0.0% |
0 |
13 |
|
0.0% |
0 |
8 |
|
50.0% |
2 |
4 |
|
28.6% |
10 |
35 |
Issues
[MISSING — no trace to: Failure Modes] score.message_passing.ServerConnection.SetConnectionCallback
[MISSING — no trace to: Failure Modes] score.message_passing.ServerConnection.SetDisconnectionCallback
[MISSING — no trace to: Failure Modes] score.message_passing.ServerConnection.SetMessageCallback
[MISSING — no trace to: Failure Modes] score.message_passing.ServerConnection.SetMessageWithReplyCallback
[MISSING — no trace to: Failure Modes] score.message_passing.ClientConnection.CreateClientConnection
[MISSING — no trace to: Failure Modes] score.message_passing.ClientConnection.GetStopReason
[MISSING — no trace to: Failure Modes] score.message_passing.ClientConnection.Restart
[MISSING — no trace to: Failure Modes] score.message_passing.ClientConnection.Send
[MISSING — no trace to: Failure Modes] score.message_passing.ClientConnection.SendWithReply
[MISSING — no trace to: Failure Modes] score.message_passing.ClientConnection.SetNotificationCallback
[MISSING — no trace to: Failure Modes] score.message_passing.ClientConnection.SetStateCallback
[MISSING — no trace to: Failure Modes] score.message_passing.ClientConnection.Start
[MISSING — no trace to: Failure Modes] score.message_passing.ClientConnection.Stop
[MISSING — unknown target: req MessagePassing.ClientIdentityIntegrityCheck] MessagePassing.ClientIdentityIntegrityCheck
[MISSING — no upward trace] MessagePassing.ClientIdentityIntegrityCheck
[MISSING — unknown target: req MessagePassing.ClientIdentityValidation] MessagePassing.ClientIdentityValidation
[MISSING — no upward trace] MessagePassing.ClientIdentityValidation
[MISSING — unknown target: req MessagePassing.ConnectCallbackReturnValueValidation] MessagePassing.ConnectCallbackReturnValueValidation
[MISSING — no upward trace] MessagePassing.ConnectCallbackReturnValueValidation
[MISSING — unknown target: req MessagePassing.ConnectCallbackValidation] MessagePassing.ConnectCallbackValidation
[MISSING — no upward trace] MessagePassing.ConnectCallbackValidation
[MISSING — unknown target: req MessagePassing.LifecycleOrderEnforcement] MessagePassing.LifecycleOrderEnforcement
[MISSING — no upward trace] MessagePassing.LifecycleOrderEnforcement
[MISSING — unknown target: req MessagePassing.CallFlowConformance] MessagePassing.CallFlowConformance
[MISSING — no upward trace] MessagePassing.CallFlowConformance
[MISSING — unknown target: req BE_RequestDisconnectMisuse] BE_RequestDisconnectMisuse
[MISSING — no upward trace] BE_RequestDisconnectMisuse
[MISSING — unknown target: req MessagePassing.StartupArgumentValidation] MessagePassing.StartupArgumentValidation
[MISSING — no upward trace] MessagePassing.StartupArgumentValidation
[MISSING — unknown target: req MessagePassing.UniqueServerNamePolicy] MessagePassing.UniqueServerNamePolicy
[MISSING — no upward trace] MessagePassing.UniqueServerNamePolicy
[MISSING — unknown target: req BE_ServerQueueConfig] BE_ServerQueueConfig
[MISSING — no upward trace] BE_ServerQueueConfig
[MISSING — unknown target: req MessagePassing.ServerHealthCheck] MessagePassing.ServerHealthCheck
[MISSING — no upward trace] MessagePassing.ServerHealthCheck
[MISSING — unknown target: req MessagePassing.ClientRetryPolicy] MessagePassing.ClientRetryPolicy
[MISSING — no upward trace] MessagePassing.ClientRetryPolicy
[MISSING — unknown target: req BE_UnintendedDisconnect] BE_UnintendedDisconnect
[MISSING — no upward trace] BE_UnintendedDisconnect
[MISSING — unknown target: req BE_MessageTooBig] BE_MessageTooBig
[MISSING — no upward trace] BE_MessageTooBig
[MISSING — unknown target: req BE_SendQueueExhausted] BE_SendQueueExhausted
[MISSING — no upward trace] BE_SendQueueExhausted
[MISSING — unknown target: req MessagePassing.TimingSupervision] MessagePassing.TimingSupervision
[MISSING — no upward trace] MessagePassing.TimingSupervision
[MISSING — unknown target: req BE_SyncConnectDeadlock] BE_SyncConnectDeadlock
[MISSING — no upward trace] BE_SyncConnectDeadlock
[MISSING — unknown target: req BE_NotifyQueueExhausted] BE_NotifyQueueExhausted
[MISSING — no upward trace] BE_NotifyQueueExhausted
[MISSING — unknown target: req BE_NotifyTooBig] BE_NotifyTooBig
[MISSING — no upward trace] BE_NotifyTooBig
[MISSING — unknown target: req BE_NotifyTransportFault] BE_NotifyTransportFault
[MISSING — no upward trace] BE_NotifyTransportFault
[MISSING — unknown target: req BE_NotifyCallbackMissing] BE_NotifyCallbackMissing
[MISSING — no upward trace] BE_NotifyCallbackMissing
[MISSING — unknown target: req BE_HandlerNoReply] BE_HandlerNoReply
[MISSING — no upward trace] BE_HandlerNoReply
[MISSING — unknown target: req BE_HandlerErrorUnpropagated] BE_HandlerErrorUnpropagated
[MISSING — no upward trace] BE_HandlerErrorUnpropagated
[MISSING — unknown target: req BE_HandlerNotRegistered] BE_HandlerNotRegistered
[MISSING — no upward trace] BE_HandlerNotRegistered
[MISSING — unknown target: req MessagePassing.StateMachineVerification] MessagePassing.StateMachineVerification
[MISSING — no upward trace] MessagePassing.StateMachineVerification
[MISSING — unknown target: req MessagePassingComponent.REQ_MP_COMP_001] ClientConnectionTest:Constructed
[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 — no upward trace] ClientConnectionTest:ConnectedRestartdDoesNothing
[MISSING — no upward trace] ClientConnectionTest:SendTooLarge
[MISSING — no upward trace] ClientConnectionTest:SendIsDirectWithOurDefaultConfig
[MISSING — no upward trace] ClientConnectionTest:SendIsDirectWithFullyOrderedAndEmptyQueue
[MISSING — no upward trace] ClientConnectionTest:SendWaitReplyFailsWhenReceiveTooLong
[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.SystemMessagingProtocol
[MISSING — no trace to: Component Requirements] MessagePassing.SafeState
[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.SynchronousSendBlocksUntilServerReceives
[PARTIAL — no trace to: Unit Test] MessagePassing.AsynchronousSendReturnsAfterLocalAcceptance
[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.IClientConnectionGetStateAPI
[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
[MISSING — no trace to: Component Requirements] MessagePassing.SafetyCertifiedTransportMechanism
[MISSING — no trace to: Component Requirements] MessagePassing.SmallDataLowLatencyCommunication
[MISSING — no trace to: Root Causes] MessagePassing.BE_MessageTooBig
[MISSING — no trace to: Root Causes] MessagePassing.BE_SendQueueExhausted
[MISSING — unknown target: req IServer.StartListening, IServer.StopListening, IClientFactory.Create, IClientConnection.Start, IClientConnection.Stop, IServerConnection.RequestDisconnect] MessagePassing.IpcChannelUnavailable
[MISSING — no upward trace] MessagePassing.IpcChannelUnavailable
[MISSING — unknown target: req IServerConnection.Reply, IClientConnection.Send, IClientConnection.SendWaitReply, IClientConnection.SendWithCallback] MessagePassing.MessageNotDeliveredCorrectly
[MISSING — no upward trace] MessagePassing.MessageNotDeliveredCorrectly
[MISSING — unknown target: req IServerConnection.Notify, IClientConnection.Start] MessagePassing.NotificationNotDelivered
[MISSING — no upward trace] MessagePassing.NotificationNotDelivered
[MISSING — unknown target: req IServer.StartListening, IConnectionHandler.OnMessageSent, IConnectionHandler.OnMessageSentWithReply] MessagePassing.ServerMessageHandlingFailure
[MISSING — no upward trace] MessagePassing.ServerMessageHandlingFailure
[MISSING — unknown target: req IServerConnection.Reply] MessagePassing.MessageTimingViolated
[MISSING — no upward trace] MessagePassing.MessageTimingViolated
[MISSING — unknown target: req IClientConnection.Send, IClientConnection.SendWaitReply, IClientConnection.SendWithCallback, IClientConnection.Restart, IServerConnection.Reply, IServerConnection.RequestDisconnect] MessagePassing.IpcApiMisuseOrLifecycleViolation
[MISSING — no upward trace] MessagePassing.IpcApiMisuseOrLifecycleViolation
[MISSING — unknown target: req IServerConnection.GetClientIdentity, IServerConnection.GetUserData] MessagePassing.ConnectionContextDataWrong
[MISSING — no upward trace] MessagePassing.ConnectionContextDataWrong
[MISSING — unknown target: req IClientConnection.GetState, IClientConnection.GetStopReason] MessagePassing.StateMachineError
[MISSING — 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