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"];
"Forwarded AoUs" [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";
"Architecture" -> "Component Requirements";
"Failure Modes" -> "Public API";
"Root Causes" -> "Failure Modes";
"Root Causes" -> "Control Measures";
}
Coverage Summary
Category |
Coverage |
OK Items |
Total Items |
|---|---|---|---|
76.9% |
10 |
13 |
|
0.0% |
0 |
0 |
|
100.0% |
33 |
33 |
|
98.3% |
58 |
59 |
|
100.0% |
2 |
2 |
|
0.0% |
0 |
2 |
|
0.0% |
0 |
8 |
|
50.0% |
2 |
4 |
|
28.6% |
10 |
35 |
Issues
[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 — no trace to: Failure Modes] score.message_passing.ServerConnection
[MISSING — no trace to: Failure Modes] score.message_passing.ClientConnection
[MISSING — unknown target: req MessagePassingComponent.REQ_MP_COMP_001] ClientConnectionTest:Constructed
[MISSING — no trace to: Component Requirements] MessagePassing.SystemMessagingProtocol
[MISSING — no trace to: Component Requirements] MessagePassing.SafeState
[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