The tests use fixed checksum vectors (including a captured F4 acknowledgement), synthetic control packets, and fragmented or corrupted byte streams. They verify state updates, expected responses, and ...