testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H010() runs on Simu system TestAdapter {...}
Generated with T3Doc 2.0 on Fri Sep 05 17:01:31 CEST 2008.

Description

Test Strategy:



Purpose

TP/SS/SEC/PKMv2/TEK/FSM/BV-H010
TP version: 0.0.12
Initial Condition: IUT is in “Operational” (D) state of the PKMv2 TEK FSM.
Expected Behavior: Check that: On receiving a “TEK Invalid” event from the data packet decryption logic or
by the receipt of a PKMv2 TEK-Invalid message from the Tester (as BS), the IUT sends a PKMv2 Key-Request
message (without stop using current key) and goes into Operational Wait (B) state of the TEK FSM.