TC8 Conformance Test Requirements#

Overview#

This document defines the requirements for verifying someipd against the OPEN Alliance TC8 SOME/IP test specification.

It belongs to a set of three documents that work together:

Table 4 TC8 Conformance Documentation Set#
Document	Purpose
requirements.rst (this file)	Defines what must be verified: one feature requirement and multiple component requirements, each linked to the S-CORE requirement hierarchy.
TC8 Test Specifications	Defines how each test runs: purpose, preconditions, stimuli, and expected results.
TC8 Conformance Traceability	Maps external OA spec test case IDs to internal test IDs, component requirements, and Python test functions.

How the feature / component split works for TC8#

For TC8 conformance, the split is simple:

One feature requirement (feat_req__tc8_conformance__conformance) covers the overall goal: “verify someipd against OA TC8 SOME/IP at the wire level.” This requirement does not change when new test areas are added.
Many component requirements — one per testable protocol aspect (e.g., SD offer format, cyclic timing, response headers, TCP transport). Each component requirement:
- Describes the specific behaviour under test.
- References the relevant AUTOSAR PRS or TC8 specification section.
- Is verified by one or more pytest functions.

Requirement Areas#

The component requirements are grouped by TC8 test area:

Area	Req Count	Scope
Service Discovery	9	SD offer format, cyclic timing, find response, subscribe lifecycle, subscription TTL expiry, phases timing, endpoint options, reboot detection, multicast eventgroup
SD Format and Options Compliance	3	Byte-level field assertions for SD SOME/IP header, offer entry, SubscribeAck entry, StopSubscribeEventgroup entry, IPv4EndpointOption, and IPv4MulticastOption
SD Robustness	1	Malformed SD packet handling without crash or state corruption
SOME/IP Message Format	3	Response header fields, error return codes, malformed message handling
Event Notification	1	Notification delivery lifecycle (subscribe, event ID, multicast, stop)
Field Conformance	3	Initial value on subscribe, getter/setter methods, on-change-only field notification
TCP Transport Binding	1	TCP reliable transport for RPC, field get/set, event notification
Multi-service and Multi-instance	1	Multi-service config loading, per-service port advertisement, SD isolation

Feature Requirement#

The following feature requirement establishes TC8 SOME/IP conformance testing as a formal verification activity for the SOME/IP Gateway’s protocol stack.

TC8 SOME/IP Protocol Conformance		status: valid security: NO safety: QM
tags: tc8, conformance, someip, verification reqtype: Functional version: 0 satisfies: stkh_req__docgen_enabled__example satisfied by: comp_req__tc8_conformance__sd_offer_format, comp_req__tc8_conformance__sd_cyclic_timing, comp_req__tc8_conformance__sd_find_response, comp_req__tc8_conformance__sd_sub_lifecycle, comp_req__tc8_conformance__sd_ttl_expiry, comp_req__tc8_conformance__sd_phases_timing, comp_req__tc8_conformance__sd_endpoint_option, comp_req__tc8_conformance__sd_reboot, comp_req__tc8_conformance__sd_mcast_eg, comp_req__tc8_conformance__msg_resp_header, comp_req__tc8_conformance__msg_error_codes, comp_req__tc8_conformance__msg_malformed, comp_req__tc8_conformance__evt_subscription, comp_req__tc8_conformance__fld_initial_value, comp_req__tc8_conformance__fld_get_set, comp_req__tc8_conformance__fld_getter_setter, comp_req__tc8_conformance__tcp_transport, comp_req__tc8_conformance__multi_service, comp_req__tc8_conformance__sd_format_fields, comp_req__tc8_conformance__sd_options_fields, comp_req__tc8_conformance__sd_stop_sub_fmt, comp_req__tc8_conformance__sd_robustness, comp_req__tc8_conformance__udp_transport
The SOME/IP Gateway project shall verify protocol conformance of its SOME/IP stack (`someipd`) against OPEN Alliance TC8 SOME/IP test specifications at the wire protocol level, without requiring application processes. Note: The `:satisfies:` link targets a placeholder stakeholder requirement. This shall be updated to reference the upstream S-CORE stakeholder requirement for SOME/IP interoperability once it is formally defined.
feat_req__tc8_conformance__conformance		Feature Requirement

Component Requirements — Service Discovery#

The following component requirements define the high-priority TC8 conformance tests for SOME/IP Service Discovery (SD), aligned with SOME/IP-SD Protocol Specification (AUTOSAR PRS_SOMEIP_SD).

TC8 SD Offer Entry Format Validation		status: valid security: NO safety: QM
tags: tc8, conformance, service_discovery reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` transmits SOME/IP-SD OfferService entries on the configured multicast group with correct service ID, instance ID, major/minor version, and TTL fields upon startup. Note: Traces to SOME/IP-SD specification sections 4.1.2.1 (OfferService entry format) and 4.1.2.3 (Service Entry fields). Covers TC8-SD-001 and TC8-SD-002 from the test strategy.
comp_req__tc8_conformance__sd_offer_format		Component Requirement

TC8 SD Cyclic Offer Timing		status: valid security: NO safety: QM
tags: tc8, conformance, service_discovery, timing reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` repeats OfferService entries at the configured `cyclic_offer_delay` interval (±20% tolerance) during the main phase of Service Discovery. Note: Traces to SOME/IP-SD specification section 4.1.1 (SD Phases — Main Phase, cyclic offer behavior). Covers TC8-SD-003 from the test strategy.
comp_req__tc8_conformance__sd_cyclic_timing		Component Requirement

TC8 SD FindService Response		status: valid security: NO safety: QM
tags: tc8, conformance, service_discovery reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` responds to a SOME/IP-SD FindService entry with a unicast OfferService for a known service, and does not respond for an unknown service. Note: Traces to SOME/IP-SD specification section 4.1.2.2 (FindService entry handling and response behavior). Covers TC8-SD-004 and TC8-SD-005 from the test strategy.
comp_req__tc8_conformance__sd_find_response		Component Requirement

TC8 SD Subscribe Eventgroup Lifecycle		status: valid security: NO safety: QM
tags: tc8, conformance, service_discovery, eventgroup reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` correctly handles the SubscribeEventgroup lifecycle: acknowledge valid subscriptions (SubscribeEventgroupAck), reject unknown eventgroups (SubscribeEventgroupNack with TTL=0), honor StopSubscribeEventgroup by ceasing notifications, and clean up expired subscriptions after the subscription TTL elapses. Note: Traces to SOME/IP-SD specification sections 4.1.2.4 (SubscribeEventgroup), 4.1.2.5 (StopSubscribeEventgroup), 4.1.2.6 (SubscribeEventgroupAck/Nack), and 4.1.2.7 (TTL handling). Covers TC8-SD-006, TC8-SD-007, TC8-SD-008, and TC8-SD-014 from the test strategy.
comp_req__tc8_conformance__sd_sub_lifecycle		Component Requirement

TC8 SD Subscription TTL Expiry		status: valid security: NO safety: QM
tags: tc8, conformance, service_discovery, eventgroup, timing reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that event notifications cease to arrive after the subscription TTL expires: when a tester subscribes with TTL = 1 and no renewal is sent, no further SOME/IP notifications shall be received beyond 2 seconds after the TTL expiry, conforming to OA TC8 SOMEIP_ETS_095.
comp_req__tc8_conformance__sd_ttl_expiry		Component Requirement

TC8 SD Initial Delay and Repetitions Phase		status: valid security: NO safety: QM
tags: tc8, conformance, service_discovery, timing reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` observes the three SD phases: initial wait delay within `[initial_delay_min, initial_delay_max]`, repetition of offers `repetitions_max` times at `repetitions_base_delay` intervals, and transition to main phase. Note: Traces to SOME/IP-SD specification section 4.1.1 (SD Phases — Initial Wait, Repetition, Main Phase). Covers TC8-SD-009 and TC8-SD-010 from the test strategy.
comp_req__tc8_conformance__sd_phases_timing		Component Requirement

TC8 SD IPv4 Endpoint Option Validation		status: valid security: NO safety: QM
tags: tc8, conformance, service_discovery reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` includes a valid IPv4EndpointOption in OfferService SD entries, carrying the correct unicast address, port, and L4 protocol (UDP) so that clients can reach the offered service. Note: Traces to SOME/IP-SD specification section 4.1.2.4 (SD Options — IPv4 Endpoint Option format). Covers TC8-SD-011 from the test strategy.
comp_req__tc8_conformance__sd_endpoint_option		Component Requirement

TC8 SD Reboot Detection		status: valid security: NO safety: QM
tags: tc8, conformance, service_discovery, reboot reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` resets its SD state upon restart: the reboot flag (SD flags byte bit 7) shall be set in the first SD message after restart, and the SD session ID shall reset to a low value (≤ 2). Note: Traces to SOME/IP-SD specification section 4.1.1 (Reboot Detection — session ID and reboot flag handling). Covers TC8-SD-012 from the test strategy.
comp_req__tc8_conformance__sd_reboot		Component Requirement

TC8 SD Multicast Eventgroup Option		status: valid security: NO safety: QM
tags: tc8, conformance, service_discovery, multicast reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` includes a multicast IPv4EndpointOption in the SubscribeEventgroupAck for eventgroups configured with a multicast address, so that clients know which multicast group to join for event delivery. Note: Traces to SOME/IP-SD specification section 4.1.2.6 (SubscribeEventgroupAck options — multicast endpoint). Covers TC8-SD-013 from the test strategy.
comp_req__tc8_conformance__sd_mcast_eg		Component Requirement

Component Requirements — SOME/IP Message Format#

TC8 SOME/IP Response Header Validation		status: valid security: NO safety: QM
tags: tc8, conformance, message_format reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` returns SOME/IP RESPONSE messages with correct protocol version (0x01), message type (0x80), matching session ID, and matching client ID for each received REQUEST. Note: Traces to SOME/IP specification sections 4.1.4 (Protocol Version), 4.1.6 (Message Type), and 4.1.3 (Request ID — Client ID / Session ID). Covers TC8-MSG-001, TC8-MSG-002, TC8-MSG-005, and TC8-MSG-008 from the test strategy.
comp_req__tc8_conformance__msg_resp_header		Component Requirement

TC8 SOME/IP Error Return Codes		status: valid security: NO safety: QM
tags: tc8, conformance, message_format, error_handling reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` returns the correct SOME/IP return codes for error conditions: `E_UNKNOWN_SERVICE` (0x02) or no response for requests to non-existent services (both are valid stack behaviors), `E_UNKNOWN_METHOD` (0x03) for invalid method IDs, and `E_WRONG_INTERFACE_VERSION` for interface version mismatches. Note: Traces to SOME/IP specification section 4.1.7 (Return Code) and the return code table (Table 4.14). Covers TC8-MSG-003, TC8-MSG-004, and TC8-MSG-006 from the test strategy.
comp_req__tc8_conformance__msg_error_codes		Component Requirement

TC8 SOME/IP Malformed Message Handling		status: valid security: NO safety: QM
tags: tc8, conformance, message_format, robustness reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` does not crash when receiving malformed SOME/IP messages, including truncated messages (shorter than the 8-byte minimum header), messages with an invalid protocol version, and messages whose length field claims more data than the UDP payload contains. Note: Traces to SOME/IP specification section 4.1 (Header format validation and error handling). Covers TC8-MSG-007 from the test strategy.
comp_req__tc8_conformance__msg_malformed		Component Requirement

Component Requirements — Event Notification#

TC8 Event Notification Subscription Lifecycle		status: valid security: NO safety: QM
tags: tc8, conformance, events, notification reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` delivers NOTIFICATION messages (message type 0x02) with correct event ID only to endpoints with an active eventgroup subscription, and ceases delivery after StopSubscribeEventgroup. Note: Traces to SOME/IP specification section 5.1 (Events) and SOME/IP-SD section 4.1.2.4 (SubscribeEventgroup triggering notification delivery). Covers TC8-EVT-001 through TC8-EVT-006 from the test strategy.
comp_req__tc8_conformance__evt_subscription		Component Requirement

Component Requirements — Field Conformance#

TC8 Field Initial Value on Subscribe		status: valid security: NO safety: QM
tags: tc8, conformance, fields, notification reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` delivers an initial NOTIFICATION message to a new subscriber of a field eventgroup (`is_field: true`) immediately upon subscription, carrying the last known field value. Note: Traces to SOME/IP specification section 5.3 (Fields — initial value notification on subscribe) and AUTOSAR SWS_CM_00719. Covers TC8-FLD-001 and TC8-FLD-002 from the test strategy.
comp_req__tc8_conformance__fld_initial_value		Component Requirement

TC8 Field Getter and Setter		status: valid security: NO safety: QM
tags: tc8, conformance, fields, request_response reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` handles field getter (method 0x0001) and setter (method 0x0002) requests: the getter shall return the current field value in a RESPONSE; the setter shall update the stored field value, respond with E_OK, and immediately notify all active subscribers with the new value. Note: Traces to SOME/IP specification section 5.3 (Fields — getter/setter methods) and AUTOSAR SWS_CM_00720/SWS_CM_00721. Covers TC8-FLD-003 and TC8-FLD-004 from the test strategy.
comp_req__tc8_conformance__fld_get_set		Component Requirement

TC8 Field Getter/Setter Notification Behavior		status: valid security: NO safety: QM
tags: tc8, conformance, fields, notification reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` sends a field event notification only when the field value actually changes, not on every cyclic trigger or repeated SET with the same value. Note: Traces to OA TC8 v3.0 §5.1.5.7 SOMEIPSRV_RPC_16 (on-change-only notification for fields). Covered by TC8-EVT-007 in `test_event_notification.py`.
comp_req__tc8_conformance__fld_getter_setter		Component Requirement

Component Requirements — TCP Transport Binding#

TC8 TCP Transport Binding for RPC		status: valid security: NO safety: QM
tags: tc8, conformance, tcp, transport, rpc reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` supports TCP (reliable) transport binding for SOME/IP RPC request/response communication, including correct TCP endpoint advertisement in Service Discovery and successful method invocation over a TCP connection. Note: Traces to OA TC8 specification references SOMEIPSRV_RPC_01, SOMEIPSRV_RPC_02, and SOMEIPSRV_OPTIONS_15. Also traces to PRS_SOMEIP_00142 (SOME/IP TCP message framing) and PRS_SOMEIP_00569 (unaligned message handling over TCP), covered by TC8-TCP-009. Addresses Gap 1 (TCP transport binding) from the architecture conformance analysis.
comp_req__tc8_conformance__tcp_transport		Component Requirement

Component Requirements — Multi-service and Multi-instance#

TC8 Multi-service and Multi-instance Routing		status: valid security: NO safety: QM
tags: tc8, conformance, multi_service, routing reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` accepts a vsomeip configuration containing multiple service entries and, for each offered service, advertises the correct UDP port in the SD OfferService endpoint option. Tests also verify that only the configured service IDs appear in SD traffic and that the multi-service config can be loaded without process failure. Note: Traces to OA TC8 specification references SOMEIPSRV_RPC_13 (multi-service hosting) and SOMEIPSRV_RPC_14 (per-instance port isolation). Covered by `test_multi_service.py` in the `tc8_multi_service` Bazel target (TC8_SD_PORT=30499, TC8_SVC_PORT=30512, TC8_SVC_TCP_PORT=30513).
comp_req__tc8_conformance__multi_service		Component Requirement

Component Requirements — SD Format and Options Compliance#

The following component requirements cover byte-level field assertions for SOME/IP-SD messages sent by someipd, corresponding to OA TC8 v3.0 §5.1.5.1 (FORMAT_*) and §5.1.5.2 (OPTIONS_*).

TC8 SD SOME/IP Header and Entry Field Validation		status: valid security: NO safety: QM
tags: tc8, conformance, service_discovery, format reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` transmits SD OfferService and SubscribeEventgroupAck messages with correct byte-level field values, including: Client-ID = 0x0000 (FORMAT_01), Session-ID starting from 0x0001 (FORMAT_02), Interface Version = 0x01 (FORMAT_04), Message Type = 0x02 Notification (FORMAT_05), Return Code = 0x00 E_OK (FORMAT_06), undefined SD flag bits = 0 (FORMAT_09), reserved entry bytes = 0 (FORMAT_10), entry length = 16 bytes (FORMAT_11), correct option run indices and option counts (FORMAT_12/13), instance ID (FORMAT_15), major version (FORMAT_16), minor version (FORMAT_18) matching the configured values, SubscribeAck entry type = 0x06 (FORMAT_19), SubscribeAck entry length = 16 bytes (FORMAT_20), SubscribeAck option run index (FORMAT_21), SubscribeAck service ID (FORMAT_23), instance ID (FORMAT_24), major version (FORMAT_25), TTL > 0 (FORMAT_26), reserved field = 0 (FORMAT_27), and eventgroup ID (FORMAT_28) matching the subscribe request. Note: Traces to OA TC8 v3.0 §5.1.5.1 (SOME/IP-SD header and entry format assertions).
comp_req__tc8_conformance__sd_format_fields		Component Requirement

TC8 SD IPv4 Endpoint and Multicast Option Field Validation		status: valid security: NO safety: QM
tags: tc8, conformance, service_discovery, options reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` encodes SD IPv4EndpointOptions with correct sub-field values: option length = 0x0009 (OPTIONS_01), option type = 0x04 (OPTIONS_02), reserved byte after type = 0x00 (OPTIONS_03), reserved byte before protocol = 0x00 (OPTIONS_05), and L4 protocol = 0x11 UDP (OPTIONS_06). For multicast eventgroups the suite shall also verify that SubscribeEventgroupAck messages contain IPv4MulticastOptions with correct encoding: length = 0x0009 (OPTIONS_08), type = 0x14 (OPTIONS_09), reserved byte = 0x00 (OPTIONS_10), multicast address matching configuration (OPTIONS_11), reserved byte before port = 0x00 (OPTIONS_12), L4 protocol = 0x11 UDP (OPTIONS_13), and port number matching configuration (OPTIONS_14). Note: Traces to OA TC8 v3.0 §5.1.5.2 (SD Options format assertions). Multicast option tests (OPTIONS_08–14) require a non-loopback interface (`@pytest.mark.network`).
comp_req__tc8_conformance__sd_options_fields		Component Requirement

TC8 SD StopSubscribeEventgroup Entry Wire Format		status: valid security: NO safety: QM
tags: tc8, conformance, service_discovery, format reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that a StopSubscribeEventgroup SD entry has entry type byte `0x06` and TTL field (bytes 9–11 of the entry) equal to `0x000000` at the wire level, conforming to OA TC8 SOMEIPSRV_SD_MESSAGE_12.
comp_req__tc8_conformance__sd_stop_sub_fmt		Component Requirement

Component Requirements — SD Robustness#

TC8 SD Robustness — Malformed Packet Survival		status: valid security: NO safety: QM
tags: tc8, conformance, service_discovery, robustness reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` survives and remains functional (still responds to a valid FindService) after receiving malformed SOME/IP-SD packets, covering: empty entries arrays (ETS_111), zero-length or malformed options (ETS_112/113), mismatched entries-length fields (ETS_114), entries referencing more options than present (ETS_115), unknown option types (ETS_116/174), overlapping option indices (ETS_117), FindService with unexpected endpoint options (ETS_118), entries-length exceeding the payload (ETS_123/124/125), option lengths extending past the options array (ETS_134/135), option lengths shorter than the minimum (ETS_136), unaligned option lengths (ETS_137), options-array-length mismatches (ETS_138/139), SubscribeEventgroup without endpoint option (ETS_109), with zero IP endpoint (ETS_110), with wrong L4 protocol (ETS_119), for unknown service/instance/eventgroup (ETS_140/141/142/143), with reserved option type (ETS_144), SD with near-wrap or maximum session IDs (ETS_152), SOME/IP length field mismatches (ETS_153), and wrong SOME/IP service ID in the header (ETS_178). Note: Traces to OA TC8 v3.0 §5.1.6 (Enhanced Testability Service Tests — SD robustness cases).
comp_req__tc8_conformance__sd_robustness		Component Requirement

Component Requirements — UDP Transport Binding#

TC8 UDP Transport Binding — Multiple Messages per Datagram		status: valid security: NO safety: QM
tags: tc8, conformance, udp, transport reqtype: Functional version: 0 satisfies: feat_req__tc8_conformance__conformance
The conformance test suite shall verify that `someipd` correctly parses a UDP datagram that contains multiple SOME/IP messages packed consecutively, including the case where a message starts at a non-4-byte-aligned byte offset within the datagram. The DUT shall respond to each contained SOME/IP request individually. Note: Traces to PRS_SOMEIP_00142 and PRS_SOMEIP_00569 (unaligned SOME/IP message parsing over UDP). Covered by TC8-UDP-001 in `test_someip_message_format.py` (`test_tc8_ets_069_unaligned_someip_messages_over_udp`).
comp_req__tc8_conformance__udp_transport		Component Requirement