/** * @author ETSI / STF405 * @version $URL$ * $Id$ * @desc Testcases for Basic Transport Protocol (TP version: 0.0.3) * @copyright ETSI Copyright Notification * No part may be reproduced except as authorized by written permission. * The copyright and the foregoing restriction extend to reproduction in all media. * All rights reserved. * */ module ItsBtp_TestCases { // LibCommon import from LibCommon_Sync all; import from LibCommon_Time all; // import from LibCommon_VerdictControl all; // LibIts import from LibItsBtp_TestSystem all; import from LibItsBtp_Functions all; import from LibItsBtp_Templates all; // import from LibItsBtp_Pixits all; // import from LibItsBtp_TypesAndValues all; // import from LibItsCommon_Functions all; group btpPacketGeneration { group btpBtpA { /** * @desc Checks that BTP-A packets is well-formatted *
        
         * PICS Selection: none 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when {
         *          the IUT is requested to send a BTP packet via a BTP-data request
         *              containing BTP Type
         *                  indicationg value 'BTP-A'
         *              containing Source PorT
         *                  indicating value 'SOURCE_PORT'
         *              containing Destination Port
         *                  indicating value 'DESTINATION_PORT'
         *      }
         *      then {
         *          the IUT sends a valid BTP-A packet
         *              containing source port
         *                  indicating 'SOURCE_PORT',
         *              containing destination port
         *                  indicating 'DESTINATION_PORT',
         *              containing the Upper Layer payload
         *      }
         *  }
         * 
* * @version 0.0.3 * @see ETSI TS 102 870-2 v1.1.1 TP/BTP/PGA/BV/01 */ testcase TC_BTP_PGA_BV_01() runs on ItsBtp system ItsBtpSystem { // Local variables // Test control // Test component configuration f_cfUp(); // Test adapter configuration // Preamble f_prInitialState(); f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); // Test Body f_utTriggerEvent(m_generateBtpA(f_getBtpDstPort(), f_getBtpSrcPort())); tc_ac.start; alt { [] btpPort.receive( mw_btpInd( mw_btpA (f_getBtpDstPort(), f_getBtpSrcPort(), *))) { tc_ac.stop; log("*** TC_BTP_PGA_BV_01: PASS: BTP-A packet correclty received ***"); f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success); } [] tc_ac.timeout { log("*** TC_BTP_PGA_BV_01: INCONC: Expected BTP packet not received ***"); f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout); } } // Postamble f_poDefault(); f_cfDown(); }// end TC_BTP_PGA_BV_0 } // end btpBtpA group btpBtpB { /** * @desc Checks that BTP-B packets is well-formatted if Destination Port info is provided *
        
         * PICS Selection: none 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when {
         *          the IUT is requested to send a BTP packet via a BTP-data request
         *              containing BTP Type
         *                  indicationg value 'BTP-B'
         *              containing Destination Port
         *                  indicating value 'DESTINATION_PORT'
         *              containing Destination Port Info
         *                  indicating value 'DESTINATION_PORT_INFO'
         *      }
         *      then {
         *          the IUT sends a valid BTP-B packet
         *              containing Destination Port
         *                  indicating value 'DESTINATION_PORT'
         *              containing Destination Port Info
         *                  indicating value 'DESTINATION_PORT_INFO'
         *              containing the Upper Layer payload
         *      }
         *  }
         * 
* * @version 0.0.3 * @see ETSI TS 102 870-2 v1.1.1 TP/BTP/PGB/BV/01 */ testcase TC_BTP_PGB_BV_01() runs on ItsBtp system ItsBtpSystem { // Local variables // Test control // Test component configuration f_cfUp(); // Test adapter configuration // Preamble f_prInitialState(); f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); // Test Body f_utTriggerEvent(m_generateBtpB(f_getBtpDstPort(), f_getBtpDstPortInfo())); tc_ac.start; alt { [] btpPort.receive( mw_btpInd( mw_btpB (f_getBtpDstPort(), f_getBtpDstPortInfo(), *))) { tc_ac.stop; log("*** TC_BTP_PGB_BV_01: PASS: BTP-B packet correclty received ***"); f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success); } [] tc_ac.timeout { log("*** TC_BTP_PGB_BV_01: INCONC: Expected BTP packet not received ***"); f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout); } } // Postamble f_poDefault(); f_cfDown(); }// end TC_BTP_PGB_BV_01 /** * @desc Checks that BTP-B packets are well-formatted if no Destination Port Info is provided *
        
         * PICS Selection: none 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when {
         *          the IUT is requested to send a BTP packet via a BTP-data request
         *              containing BTP Type
         *                  indicationg value 'BTP-B'
         *              containing Destination Port
         *                  indicating value 'DESTINATION_PORT'
         *              not containing Destination Port Info parameter
         *      }
         *      then {
         *          the IUT sends a valid BTP-B packet
         *              containing Destination Port
         *                  indicating value 'DESTINATION_PORT'
         *              containing Destination Port Info
         *                  indicating '0'
         *              containing the Upper Layer payload
         *      }
         *  }
         * 
* * @version 0.0.3 * @see ETSI TS 102 870-2 v1.1.1 TP/BTP/PGB/BV/02 */ testcase TC_BTP_PGB_BV_02() runs on ItsBtp system ItsBtpSystem { // Local variables // Test control // Test component configuration f_cfUp(); // Test adapter configuration // Preamble f_prInitialState(); f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); // Test Body f_utTriggerEvent(m_generateBtpB(f_getBtpDstPort(), 0)); tc_ac.start; alt { [] btpPort.receive( mw_btpInd( mw_btpB (f_getBtpDstPort(), 0, *))) { tc_ac.stop; log("*** TC_BTP_PGB_BV_02: PASS: BTP-B packet correclty received ***"); f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success); } [] tc_ac.timeout { log("*** TC_BTP_PGB_BV_02: INCONC: Expected BTP packet not received ***"); f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_timeout); } } // Postamble f_poDefault(); f_cfDown(); }// end TC_BTP_PGB_BV_02 } // end btpBtpB } // end btpPacketGeneration group btpPacketProcessing { group btpValid { /** * @desc Checks that BTP passes a valid BTP-A packets to the upper protocol entity *
        
         * PICS Selection: none 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when {
         *          the IUT receives a valid BTP-A packet
         *              containing Source Port
         *                  indicating 'SOURCE_PORT'
         *              containing Destination Port
         *                  indicating'DESTINATION_PORT'
         *              containing the payload
         *      }
         *      then {
         *          the IUT passes the payload to the upper layer
         *      }
         *  }
         * 
* * @version 0.0.3 * @see ETSI TS 102 870-2 v1.1.1 TP/BTP/PP/BV/01 */ testcase TC_BTP_PP_BV_01() runs on ItsBtp system ItsBtpSystem { // Local variables var BtpReq v_btpReq; var integer i; // Test control // Test component configuration f_cfUp(); // Test adapter configuration // Preamble f_prInitialState(); f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); // Test Body v_btpReq := valueof(m_btpReq( m_btpAWithPorts (f_getBtpDstPort(), f_getBtpSrcPort(), f_getBtpPayload()))); btpPort.send(v_btpReq); f_sleep(PX_TNOAC); for(i:=0; i < lengthof(vc_utEvents) and not match(v_btpReq.msgOut.payload.rawPayload, vc_utEvents[i].rawPayload); i:=i+1) { // empty on purpose } if(i < lengthof(vc_utEvents)) { log("*** " & testcasename() & ": PASS: BTP was transmitted to upper layer***"); f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success); } else { log("*** " & testcasename() & ": FAIL: BTP was not transmitted to upper layer***"); f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error); } // Postamble f_poDefault(); f_cfDown(); }// end TC_BTP_PP_BV_01 /** * @desc Checks that BTP passes a valid BTP-B packets to the upper protocol entity *
        
         * PICS Selection: none 
         * Initial conditions:
         *  with {
         *      the IUT being in the "initial state"
         *  }
         * Expected behaviour:
         *  ensure that {
         *      when {
         *          the IUT receives a valid BTP-B packet
         *              containing Destination Port
         *                  indicating'DESTINATION_PORT'
         *              containing Destination Port Info
         *                  indicating'DESTINATION_PORT_INFO'
         *              containing the payload
         *      }
         *      then {
         *          the IUT passes the payload to the upper layer
         *      }
         *  }
         * 
* * @version 0.0.3 * @see ETSI TS 102 870-2 v1.1.1 TP/BTP/PP/BV/02 */ testcase TC_BTP_PP_BV_02() runs on ItsBtp system ItsBtpSystem { // Local variables var BtpReq v_btpReq; var integer i; // Test control // Test component configuration f_cfUp(); // Test adapter configuration // Preamble f_prInitialState(); f_selfOrClientSyncAndVerdictPreamble(c_prDone, e_success); // Test Body v_btpReq := valueof(m_btpReq( m_btpBWithPorts (f_getBtpDstPort(), f_getBtpDstPortInfo(), f_getBtpPayload()))); btpPort.send(v_btpReq); f_sleep(PX_TNOAC); for(i:=0; i < lengthof(vc_utEvents) and not match(v_btpReq.msgOut.payload.rawPayload, vc_utEvents[i].rawPayload); i:=i+1) { // empty on purpose } if(i < lengthof(vc_utEvents)) { log("*** " & testcasename() & ": PASS: BTP was transmitted to upper layer***"); f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_success); } else { log("*** " & testcasename() & ": FAIL: BTP was not transmitted to upper layer***"); f_selfOrClientSyncAndVerdictTestBody(c_tbDone, e_error); } // Postamble f_poDefault(); f_cfDown(); }// end TC_BTP_PP_BV_02 } // end btpValid } // end btpPacketProcessing } // end ItsBtp_TestCases