Commit 41ac339c authored by Philip Makedonski's avatar Philip Makedonski
Browse files

+ updated examples

parent 45bd7747

standard-tests/3gpp/IMS.tdlan2

+5 −5
Original line number Diff line number Diff line
@@ -15,7 +15,7 @@ file and shall not imply any sub-license right. 
*/



//Translated from [i.6], Section 4.5.1.

TDLan Specification IMS_NNI_General_Capabilities {

Package IMS_NNI_General_Capabilities {

    //Procedures carried out by a component of a test configuration 

    //or an actor during test execution

    Action preConditions : "Pre-test conditions:
@@ -64,10 +64,10 @@ TDLan Specification IMS_NNI_General_Capabilities { 
    

    //Relevant data definitions

    Type MSG (optional TCP of type CONTENT);

    MSG MESSAGE ;

    MSG DING ;

    MSG DELIVERY_REPORT ;

    MSG M_200_OK ;

    MSG MESSAGE() ;

    MSG DING() ;

    MSG DELIVERY_REPORT() ;

    MSG M_200_OK() ;

    

    Type CONTENT ;

    CONTENT tcp;

standard-tests/onem2m/cse_dmr.tplan2

+2 −2
Original line number Diff line number Diff line
@@ -21,6 +21,7 @@ Package onem2m_cse_dmr { 
		entities:

		- AE

		- IUT

		- container_resource

		;

		events:

		- being_in
@@ -33,7 +34,6 @@ Package onem2m_cse_dmr { 
		- perform_DELETE_operation_on

		- increments

		- sends

		- container_resource

		;

	}
@@ -63,7 +63,7 @@ Package onem2m_cse_dmr { 
					From indicating value AE_ID;

			}

			then {

				the IUT entity increments the stateTag attribute in the container_resource 

				the IUT entity increments the stateTag ^attribute in the container_resource entity

				and the IUT entity sends a valid Response containing 

					Response Status Code set to 2002; /* (DELETED) */ 

			}