EventHandler of the MBT AppLib
altstep as_EPTF_MBT_PCO_Handler() runs on EPTF_MBT_LGen_CT
constant for the input index of incomming TesStep request
const integer c_EPTF_MBT_inputIdx_incomingTestStepRequest := 1
constant for the input index of incomming user request
const integer c_EPTF_MBT_inputIdx_incomingUserRequest := 0
constant for the input name of TEstStep Request
const charstring c_EPTF_MBT_inputName_incomingTestStepRequest := "EPTF_MBT_inputName_incomingTestStepRequest"
constant for the behavior name
const charstring c_EPTF_MBT_myBName:="MBT_behavior"
constant for the step index of invoke TestStep
const integer c_EPTF_MBT_stepIdx_invokeTestStep:=0
constant for the step index of invoke user function
const integer c_EPTF_MBT_stepIdx_invokeUserFunction:=1
constant for the step index of send user response
const integer c_EPTF_MBT_stepIdx_sendUserResponse:=2
constant for the step name of invoke user function
const charstring c_EPTF_MBT_stepName_invokeUserFunction :="EPTF_MBT_stepName_invokeUserFunction"
constant for the step name of send user response
const charstring c_EPTF_MBT_stepName_sendUserResponse :="EPTF_MBT_stepName_sendUserResponse"
Describes the Command Request
type union EPTF_MBT_CommandRequest
Describes the Command Response
type union EPTF_MBT_CommandResponse
Describes the ConfigRequest
type record EPTF_MBT_ConfigRequest
Describes the ConfigResponse
type record EPTF_MBT_ConfigResponse {}
Describes the Create FSM request
type record EPTF_MBT_CreateFSMRequest
Describes the Create FSM response
type record EPTF_MBT_CreateFSMResponse
Describes the Event Dispatch Request
type record EPTF_MBT_EventDispatchRequest
MBT application library component type
type component EPTF_MBT_LGen_CT extends EPTF_LGenBase_CT, EPTF_Scheduler_CT, EPTF_Logging_CT, EPTF_Semaphore_CT
Messages based port to connect the Tester comopnent to the loadGen component.
type port EPTF_MBT_PortType message
Describes the Remove FSM request
type record EPTF_MBT_RemoveFSMRequest
MBT tester component type
type component EPTF_MBT_Tester_CT extends EPTF_Base_CT, EPTF_Semaphore_CT
Describes the TestStep request
type record EPTF_MBT_TestStepRequest
Describes the TestStep Response]
type record EPTF_MBT_TestStepResponse
Describes the User Request request
type record EPTF_MBT_UserRequest
Describes the UserResponse
type record EPTF_MBT_UserResponse {}
Utility function to convert an FsmAddr address to a TestStepArgs value.
function f_convert_FsmAddr2TestStepArgs( in EPTF_MBT_LGen_Definitions. FsmAddr p_addr ) return EPTF_LGenBase_TestStepArgs
Bind function of the MBT AppLib
function f_EPTF_MBT_bindEntity( in integer pl_eIdx ) runs on EPTF_MBT_LGen_CT return EPTF_IntegerList
Cleanup function of the MBT Applib
function f_EPTF_MBT_cleanup_CT() runs on EPTF_MBT_LGen_CT
Register the EVents used by the MBT AppLib
function f_EPTF_MBT_declareEvents() runs on EPTF_MBT_LGen_CT
Register the TestSteps used by the MBT AppLib
function f_EPTF_MBT_declareTestSteps() runs on EPTF_MBT_LGen_CT
Function to initialize MBT behaviour
function f_EPTF_MBT_init ( in charstring pl_selfName, in integer pl_selfId, in charstring pl_entityNamePrefix, in integer pl_numEntities : = 0, in EPTF_LGenBase_BehaviorContextBinder_FT pl_bind : = refers(f_EPTF_MBT_bindEntity), in EPTF_LGenBase_BehaviorContextHandler_FT pl_reset : = refers(f_EPTF_MBT_resetEntity), in EPTF_LGenBase_BehaviorContextHandler_FT pl_unbind : = refers(f_EPTF_MBT_unbindEntity) ) runs on EPTF_MBT_LGen_CT
This function inits the MBT FSM
function f_EPTF_MBT_initLGenFsm ( in fcb_EPTF_MBT_customUserFunction p_userFunc, in fcb_EPTF_MBT_entityGroupCreated p_entityGroupCreateFunc ) runs on EPTF_MBT_LGen_CT
This is a listener to catch all entity level events.
function f_EPTF_MBT_Listener_catchEntityEvents( EPTF_LGenBase_ReportedEventDescriptor pl_event, EPTF_IntegerList pl_listenerArgs ) runs on EPTF_MBT_LGen_CT
This is a listener to catch all generic level events.
function f_EPTF_MBT_Listener_catchGenericEvents( EPTF_LGenBase_ReportedEventDescriptor pl_event, EPTF_IntegerList pl_listenerArgs ) runs on EPTF_MBT_LGen_CT
Reset function of the MBT AppLib
function f_EPTF_MBT_resetEntity( in integer pl_eIdx ) runs on EPTF_MBT_LGen_CT
This function inits the EPTF_MBT_Tester_CT
function f_EPTF_MBT_Tester_init ( in charstring pl_selfName ) runs on EPTF_MBT_Tester_CT
General Purpose wrapper TestStep to select the Proper TestStep based on its actual parameters and invokes it.
function f_EPTF_MBT_TestStep_invokeTestStep( in EPTF_LGenBase_TestStepArgs pl_ptr ) runs on EPTF_MBT_LGen_CT
TestStep function to invoke user specific function
function f_EPTF_MBT_TestStep_invokeUserFunction( in EPTF_LGenBase_TestStepArgs pl_ptr ) runs on EPTF_MBT_LGen_CT
TestStep function to generate the User response,.
function f_EPTF_MBT_TestStep_sendUserResponse( in EPTF_LGenBase_TestStepArgs pl_ptr ) runs on EPTF_MBT_LGen_CT
Unbind function of the MBT AppLib
function f_EPTF_MBT_unbindEntity( in integer pl_eIdx ) runs on EPTF_MBT_LGen_CT
This function activates an FSM on an entity.
function f_MBT_activateFsm( in charstring p_entityGroupName, in integer p_eIdx, in charstring p_fsmName, out FsmAddr p_fsmAddr ) runs on EPTF_MBT_Tester_CT return integer
This function sends an EPTF event to an FSM.
function f_MBT_dispatch( in charstring p_bName, in integer p_iIndex, in EPTF_MBT_LGen_Definitions. FsmAddr p_addr ) runs on EPTF_MBT_Tester_CT
This function executes a test step on specifid FSM (which must run the FSM_MBT) FSM.
function f_MBT_execute( in charstring p_name, in EPTF_MBT_LGen_Definitions. FsmAddr p_addr, in EPTF_IntegerList p_params : = {}, in boolean p_lock : = true ) runs on EPTF_MBT_Tester_CT
This function waits for specified EPTF event to arrive.
function f_MBT_waitFor( in charstring p_behavior, in template charstring p_name, in template EPTF_MBT_LGen_Definitions. FsmAddr p_addr, in float p_timeout : = 30.0 ) runs on EPTF_MBT_Tester_CT return boolean
Describes the function signature for custom user function
type function fcb_EPTF_MBT_customUserFunction ( in EPTF_LGenBase_TestStepArgs pl_ptr ) runs on self return boolean
Describes the function signature for entity Group created callback function
type function fcb_EPTF_MBT_entityGroupCreated( in EPTF_MBT_ConfigRequest p_req ) runs on self
Describes the FSM address
type record FsmAddr
Describes the Ready Response
type record QuitAckResponse {}
Describes the Command Response
type record QuitCommand {}
Describes the Ready Response
type record ReadyResponse {}