passedfprime-samd_Drv_I2cDriver_ut_exe0.07s
[STest::Random] Generated seed 323272 from system time
[==========] Running 39 tests from 10 test suites.
[----------] Global test environment set-up.
[----------] 3 tests from Configure
[ RUN ] Configure.Nominal
***************************************
configure() programs the SERCOM once with the requested parameters
***************************************
***************************************
(RQ) SAMD21-I2C-001: The I2cDriver shall configure a SERCOM peripheral for I2C host operation
***************************************
[ OK ] Configure.Nominal (3 ms)
[ RUN ] Configure.AllParameters
***************************************
configure() forwards every parameter to the HAL
***************************************
***************************************
(RQ) SAMD21-I2C-001: The I2cDriver shall configure a SERCOM peripheral for I2C host operation with configurable SCL frequency, SDA hold, and pin usage
***************************************
[ OK ] Configure.AllParameters (0 ms)
[ RUN ] Configure.RegistersIsr
***************************************
configure() registers the component's ISR trampoline
***************************************
***************************************
(RQ) SAMD21-I2C-001: The I2cDriver shall configure a SERCOM peripheral for I2C host operation (the driver's ISR trampoline is registered for its SERCOM)
***************************************
[ OK ] Configure.RegistersIsr (0 ms)
[----------] 3 tests from Configure (4 ms total)
[----------] 3 tests from Read
[ RUN ] Read.Nominal
***************************************
read() queues an RX DMA transfer and kicks off the peripheral
***************************************
***************************************
(RQ) SAMD21-I2C-002: The I2cDriver shall perform 7-bit-addressed read transactions using DMA for the data payload
***************************************
[ OK ] Read.Nominal (0 ms)
[ RUN ] Read.Completion
***************************************
RX DMA completion returns the buffer OK and frees the driver
***************************************
***************************************
(RQ) SAMD21-I2C-002: The I2cDriver shall perform 7-bit-addressed read transactions using DMA for the data payload
***************************************
***************************************
(RQ) SAMD21-I2C-006: The I2cDriver shall deliver every completion callback from the main context (via activeIn), not from interrupt context
***************************************
[ OK ] Read.Completion (0 ms)
[ RUN ] Read.Busy
***************************************
read() while busy is rejected with OTHER_ERR
***************************************
***************************************
(RQ) SAMD21-I2C-005: The I2cDriver shall reject a new request that arrives while a transaction is in progress, returning I2C_OTHER_ERR on the matching completion callback
***************************************
[ OK ] Read.Busy (0 ms)
[----------] 3 tests from Read (2 ms total)
[----------] 3 tests from Write
[ RUN ] Write.Nominal
***************************************
write() queues a TX DMA transfer with an automatic STOP
***************************************
***************************************
(RQ) SAMD21-I2C-002: The I2cDriver shall perform 7-bit-addressed write transactions using DMA for the data payload
***************************************
[ OK ] Write.Nominal (0 ms)
[ RUN ] Write.Completion
***************************************
TX DMA completion returns the buffer OK and frees the driver
***************************************
***************************************
(RQ) SAMD21-I2C-002: The I2cDriver shall perform 7-bit-addressed write transactions using DMA for the data payload
***************************************
***************************************
(RQ) SAMD21-I2C-006: The I2cDriver shall deliver every completion callback from the main context (via activeIn), not from interrupt context
***************************************
[ OK ] Write.Completion (0 ms)
[ RUN ] Write.Busy
***************************************
write() while busy is rejected with OTHER_ERR
***************************************
***************************************
(RQ) SAMD21-I2C-005: The I2cDriver shall reject a new request that arrives while a transaction is in progress, returning I2C_OTHER_ERR on the matching completion callback
***************************************
[ OK ] Write.Busy (0 ms)
[----------] 3 tests from Write (2 ms total)
[----------] 6 tests from WriteRead
[ RUN ] WriteRead.Nominal
***************************************
writeRead() queues both DMA transfers and writes without a STOP
***************************************
***************************************
(RQ) SAMD21-I2C-002: The I2cDriver shall perform 7-bit-addressed combined write-read transactions using DMA for the data payload
***************************************
***************************************
(RQ) SAMD21-I2C-003: The I2cDriver shall implement writeRead as a repeated START with no intervening STOP
***************************************
[ OK ] WriteRead.Nominal (0 ms)
[ RUN ] WriteRead.FullSequence
***************************************
write-read walks write DMA -> master-on-bus -> read DMA -> OK
***************************************
***************************************
(RQ) SAMD21-I2C-003: The I2cDriver shall implement writeRead as a repeated START with no intervening STOP
***************************************
***************************************
(RQ) SAMD21-I2C-006: The I2cDriver shall deliver every completion callback from the main context (via activeIn), not from interrupt context
***************************************
[ OK ] WriteRead.FullSequence (0 ms)
[ RUN ] WriteRead.Busy
***************************************
writeRead() while busy is rejected with OTHER_ERR
***************************************
***************************************
(RQ) SAMD21-I2C-005: The I2cDriver shall reject a new request that arrives while a transaction is in progress, returning I2C_OTHER_ERR on the matching completion callback
***************************************
[ OK ] WriteRead.Busy (0 ms)
[ RUN ] WriteRead.PointerNack
***************************************
a client NACK of the register pointer fails the write-read with WRITE_ERR, no read issued
***************************************
***************************************
(RQ) SAMD21-I2C-004: The I2cDriver shall fail the in-flight transaction with the appropriate status (a NACKed register pointer fails the write-read with I2C_WRITE_ERR)
***************************************
[ OK ] WriteRead.PointerNack (0 ms)
[ RUN ] WriteRead.MbAlreadyLatched
***************************************
MB already latched at write-DMA completion services the handoff inline (no lost edge)
***************************************
***************************************
(RQ) SAMD21-I2C-003: The I2cDriver shall implement writeRead as a repeated START with no intervening STOP (the read half is kicked off even when MB is already latched)
***************************************
[ OK ] WriteRead.MbAlreadyLatched (0 ms)
[ RUN ] WriteRead.MbAlreadyLatchedSpuriousIsr
***************************************
the stale SERCOM interrupt after an inline handoff is a benign no-op, not an assert
***************************************
***************************************
(RQ) SAMD21-I2C-003: The I2cDriver shall implement writeRead as a repeated START with no intervening STOP (a stale SERCOM interrupt after the inline handoff is a benign no-op)
***************************************
[ OK ] WriteRead.MbAlreadyLatchedSpuriousIsr (0 ms)
[----------] 6 tests from WriteRead (4 ms total)
[----------] 8 tests from Isr
[ RUN ] Isr.ErrorIdleUnexpected
***************************************
an error interrupt while IDLE logs the error and an unexpected warning
***************************************
***************************************
(RQ) SAMD21-I2C-004: The I2cDriver shall report bus errors as events (an error with no transaction in flight also raises UnexpectedInterrupt)
***************************************
[ OK ] Isr.ErrorIdleUnexpected (0 ms)
[ RUN ] Isr.ErrorDuringRead
***************************************
an error during a read aborts the DMA and replies READ_ERR
***************************************
***************************************
(RQ) SAMD21-I2C-004: The I2cDriver shall report bus errors as events and fail the in-flight transaction with the appropriate status (I2C_READ_ERR during a read)
***************************************
[ OK ] Isr.ErrorDuringRead (0 ms)
[ RUN ] Isr.ErrorDuringWrite
***************************************
an error during a write aborts the DMA and replies WRITE_ERR
***************************************
***************************************
(RQ) SAMD21-I2C-004: The I2cDriver shall report bus errors as events and fail the in-flight transaction with the appropriate status (I2C_WRITE_ERR during a write)
***************************************
[ OK ] Isr.ErrorDuringWrite (0 ms)
[ RUN ] Isr.ErrorDuringWriteReadWriting
***************************************
an error while writing a write-read aborts both channels, replies WRITE_ERR
***************************************
***************************************
(RQ) SAMD21-I2C-004: The I2cDriver shall report bus errors as events and fail the in-flight transaction with the appropriate status (I2C_WRITE_ERR during the write half of a write-read)
***************************************
[ OK ] Isr.ErrorDuringWriteReadWriting (0 ms)
[ RUN ] Isr.ErrorDuringWriteReadReading
***************************************
an error while reading a write-read aborts the read channel, replies READ_ERR
***************************************
***************************************
(RQ) SAMD21-I2C-004: The I2cDriver shall report bus errors as events and fail the in-flight transaction with the appropriate status (I2C_READ_ERR during the read half of a write-read)
***************************************
[ OK ] Isr.ErrorDuringWriteReadReading (0 ms)
[ RUN ] Isr.AllErrorFlags
***************************************
every error STATUS bit maps to its own event and increments the counter
***************************************
***************************************
(RQ) SAMD21-I2C-004: The I2cDriver shall report bus errors as events and count them in telemetry
***************************************
[ OK ] Isr.AllErrorFlags (0 ms)
[ RUN ] Isr.MasterOnBusUnexpected
***************************************
a master-on-bus interrupt outside write-read is flagged unexpected
***************************************
***************************************
(RQ) SAMD21-I2C-004: The I2cDriver shall report an unexpected master-on-bus interrupt as an event
***************************************
[ OK ] Isr.MasterOnBusUnexpected (0 ms)
[ RUN ] Isr.ErrorDuringWriteReadWaitDisablesMb
***************************************
an error while in WRITE_READ_WRITING_WAIT disables the armed MB interrupt (leak fix)
***************************************
***************************************
(RQ) SAMD21-I2C-004: The I2cDriver shall fail the in-flight transaction with the appropriate status and return to service (the error path disables the armed MB interrupt)
***************************************
[ OK ] Isr.ErrorDuringWriteReadWaitDisablesMb (0 ms)
[----------] 8 tests from Isr (5 ms total)
[----------] 7 tests from StallWatchdog
[ RUN ] StallWatchdog.NoRecoveryBeforeThreshold
***************************************
an in-flight transaction is not recovered until the tick threshold is reached
***************************************
***************************************
(RQ) SAMD21-I2C-007: The I2cDriver shall force-recover a transaction whose completion interrupt is lost (only once the stall threshold is reached)
***************************************
[ OK ] StallWatchdog.NoRecoveryBeforeThreshold (0 ms)
[ RUN ] StallWatchdog.RecoversWriteRead
***************************************
a write-read with a lost MB completion is force-recovered after the threshold
***************************************
***************************************
(RQ) SAMD21-I2C-007: The I2cDriver shall force-recover a write-read whose completion interrupt is lost, reply to the caller with an error, and return to service
***************************************
[ OK ] StallWatchdog.RecoversWriteRead (0 ms)
[ RUN ] StallWatchdog.RecoversRead
***************************************
a stuck read is force-recovered and the caller gets an error reply
***************************************
***************************************
(RQ) SAMD21-I2C-007: The I2cDriver shall force-recover a stalled read, reply to the caller with an error, and return to service
***************************************
[ OK ] StallWatchdog.RecoversRead (0 ms)
[ RUN ] StallWatchdog.RecoversWrite
***************************************
a stuck write is force-recovered and the caller gets an error reply
***************************************
***************************************
(RQ) SAMD21-I2C-007: The I2cDriver shall force-recover a stalled write, reply to the caller with an error, and return to service
***************************************
[ OK ] StallWatchdog.RecoversWrite (0 ms)
[ RUN ] StallWatchdog.ResetsWhenIdle
***************************************
ticks while IDLE never trigger a recovery
***************************************
***************************************
(RQ) SAMD21-I2C-007: The I2cDriver shall force-recover only stalled transactions (an IDLE driver is never recovered)
***************************************
[ OK ] StallWatchdog.ResetsWhenIdle (0 ms)
[ RUN ] StallWatchdog.ResetsOnCompletion
***************************************
a normal completion resets the stall counter so it does not spuriously recover
***************************************
***************************************
(RQ) SAMD21-I2C-007: The I2cDriver shall force-recover only stalled transactions (the stall counter resets when a transaction completes normally)
***************************************
[ OK ] StallWatchdog.ResetsOnCompletion (0 ms)
[ RUN ] StallWatchdog.RecoveryCountTelemetry
***************************************
StallRecoveryCount telemetry tracks the number of recoveries
***************************************
***************************************
(RQ) SAMD21-I2C-007: The I2cDriver shall force-recover a stalled transaction and count the recovery in telemetry
***************************************
[ OK ] StallWatchdog.RecoveryCountTelemetry (0 ms)
[----------] 7 tests from StallWatchdog (5 ms total)
[----------] 3 tests from DmaReply
[ RUN ] DmaReply.WrongChannelRead
***************************************
a WRITE-channel reply during a read is flagged InvalidDmaReply
***************************************
***************************************
(RQ) SAMD21-I2C-004: The I2cDriver shall report a DMA reply on an unexpected channel as an event without advancing the in-flight read
***************************************
[ OK ] DmaReply.WrongChannelRead (0 ms)
[ RUN ] DmaReply.WrongChannelWrite
***************************************
a READ-channel reply during a write is flagged InvalidDmaReply
***************************************
***************************************
(RQ) SAMD21-I2C-004: The I2cDriver shall report a DMA reply on an unexpected channel as an event without advancing the in-flight write
***************************************
[ OK ] DmaReply.WrongChannelWrite (0 ms)
[ RUN ] DmaReply.IdleIgnored
***************************************
a DMA reply while IDLE is silently ignored
***************************************
***************************************
(RQ) SAMD21-I2C-006: The I2cDriver shall deliver completion callbacks only for transactions it has in flight (a DMA reply while IDLE is ignored)
***************************************
[ OK ] DmaReply.IdleIgnored (0 ms)
[----------] 3 tests from DmaReply (1 ms total)
[----------] 3 tests from Boundary
[ RUN ] Boundary.WriteMaxPayload
***************************************
a 255-byte write (max DMA payload) queues a full-length transfer and completes OK
***************************************
***************************************
(RQ) SAMD21-I2C-002: The I2cDriver shall perform write transactions using DMA for the data payload (at the maximum supported payload length)
***************************************
[ OK ] Boundary.WriteMaxPayload (0 ms)
[ RUN ] Boundary.ReadMinPayload
***************************************
a 1-byte read (min payload) queues a single-beat transfer and completes OK
***************************************
***************************************
(RQ) SAMD21-I2C-002: The I2cDriver shall perform read transactions using DMA for the data payload (at the minimum payload length of one byte)
***************************************
[ OK ] Boundary.ReadMinPayload (0 ms)
[ RUN ] Boundary.WriteReadMaxAddress
***************************************
both phases of a write-read target the max legal 7-bit address 0x7F
***************************************
***************************************
(RQ) SAMD21-I2C-002: The I2cDriver shall perform 7-bit-addressed transactions (at the largest legal address, 0x7F)
***************************************
***************************************
(RQ) SAMD21-I2C-003: The I2cDriver shall implement writeRead as a repeated START with no intervening STOP (both halves target the same address)
***************************************
[ OK ] Boundary.WriteReadMaxAddress (0 ms)
[----------] 3 tests from Boundary (2 ms total)
[----------] 2 tests from Telemetry
[ RUN ] Telemetry.BusStatus
***************************************
reportTelemetryIn maps the bus status registers to channels
***************************************
***************************************
(RQ) SAMD21-I2C-004: The I2cDriver shall count bus errors in telemetry
***************************************
[ OK ] Telemetry.BusStatus (0 ms)
[ RUN ] Telemetry.DeviceOnBus
***************************************
both SB and MB set maps to MASTER_AND_SLAVE_ON_BUS
***************************************
***************************************
(RQ) SAMD21-I2C-004: The I2cDriver shall report bus state in telemetry
***************************************
[ OK ] Telemetry.DeviceOnBus (0 ms)
[----------] 2 tests from Telemetry (1 ms total)
[----------] 1 test from Command
[ RUN ] Command.ClearErrors
***************************************
CLEAR_ERRORS resets the error counter and responds OK
***************************************
***************************************
(RQ) SAMD21-I2C-004: The I2cDriver shall count bus errors in telemetry (CLEAR_ERRORS resets the counter)
***************************************
[ OK ] Command.ClearErrors (0 ms)
[----------] 1 test from Command (0 ms total)
[----------] Global test environment tear-down
[==========] 39 tests from 10 test suites ran. (31 ms total)
[ PASSED ] 39 tests.