group TEK {

  // Testcase definitions.

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H000() runs on Simu system TestAdapter {...}

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H001() runs on Simu system TestAdapter {...}

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H002() runs on Simu system TestAdapter {...}

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H003() runs on Simu system TestAdapter {...}

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H004() runs on Simu system TestAdapter {...}

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H005() runs on Simu system TestAdapter {...}

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H006() runs on Simu system TestAdapter {...}

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H007() runs on Simu system TestAdapter {...}

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H008() runs on Simu system TestAdapter {...}

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H009() runs on Simu system TestAdapter {...}

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H010() runs on Simu system TestAdapter {...}

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H016() runs on Simu system TestAdapter {...}

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H017() runs on Simu system TestAdapter {...}

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H018() runs on Simu system TestAdapter {...}

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H020() runs on Simu system TestAdapter {...}

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H021() runs on Simu system TestAdapter {...}

  testcase TC_SS_SEC_PKMv2_TEK_FSM_BV_H022() runs on Simu system TestAdapter {...}

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