Loading ttcn/dPMR_Pixits.ttcn +6 −0 Changes for ttcn/dPMR_Pixits.ttcn: 6 added lines, 0 removed lines. Original line number Diff line number Diff line Loading @@ -140,6 +140,12 @@ module dPMR_Pixits { * @desc Time of Max Case Execution */ modulepar {float PXT_MAX_CASE_EXEC_PERIOD := 5000E-3} /** * @desc Time of Max TxWait */ modulepar {float PXT_MAX_TXWAIT_PERIOD := 0.320} } // end dPMR_Timers group additional { Loading ttcn/dPMR_Templates.ttcn +21 −0 Changes for ttcn/dPMR_Templates.ttcn: 21 added lines, 0 removed lines. Original line number Diff line number Diff line Loading @@ -661,6 +661,20 @@ callInformation := ? } // end mw_headerInformationVoiceTx template HeaderInformation mw_headerInformationStatusTx ( template MsAddress p_calledId , template MsAddress p_ownId, template CommunicationsMode p_commMode, template CommsFormat p_commFormat ) := { headerType := e_statusReqHdr, calledId := p_calledId, ownId := p_ownId, communicationsMode := p_commMode, commsFormat := p_commFormat, reserved2bit := c_reserved2bits, callInformation := ? } // end mw_headerInformationStatusTx // template MsAddress mw_msAddress( ISFAddress p_isfAddress) := // { isfAddress := p_isfAddress } template MsAddress mw_msAddress( template Common_ID p_commonId, template FixedPart p_fixedPart) := Loading Loading @@ -705,6 +719,13 @@ reserved4bit := c_reserved4bits } // end m_endInformation template EndInformation mw_endInformationStatus( AckRequest p_ackReq ) := { endType := e_endFrameWithStatusMsg , ackRequest := p_ackReq, txWait := ?, statusMessage := '01001'B, reserved4bit := c_reserved4bits } // end mw_endInformationStatus Loading ttcn/dPMR_TestCases.ttcn +548 −14 File changed.Preview size limit exceeded, changes collapsed. Show changes ttcn/dPMR_TestExecution.ttcn +6 −1 Changes for ttcn/dPMR_TestExecution.ttcn: 6 added lines, 1 removed line. Original line number Diff line number Diff line Loading @@ -37,7 +37,7 @@ module dPMR_TestExecution { // group ChannelAccess { // Clause 5.1.2 if (PIC_MS_POLITE_OWN_CC) {execute(TC_PMR_1004_01() );} execute(TC_PMR_1005_01() ); if (PIC_ISF_OR_CSF == e_csf) {execute(TC_PMR_1007_01() );} if (PIC_ISF_OR_CSF == e_csf) {execute(TC_PMR_1007_02() );} if (PIC_ISF_OR_CSF == e_csf) {execute(TC_PMR_1007_03() );} Loading @@ -48,6 +48,8 @@ module dPMR_TestExecution { if (PIC_ISF_OR_CSF == e_isf) {execute(TC_PMR_1010_01() );} if (PIC_ISF_OR_CSF == e_csf) {execute(TC_PMR_1011_01() );} if (PIC_ISF_OR_CSF == e_csf) {execute(TC_PMR_1012_01() );} if (PIC_ISF_OR_CSF == e_csf) {execute(TC_PMR_1012_02() );} if (PIC_ISF_OR_CSF == e_csf) {execute(TC_PMR_1012_03() );} //} // group Framing {// Clause 5.1.3 Loading Loading @@ -199,6 +201,9 @@ module dPMR_TestExecution { if (PIC_CSF_NUMBER_AND_DIALING_SUPPORT and PIC_CSF_ADDRESS_SPACE_MAPPING) {execute(TC_PMR_1420_04() );} if (PIC_CSF_NUMBER_AND_DIALING_SUPPORT and PIC_CSF_ADDRESS_SPACE_MAPPING) {execute(TC_PMR_1420_05() );} if (PIC_CSF_NUMBER_AND_DIALING_SUPPORT and PIC_CSF_ADDRESS_SPACE_MAPPING) {execute(TC_PMR_1420_06() );} if (PIC_CSF_NUMBER_AND_DIALING_SUPPORT and PIC_CSF_ADDRESS_SPACE_MAPPING) {execute(TC_PMR_1420_07() );} if (PIC_CSF_NUMBER_AND_DIALING_SUPPORT and PIC_CSF_ADDRESS_SPACE_MAPPING) {execute(TC_PMR_1421_01() );} if (PIC_CSF_NUMBER_AND_DIALING_SUPPORT and PIC_CSF_ADDRESS_SPACE_MAPPING) {execute(TC_PMR_1423_01() );} if (PIC_CSF_NUMBER_AND_DIALING_SUPPORT and PIC_CSF_ADDRESS_SPACE_MAPPING) {execute(TC_PMR_1424_01() );} // } // end group DialingPlan Loading ttcn/dPMR_TestSystem.ttcn +1 −1 Changes for ttcn/dPMR_TestSystem.ttcn: 1 added line, 1 removed line. Original line number Diff line number Diff line Loading @@ -34,7 +34,7 @@ group componentDefs { timer tc_ac := PXT_TAC; timer tc_noac := PXT_TNOAC; timer tc_wait := PXT_TWAIT; timer tc_t_ack := 3.0; // TODO JP cannot use the pics, get circular reference!!! Check why timer tc_t_ack := 3.0; // TODO JP cannot use the PICS, get circular reference!!! Check why timer tc_t_toStopInterference := 1.0; //Component variable Loading Loading
ttcn/dPMR_Pixits.ttcn +6 −0 Changes for ttcn/dPMR_Pixits.ttcn: 6 added lines, 0 removed lines. Original line number Diff line number Diff line Loading @@ -140,6 +140,12 @@ module dPMR_Pixits { * @desc Time of Max Case Execution */ modulepar {float PXT_MAX_CASE_EXEC_PERIOD := 5000E-3} /** * @desc Time of Max TxWait */ modulepar {float PXT_MAX_TXWAIT_PERIOD := 0.320} } // end dPMR_Timers group additional { Loading
ttcn/dPMR_Templates.ttcn +21 −0 Changes for ttcn/dPMR_Templates.ttcn: 21 added lines, 0 removed lines. Original line number Diff line number Diff line Loading @@ -661,6 +661,20 @@ callInformation := ? } // end mw_headerInformationVoiceTx template HeaderInformation mw_headerInformationStatusTx ( template MsAddress p_calledId , template MsAddress p_ownId, template CommunicationsMode p_commMode, template CommsFormat p_commFormat ) := { headerType := e_statusReqHdr, calledId := p_calledId, ownId := p_ownId, communicationsMode := p_commMode, commsFormat := p_commFormat, reserved2bit := c_reserved2bits, callInformation := ? } // end mw_headerInformationStatusTx // template MsAddress mw_msAddress( ISFAddress p_isfAddress) := // { isfAddress := p_isfAddress } template MsAddress mw_msAddress( template Common_ID p_commonId, template FixedPart p_fixedPart) := Loading Loading @@ -705,6 +719,13 @@ reserved4bit := c_reserved4bits } // end m_endInformation template EndInformation mw_endInformationStatus( AckRequest p_ackReq ) := { endType := e_endFrameWithStatusMsg , ackRequest := p_ackReq, txWait := ?, statusMessage := '01001'B, reserved4bit := c_reserved4bits } // end mw_endInformationStatus Loading
ttcn/dPMR_TestCases.ttcn +548 −14 File changed.Preview size limit exceeded, changes collapsed. Show changes
ttcn/dPMR_TestExecution.ttcn +6 −1 Changes for ttcn/dPMR_TestExecution.ttcn: 6 added lines, 1 removed line. Original line number Diff line number Diff line Loading @@ -37,7 +37,7 @@ module dPMR_TestExecution { // group ChannelAccess { // Clause 5.1.2 if (PIC_MS_POLITE_OWN_CC) {execute(TC_PMR_1004_01() );} execute(TC_PMR_1005_01() ); if (PIC_ISF_OR_CSF == e_csf) {execute(TC_PMR_1007_01() );} if (PIC_ISF_OR_CSF == e_csf) {execute(TC_PMR_1007_02() );} if (PIC_ISF_OR_CSF == e_csf) {execute(TC_PMR_1007_03() );} Loading @@ -48,6 +48,8 @@ module dPMR_TestExecution { if (PIC_ISF_OR_CSF == e_isf) {execute(TC_PMR_1010_01() );} if (PIC_ISF_OR_CSF == e_csf) {execute(TC_PMR_1011_01() );} if (PIC_ISF_OR_CSF == e_csf) {execute(TC_PMR_1012_01() );} if (PIC_ISF_OR_CSF == e_csf) {execute(TC_PMR_1012_02() );} if (PIC_ISF_OR_CSF == e_csf) {execute(TC_PMR_1012_03() );} //} // group Framing {// Clause 5.1.3 Loading Loading @@ -199,6 +201,9 @@ module dPMR_TestExecution { if (PIC_CSF_NUMBER_AND_DIALING_SUPPORT and PIC_CSF_ADDRESS_SPACE_MAPPING) {execute(TC_PMR_1420_04() );} if (PIC_CSF_NUMBER_AND_DIALING_SUPPORT and PIC_CSF_ADDRESS_SPACE_MAPPING) {execute(TC_PMR_1420_05() );} if (PIC_CSF_NUMBER_AND_DIALING_SUPPORT and PIC_CSF_ADDRESS_SPACE_MAPPING) {execute(TC_PMR_1420_06() );} if (PIC_CSF_NUMBER_AND_DIALING_SUPPORT and PIC_CSF_ADDRESS_SPACE_MAPPING) {execute(TC_PMR_1420_07() );} if (PIC_CSF_NUMBER_AND_DIALING_SUPPORT and PIC_CSF_ADDRESS_SPACE_MAPPING) {execute(TC_PMR_1421_01() );} if (PIC_CSF_NUMBER_AND_DIALING_SUPPORT and PIC_CSF_ADDRESS_SPACE_MAPPING) {execute(TC_PMR_1423_01() );} if (PIC_CSF_NUMBER_AND_DIALING_SUPPORT and PIC_CSF_ADDRESS_SPACE_MAPPING) {execute(TC_PMR_1424_01() );} // } // end group DialingPlan Loading
ttcn/dPMR_TestSystem.ttcn +1 −1 Changes for ttcn/dPMR_TestSystem.ttcn: 1 added line, 1 removed line. Original line number Diff line number Diff line Loading @@ -34,7 +34,7 @@ group componentDefs { timer tc_ac := PXT_TAC; timer tc_noac := PXT_TNOAC; timer tc_wait := PXT_TWAIT; timer tc_t_ack := 3.0; // TODO JP cannot use the pics, get circular reference!!! Check why timer tc_t_ack := 3.0; // TODO JP cannot use the PICS, get circular reference!!! Check why timer tc_t_toStopInterference := 1.0; //Component variable Loading