1.Query.md

August 4, 2025 ยท View on GitHub

1. Test case for QUERY

Case 1.1

Description: IDE_KM responder shall return valid QUERY_RESP, if it receives a QUERY(0x00).

TestSetup: None

TestTeardown: None

Steps:

  1. Requester -> QUERY {PortIndex=0x00}
  2. IdeKmMessage <- Responder

Assertion 1.1.1: sizeof(IdeKmMessage) == sizeof(QUERY_RESP)

Assertion 1.1.2: IdeKmMessage.ObjectID == QUERY_RESP

Assertion 1.1.3: IdeKmMessage.PortIndex == QUERY.PortIndex

Assertion 1.1.4: IdeKmMessage.MaxPortIndex >= QUERY.PortIndex

Case 1.2

Description: IDE_KM responder shall return valid QUERY_RESP, if it receives a QUERY with valid non-0 PortIndex.

TestSetup:

  1. Requester -> QUERY {PortIndex=0x00}
  2. QUERY_RESP <- Responder
  3. if QUERY_RESP.MaxPortIndex == 0, skip the test.

TestTeardown: None

Steps:

  1. Requester -> QUERY {PortIndex in [1, QUERY_RESP.MaxPortIndex]}
  2. IdeKmMessage <- Responder

Assertion 1.2.1: sizeof(IdeKmMessage) == sizeof(QUERY_RESP)

Assertion 1.2.2: IdeKmMessage.ObjectID == QUERY_RESP

Assertion 1.2.3: IdeKmMessage.PortIndex == QUERY.PortIndex

Assertion 1.2.4: IdeKmMessage.MaxPortIndex >= QUERY_RESP.PortIndex