Newer
Older
// LibIts
import from LibIts_TestSystem all;
import from LibIts_Interface all;
import from LibItsCam_Templates all;
group defaults {
/**
* @desc basic default behaviour handling
* @remark none
* @param none
*/
altstep a_basicDefault() runs on ItsFa {
[] camPort.receive(mw_camInd ( mw_camMsg_any )){
setverdict(fail, "*** a_basicDefault: FAIL: CAM message received in default ***");
[] camPort.receive {
setverdict(fail, "*** a_basicDefault: FAIL: event received on CAM port in default ***");
setverdict(fail, "*** a_basicDefault: FAIL: a timer expired in default ***");
stop;
}
}//end altstep a_basicDefault
} // end of defaults
group preambles {
/**
* @desc Initialize the IUT
* @remark No specific actions specified in the base standard
* @param none
*/
group upperTester {
function f_upperTester () {
// crash signal activated
// crash signal deactivated
} // end of function
* @param p_camPtc returned Facility component variable
*/
/**
* @desc Wait for component to finish and unmap CAM ports
tc_guard.start;
alt {
[] p_ptcCam.done {
tc_guard.stop;
}
[] tc_guard.timeout {
log("*** f_ptcCamDown: ERROR: Timeout while waiting for component ***");
setverdict(inconc);
}
}
unmap(p_ptcCam:camPort);