Component Requirements#
Coverage: 0.0% (0 of 29 items OK)
[PARTIAL] TRLC Compreq MessagePassing.ServerCallbacksAreSequential
The server shall serialize all callbacks belonging to the same server instance, such that no two such callbacks execute concurrently.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:19:18
[PARTIAL] TRLC Compreq MessagePassing.ServerProcessesSinglePendingRequest
The server shall not dispatch a new sent-with-reply message callback on a given `ServerConnection` until the preceding request has been replied to.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:26:18
[PARTIAL] TRLC Compreq MessagePassing.ClientConnectionMaintainsStateMachine
The `ClientConnection` shall maintain a state machine with the states `Starting`, `Ready`, `Stopping`, and `Stopped`.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:33:18
[PARTIAL] TRLC Compreq MessagePassing.SynchronousSendBlocksUntilServerReceives
The `ClientConnection` shall block the calling thread during a `Send` call until the message has been and accepted by the server’s receive buffer, when no client-side send queue is configured.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:40:18
[PARTIAL] TRLC Compreq MessagePassing.AsynchronousSendReturnsAfterLocalAcceptance
The `ClientConnection` shall return from a Send call after the message has been accepted by the local message passing layer, when a client-side send queue is configured.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:47:18
[PARTIAL] TRLC Compreq MessagePassing.SendWaitReplyBlocksUntilServerReply
The ClientConnection shall block the calling thread during a SendWaitReply call until a reply from the server is received or an error is detected.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:54:18
[PARTIAL] TRLC Compreq MessagePassing.MessageOrderPreservationPerConnection
The message passing component shall deliver messages of the same delivery type from the same `IClientConnection` instance to the server in the order they were sent.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:61:18
[PARTIAL] TRLC Compreq MessagePassing.SingleServerInstancePerServiceIdentifier
The message passing component shall prevent more than one active `IServer` instance serves a any given service identifier at any point in time.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:68:18
[PARTIAL] TRLC Compreq MessagePassing.IServerStartListeningAPI
`IServer` shall provide a `StartListening` method that registers connection, disconnection, fire-and-forget message, and sent-with-reply message callbacks.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:79:18
[PARTIAL] TRLC Compreq MessagePassing.IServerStopListeningAPI
`IServer` shall provide a `StopListening` method that releases all registered callbacks and closes all active server connections.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:86:18
[PARTIAL] TRLC Compreq MessagePassing.IClientConnectionSendAPI
`IClientConnection` shall provide a Send method that accepts a byte-span message and transmits it to the server.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:93:18
[PARTIAL] TRLC Compreq MessagePassing.IClientConnectionSendWaitReplyAPI
`IClientConnection` shall provide a `SendWaitReply` method that accepts a message byte span and a reply buffer span and returns the received reply payload trimmed to its actual size.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:100:18
[PARTIAL] TRLC Compreq MessagePassing.IClientConnectionSendWithCallbackAPI
`IClientConnection` shall provide a `SendWithCallback` method that accepts a message byte span and a reply callback and returns after the message has been accepted by the local message passing layer.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:107:18
[PARTIAL] TRLC Compreq MessagePassing.IServerConnectionReplyAPI
`IServerConnection` shall provide a Reply method that accepts a byte-span message and delivers it as the reply to the pending REQUEST from the client.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:114:18
[PARTIAL] TRLC Compreq MessagePassing.IServerConnectionNotifyAPI
`IServerConnection` shall provide a `Notify` method that accepts a byte-span message and sends it as an asynchronous notification to the client.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:121:18
[PARTIAL] TRLC Compreq MessagePassing.ClientFactoryCreateAPI
`IClientFactory` shall provide a `Create` method that accepts a `ServiceProtocolConfig` and a `ClientConfig` and returns a new `IClientConnection` instance configured for the service specified by the `ServiceProtocolConfig`.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:128:18
[PARTIAL] TRLC Compreq MessagePassing.ServerFactoryCreateAPI
`IServerFactory` shall provide a `Create` method that accepts a `ServiceProtocolConfig` and a `ServerConfig` and returns a new `IServer` instance configured for the service specified by the `ServiceProtocolConfig`.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:135:18
[PARTIAL] TRLC Compreq MessagePassing.IClientConnectionGetStateAPI
`IClientConnection` shall provide a `GetState` method that returns the current connection state.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:142:18
[PARTIAL] TRLC Compreq MessagePassing.ServerPreallocatesConnectionObjects
The server shall preallocate memory for the number of `IServerConnection` objects specified by `ServerConfig::pre_alloc_connections` at construction time, without allocating additional memory for each incoming client connection.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:153:18
[PARTIAL] TRLC Compreq MessagePassing.ServerRingBufferQueueSizeConfigurable
The server shall implement the shared incoming message queue as a ring buffer with the number of slots equal to `ServerConfig::max_queued_sends`, configured at construction time.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:160:18
[PARTIAL] TRLC Compreq MessagePassing.ServerConnectionRefusal
The server shall enable the connection callback to reject an incoming client connection by returning an error, without establishing a server connection for the rejected client.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:167:18
[PARTIAL] TRLC Compreq MessagePassing.ServerIConnectionHandlerDispatch
The server shall invoke the `IConnectionHandler` virtual methods of the `UserData` object for a given `IServerConnection` in place of the server-wide callbacks, when the UserData holds an `IConnectionHandler` instance.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:174:18
[PARTIAL] TRLC Compreq MessagePassing.ClientConnectionSendQueuePreallocation
The `ClientConnection` shall preallocate send queue storage for the number of asynchronous messages specified by `ClientConfig::max_queued_sends` at construction time.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:185:18
[PARTIAL] TRLC Compreq MessagePassing.ClientConnectionSharedResourceEngineInjection
The `ClientConnection` shall accept an `ISharedResourceEngine` instance as a constructor parameter, which shouldbe the exclusive provider forall shared resources.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:193:18
[PARTIAL] TRLC Compreq MessagePassing.ClientConnectionMockInjectionForTesting
The `ClientConnection` shall use the `ISharedResourceEngine` interface for all OS interactions.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:200:18
[PARTIAL] TRLC Compreq MessagePassing.ClientConnectionSendFailsWhenStopped
The `ClientConnection` shall return an error for a Send call when the connection is in the `Stopped` state.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:208:18
[PARTIAL] TRLC Compreq MessagePassing.ClientConnectionSendWaitReplyFailsWhenStopped
The `ClientConnection` shall return an error for a `SendWaitReply` call when the connection is in the `Stopped` state.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:215:18
[PARTIAL] TRLC Compreq MessagePassing.ClientConnectionSendWithCallbackFailsWhenStopped
The `ClientConnection` shall return an error for a `SendWithCallback` call when the connection is in the `Stopped` state.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:222:18
[PARTIAL] TRLC Compreq MessagePassing.ClientConnectionStateCallbackInvocation
The `ClientConnection` shall invoke the registered `StateCallback` each time the connection state changes, passing the new state as the argument.
Traces to:
missing reference to Unit Test
Derived from:
Source: score/message_passing/dependability/requirements/component_requirements.trlc:229:18