tests/CoapTestSuite_Etsi.ttcn - titan/titan.Applications.IoT_Functiontest_Framework - Git at Google

 ///////////////////////////////////////////////////////////////////////////////
 //
 // Copyright (c) 2000-2017 Ericsson Telecom AB
 //
 // All rights reserved. This program and the accompanying materials
 // are made available under the terms of the Eclipse Public License v2.0
 // which accompanies this distribution, and is available at
 // https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
 ///////////////////////////////////////////////////////////////////////////////
 //  File:               CoapTestSuite_Etsi.ttcn
 //  Description:
 //  Rev:                R1A
 //  Prodnr:             LPA 108 661
 //  Updated:            2017-09-01
 //  Contact:            http://ttcn.ericsson.se
 ///////////////////////////////////////////////////////////////////////////////
 module CoapTestSuite_Etsi
 {
 	import from IoT_FT_Framework_Definitions all;
 	import from IoT_FT_Framework_Functions all;
 	import from IFW_CoAP_Peer_TestSteps all;
 	import from CoAP_Types all;

 	testcase tc_client_TD_COAP_CORE_01() runs on IFW_MAIN_CT
 	{
 	  setverdict(pass);

 	  var integer client := f_IFW_addComponent(COAP_PEER, "client");

 	  f_IFW_CoapPeer_setRemote(client, "server");

 	  f_IFW_initComponents();

 	  f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_CORE_01_req00));
 	  f_IFW_CoapPeer_send(client);

 	  f_IFW_CoapPeer_receive(client);
 	  if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_CORE_01_rsp01))
 	  {
 	  	setverdict(fail);
 	  }
 	}

 	template CoAP_ReqResp t_client_TD_COAP_CORE_01_req00 :=
 	{
 	  	header :=
 	  	{
     		version := 1,
     		msg_type := CONFIRMABLE,
     		code := METHOD_GET,
     		message_id := 0
 	  	},
     	token := ''O,
     	options :=
 		{
 	  		{
 	  		  uri_path := "test"
 	  		}
 		},
     	payload := omit
 	}

 	template CoAP_ReqResp t_client_TD_COAP_CORE_01_rsp01 :=
 	{
 		header :=
 		{
 	        version := 1,
 	        msg_type := ACKNOWLEDGEMENT,
 	        code := RESPONSE_CODE_Content,
 	        message_id := ?
 	    },
 	    token := ''O,
 	    options :=
 	    {
 	 		{
 	    		content_format := 0
 	        }
 	    },
     	payload := ?
 	}

 	testcase tc_client_TD_COAP_CORE_02() runs on IFW_MAIN_CT
 	{
 	  setverdict(pass);

 	  var integer client := f_IFW_addComponent(COAP_PEER, "client");

 	  f_IFW_CoapPeer_setRemote(client, "server");

 	  f_IFW_initComponents();

 	  f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_CORE_02_req00));
 	  f_IFW_CoapPeer_send(client);

 	  f_IFW_CoapPeer_receive(client);
 	  if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_CORE_02_rsp01))
 	  {
 	  	setverdict(fail);
 	  }
 	}

 	template CoAP_ReqResp t_client_TD_COAP_CORE_02_req00 :=
 	{
 	  	header :=
 	  	{
     		version := 1,
     		msg_type := CONFIRMABLE,
     		code := METHOD_POST,
     		message_id := 0
 	  	},
     	token := ''O,
     	options :=
 		{
 	  		{
 	  		  uri_path := "test"
 	  		},
 	  		{
 	    		content_format := 0
 	        }
 		},
     	payload := char2oct("Some payload")
 	}

 	template CoAP_ReqResp t_client_TD_COAP_CORE_02_rsp01 :=
 	{
 		header :=
 		{
 	        version := 1,
 	        msg_type := ACKNOWLEDGEMENT,
 	        code := RESPONSE_CODE_Created,
 	        message_id := ?
 	    },
 	    token := ''O,
 	    options :=
 	    {
 	    },
     	payload := omit
 	}

 	testcase tc_client_TD_COAP_CORE_03() runs on IFW_MAIN_CT
 	{
 	  setverdict(pass);

 	  var integer client := f_IFW_addComponent(COAP_PEER, "client");

 	  f_IFW_CoapPeer_setRemote(client, "server");

 	  f_IFW_initComponents();

 	  f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_CORE_03_req00));
 	  f_IFW_CoapPeer_send(client);

 	  f_IFW_CoapPeer_receive(client);
 	  if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_CORE_03_rsp01))
 	  {
 	  	setverdict(fail);
 	  }
 	}

 	template CoAP_ReqResp t_client_TD_COAP_CORE_03_req00 :=
 	{
 	  	header :=
 	  	{
     		version := 1,
     		msg_type := CONFIRMABLE,
     		code := METHOD_PUT,
     		message_id := 0
 	  	},
     	token := ''O,
     	options :=
 		{
 	  		{
 	  		  uri_path := "test"
 	  		},
 	  		{
 	    		content_format := 0
 	        }
 		},
     	payload := char2oct("Some payload")
 	}

 	template CoAP_ReqResp t_client_TD_COAP_CORE_03_rsp01 :=
 	{
 		header :=
 		{
 	        version := 1,
 	        msg_type := ACKNOWLEDGEMENT,
 	        code := RESPONSE_CODE_Changed,
 	        message_id := ?
 	    },
 	    token := ''O,
 	    options :=
 	    {
 	    },
     	payload := omit
 	}

 	testcase tc_client_TD_COAP_CORE_04() runs on IFW_MAIN_CT
 	{
 	  setverdict(pass);

 	  var integer client := f_IFW_addComponent(COAP_PEER, "client");

 	  f_IFW_CoapPeer_setRemote(client, "server");

 	  f_IFW_initComponents();

 	  f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_CORE_04_req00));
 	  f_IFW_CoapPeer_send(client);

 	  f_IFW_CoapPeer_receive(client);
 	  if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_CORE_04_rsp01))
 	  {
 	  	setverdict(fail);
 	  }
 	}

 	template CoAP_ReqResp t_client_TD_COAP_CORE_04_req00 :=
 	{
 	  	header :=
 	  	{
     		version := 1,
     		msg_type := CONFIRMABLE,
     		code := METHOD_DELETE,
     		message_id := 0
 	  	},
     	token := ''O,
     	options :=
 		{
 	  		{
 	  		  uri_path := "test"
 	  		}
 		},
     	payload := omit
 	}

 	template CoAP_ReqResp t_client_TD_COAP_CORE_04_rsp01 :=
 	{
 		header :=
 		{
 	        version := 1,
 	        msg_type := ACKNOWLEDGEMENT,
 	        code := RESPONSE_CODE_Deleted,
 	        message_id := ?
 	    },
 	    token := ''O,
 	    options := omit,
     	payload := omit
 	}

 	testcase tc_client_TD_COAP_CORE_05() runs on IFW_MAIN_CT
 	{
 	  setverdict(pass);

 	  var integer client := f_IFW_addComponent(COAP_PEER, "client");

 	  f_IFW_CoapPeer_setRemote(client, "server");

 	  f_IFW_initComponents();

 	  f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_CORE_05_req00));
 	  f_IFW_CoapPeer_send(client);

 	  f_IFW_CoapPeer_receive(client);
 	  if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_CORE_05_rsp01))
 	  {
 	  	setverdict(fail);
 	  }
 	}

 	template CoAP_ReqResp t_client_TD_COAP_CORE_05_req00 :=
 	{
 	  	header :=
 	  	{
     		version := 1,
     		msg_type := NON_CONFIRMABLE,
     		code := METHOD_GET,
     		message_id := 0
 	  	},
     	token := ''O,
     	options :=
 		{
 	  		{
 	  		  uri_path := "test"
 	  		}
 		},
     	payload := omit
 	}

 	template CoAP_ReqResp t_client_TD_COAP_CORE_05_rsp01 :=
 	{
 		header :=
 		{
 	        version := 1,
 	        msg_type := NON_CONFIRMABLE,
 	        code := RESPONSE_CODE_Content,
 	        message_id := ?
 	    },
 	    token := ''O,
 	    options :=
 	    {
 	 		{
 	    		content_format := 0
 	        }
 	    },
     	payload := ?
 	}

 	testcase tc_client_TD_COAP_CORE_06() runs on IFW_MAIN_CT
 	{
 	  setverdict(pass);

 	  var integer client := f_IFW_addComponent(COAP_PEER, "client");

 	  f_IFW_CoapPeer_setRemote(client, "server");

 	  f_IFW_initComponents();

 	  f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_CORE_06_req00));
 	  f_IFW_CoapPeer_send(client);

 	  f_IFW_CoapPeer_receive(client);
 	  if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_CORE_06_rsp01))
 	  {
 	  	setverdict(fail);
 	  }
 	}

 	template CoAP_ReqResp t_client_TD_COAP_CORE_06_req00 :=
 	{
 	  	header :=
 	  	{
     		version := 1,
     		msg_type := NON_CONFIRMABLE,
     		code := METHOD_POST,
     		message_id := 0
 	  	},
     	token := ''O,
     	options :=
 		{
 	  		{
 	  		  uri_path := "test"
 	  		},
 	  		{
 	    		content_format := 0
 	        }
 		},
     	payload := char2oct("Some payload")
 	}

 	template CoAP_ReqResp t_client_TD_COAP_CORE_06_rsp01 :=
 	{
 		header :=
 		{
 	        version := 1,
 	        msg_type := NON_CONFIRMABLE,
 	        code := RESPONSE_CODE_Created,
 	        message_id := ?
 	    },
 	    token := ''O,
 	    options :=
 	    {
 	    },
     	payload := omit
 	}

 	testcase tc_client_TD_COAP_CORE_07() runs on IFW_MAIN_CT
 	{
 	  setverdict(pass);

 	  var integer client := f_IFW_addComponent(COAP_PEER, "client");

 	  f_IFW_CoapPeer_setRemote(client, "server");

 	  f_IFW_initComponents();

 	  f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_CORE_07_req00));
 	  f_IFW_CoapPeer_send(client);

 	  f_IFW_CoapPeer_receive(client);
 	  if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_CORE_07_rsp01))
 	  {
 	  	setverdict(fail);
 	  }
 	}

 	template CoAP_ReqResp t_client_TD_COAP_CORE_07_req00 :=
 	{
 	  	header :=
 	  	{
     		version := 1,
     		msg_type := NON_CONFIRMABLE,
     		code := METHOD_PUT,
     		message_id := 0
 	  	},
     	token := ''O,
     	options :=
 		{
 	  		{
 	  		  uri_path := "test"
 	  		},
 	  		{
 	    		content_format := 0
 	        }
 		},
     	payload := char2oct("Some payload")
 	}

 	template CoAP_ReqResp t_client_TD_COAP_CORE_07_rsp01 :=
 	{
 		header :=
 		{
 	        version := 1,
 	        msg_type := NON_CONFIRMABLE,
 	        code := RESPONSE_CODE_Changed,
 	        message_id := ?
 	    },
 	    token := ''O,
 	    options :=
 	    {
 	    },
     	payload := omit
 	}

 	testcase tc_client_TD_COAP_CORE_08() runs on IFW_MAIN_CT
 	{
 	  setverdict(pass);

 	  var integer client := f_IFW_addComponent(COAP_PEER, "client");

 	  f_IFW_CoapPeer_setRemote(client, "server");

 	  f_IFW_initComponents();

 	  f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_CORE_08_req00));
 	  f_IFW_CoapPeer_send(client);

 	  f_IFW_CoapPeer_receive(client);
 	  if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_CORE_08_rsp01))
 	  {
 	  	setverdict(fail);
 	  }
 	}

 	template CoAP_ReqResp t_client_TD_COAP_CORE_08_req00 :=
 	{
 	  	header :=
 	  	{
     		version := 1,
     		msg_type := NON_CONFIRMABLE,
     		code := METHOD_DELETE,
     		message_id := 0
 	  	},
     	token := ''O,
     	options :=
 		{
 	  		{
 	  		  uri_path := "test"
 	  		}
 		},
     	payload := omit
 	}

 	template CoAP_ReqResp t_client_TD_COAP_CORE_08_rsp01 :=
 	{
 		header :=
 		{
 	        version := 1,
 	        msg_type := NON_CONFIRMABLE,
 	        code := RESPONSE_CODE_Deleted,
 	        message_id := ?
 	    },
 	    token := ''O,
 	    options := omit,
     	payload := omit
 	}

 	testcase tc_client_TD_COAP_BLOCK_01() runs on IFW_MAIN_CT
 	{
 	  setverdict(pass);

 	  var integer client := f_IFW_addComponent(COAP_PEER, "client");

 	  f_IFW_CoapPeer_setRemote(client, "server");

 	  f_IFW_initComponents();

 	  var boolean getNext := true;
 	  var integer num := 0;

 	  while (getNext)
 	  {
 		f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_BLOCK_01_req00(num)));
 		f_IFW_CoapPeer_send(client);

 		f_IFW_CoapPeer_receive(client);

 		// Check the expected answer
 		if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_BLOCK_01_rsp01(num, ?))) {
 		  getNext := false;
 		  setverdict(fail);
 		}

 		// Check if it is the last
 		if (f_IFW_CoapPeer_check(client, t_client_TD_COAP_BLOCK_01_rsp01(num, false))) {
 		  getNext := false;
 		}

 		num := num + 1;
 	  }
 	}

 	template CoAP_ReqResp t_client_TD_COAP_BLOCK_01_req00(integer p_num) :=
 	{
 	  	header :=
 	  	{
     		version := 1,
     		msg_type := CONFIRMABLE,
     		code := METHOD_GET,
     		message_id := 0
 	  	},
     	token := ''O,
     	options :=
 		{
 	  		{
 	  		  uri_path := "large"
 	  		},
 	  		{
 	    	  block2 := {
 	    	    num := p_num,
 	    	    m := false,
 	    	    szx := 2
 	    	  }
 	        }
 		},
     	payload := omit
 	}

 	template CoAP_ReqResp t_client_TD_COAP_BLOCK_01_rsp01(template integer p_num, template boolean p_m) :=
 	{
 		header :=
 		{
 	        version := 1,
 	        msg_type := ACKNOWLEDGEMENT,
 	        code := RESPONSE_CODE_Content,
 	        message_id := ?
 	    },
 	    token := ''O,
 	    options := {
 	  		{
 	    	  block2 := {
 	    	    num := p_num,
 	    	    m := p_m,
 	    	    szx := 2
 	    	  }
 	        }
 	    },
     	payload := ?
 	}


 	testcase tc_client_TD_COAP_OBS_01() runs on IFW_MAIN_CT
 	{
 	  setverdict(pass);

 	  var integer client := f_IFW_addComponent(COAP_PEER, "client");

 	  f_IFW_CoapPeer_setRemote(client, "server");

 	  f_IFW_initComponents();

 	  f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_OBS_01_register));
 	  f_IFW_CoapPeer_send(client);

 	  f_IFW_CoapPeer_receive(client);
 	  if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_OBS_01_registered))
 	  {
 	  	setverdict(fail);
 	  }

 	  f_IFW_CoapPeer_receive(client);
 	  if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_OBS_01_notification, DO_NOT_CHECK_MID))
 	  {
 	  	setverdict(fail);
 	  }

  	  f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_OBS_01_acknowledgement), USE_LAST_RECEIVED_MID);
 	  f_IFW_CoapPeer_send(client);

 	  f_IFW_CoapPeer_receive(client);
 	  if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_OBS_01_notification, DO_NOT_CHECK_MID))
 	  {
 	  	setverdict(fail);
 	  }

  	  f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_OBS_01_reset), USE_LAST_RECEIVED_MID);
 	  f_IFW_CoapPeer_send(client);
 	}

 	template CoAP_ReqResp t_client_TD_COAP_OBS_01_register :=
 	{
 	  	header :=
 	  	{
     		version := 1,
     		msg_type := CONFIRMABLE,
     		code := METHOD_GET,
     		message_id := 0
 	  	},
     	token := ''O,
     	options :=
 		{
 	  		{
 	  		  uri_path := "obs"
 	  		},
 	  		{
 	  		  observe := 0
 	  		}
 		},
     	payload := omit
 	}

 	template CoAP_ReqResp t_client_TD_COAP_OBS_01_registered :=
 	{
 		header :=
 		{
 	        version := 1,
 	        msg_type := ACKNOWLEDGEMENT,
 	        code := RESPONSE_CODE_Content,
 	        message_id := ?
 	    },
 	    token := ''O,
 	    options := {
 	      {
 	        observe := ?
 	      }
 	    },
     	payload := ?
 	}

 	template CoAP_ReqResp t_client_TD_COAP_OBS_01_notification :=
 	{
 		header :=
 		{
 	        version := 1,
 	        msg_type := CONFIRMABLE,
 	        code := RESPONSE_CODE_Content,
 	        message_id := ?
 	    },
 	    token := ''O,
 	    options := {
 	      {
 	        observe := ?
 	      }
 	    },
     	payload := ?
 	}

 	template CoAP_ReqResp t_client_TD_COAP_OBS_01_acknowledgement :=
 	{
 	  	header :=
 	  	{
     		version := 1,
     		msg_type := ACKNOWLEDGEMENT,
     		code := EMPTY_MESSAGE,
     		message_id := 0
 	  	},
     	token := ''O,
     	options := omit,
     	payload := omit
 	}

 	template CoAP_ReqResp t_client_TD_COAP_OBS_01_reset :=
 	{
 	  	header :=
 	  	{
     		version := 1,
     		msg_type := RESET,
     		code := EMPTY_MESSAGE,
     		message_id := 0
 	  	},
     	token := ''O,
     	options := omit,
     	payload := omit
 	}

 	control
 	{
 	  execute(tc_client_TD_COAP_CORE_01());
 	  execute(tc_client_TD_COAP_CORE_02());
 	  execute(tc_client_TD_COAP_CORE_03());
 	  execute(tc_client_TD_COAP_CORE_04());
 	  execute(tc_client_TD_COAP_CORE_05());
 	  execute(tc_client_TD_COAP_CORE_06());
 	  execute(tc_client_TD_COAP_CORE_07());
 	  execute(tc_client_TD_COAP_CORE_08());
 	  execute(tc_client_TD_COAP_BLOCK_01());
 	  execute(tc_client_TD_COAP_OBS_01());
 	}

 }
	///////////////////////////////////////////////////////////////////////////////
	//
	// Copyright (c) 2000-2017 Ericsson Telecom AB
	//
	// All rights reserved. This program and the accompanying materials
	// are made available under the terms of the Eclipse Public License v2.0
	// which accompanies this distribution, and is available at
	// https://www.eclipse.org/org/documents/epl-2.0/EPL-2.0.html
	///////////////////////////////////////////////////////////////////////////////
	// File: CoapTestSuite_Etsi.ttcn
	// Description:
	// Rev: R1A
	// Prodnr: LPA 108 661
	// Updated: 2017-09-01
	// Contact: http://ttcn.ericsson.se
	///////////////////////////////////////////////////////////////////////////////
	module CoapTestSuite_Etsi
	{
	import from IoT_FT_Framework_Definitions all;
	import from IoT_FT_Framework_Functions all;
	import from IFW_CoAP_Peer_TestSteps all;
	import from CoAP_Types all;

	testcase tc_client_TD_COAP_CORE_01() runs on IFW_MAIN_CT
	{
	setverdict(pass);

	var integer client := f_IFW_addComponent(COAP_PEER, "client");

	f_IFW_CoapPeer_setRemote(client, "server");

	f_IFW_initComponents();

	f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_CORE_01_req00));
	f_IFW_CoapPeer_send(client);

	f_IFW_CoapPeer_receive(client);
	if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_CORE_01_rsp01))
	{
	setverdict(fail);
	}
	}

	template CoAP_ReqResp t_client_TD_COAP_CORE_01_req00 :=
	{
	header :=
	{
	version := 1,
	msg_type := CONFIRMABLE,
	code := METHOD_GET,
	message_id := 0
	},
	token := ''O,
	options :=
	{
	{
	uri_path := "test"
	}
	},
	payload := omit
	}

	template CoAP_ReqResp t_client_TD_COAP_CORE_01_rsp01 :=
	{
	header :=
	{
	version := 1,
	msg_type := ACKNOWLEDGEMENT,
	code := RESPONSE_CODE_Content,
	message_id := ?
	},
	token := ''O,
	options :=
	{
	{
	content_format := 0
	}
	},
	payload := ?
	}

	testcase tc_client_TD_COAP_CORE_02() runs on IFW_MAIN_CT
	{
	setverdict(pass);

	var integer client := f_IFW_addComponent(COAP_PEER, "client");

	f_IFW_CoapPeer_setRemote(client, "server");

	f_IFW_initComponents();

	f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_CORE_02_req00));
	f_IFW_CoapPeer_send(client);

	f_IFW_CoapPeer_receive(client);
	if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_CORE_02_rsp01))
	{
	setverdict(fail);
	}
	}

	template CoAP_ReqResp t_client_TD_COAP_CORE_02_req00 :=
	{
	header :=
	{
	version := 1,
	msg_type := CONFIRMABLE,
	code := METHOD_POST,
	message_id := 0
	},
	token := ''O,
	options :=
	{
	{
	uri_path := "test"
	},
	{
	content_format := 0
	}
	},
	payload := char2oct("Some payload")
	}

	template CoAP_ReqResp t_client_TD_COAP_CORE_02_rsp01 :=
	{
	header :=
	{
	version := 1,
	msg_type := ACKNOWLEDGEMENT,
	code := RESPONSE_CODE_Created,
	message_id := ?
	},
	token := ''O,
	options :=
	{
	},
	payload := omit
	}

	testcase tc_client_TD_COAP_CORE_03() runs on IFW_MAIN_CT
	{
	setverdict(pass);

	var integer client := f_IFW_addComponent(COAP_PEER, "client");

	f_IFW_CoapPeer_setRemote(client, "server");

	f_IFW_initComponents();

	f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_CORE_03_req00));
	f_IFW_CoapPeer_send(client);

	f_IFW_CoapPeer_receive(client);
	if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_CORE_03_rsp01))
	{
	setverdict(fail);
	}
	}

	template CoAP_ReqResp t_client_TD_COAP_CORE_03_req00 :=
	{
	header :=
	{
	version := 1,
	msg_type := CONFIRMABLE,
	code := METHOD_PUT,
	message_id := 0
	},
	token := ''O,
	options :=
	{
	{
	uri_path := "test"
	},
	{
	content_format := 0
	}
	},
	payload := char2oct("Some payload")
	}

	template CoAP_ReqResp t_client_TD_COAP_CORE_03_rsp01 :=
	{
	header :=
	{
	version := 1,
	msg_type := ACKNOWLEDGEMENT,
	code := RESPONSE_CODE_Changed,
	message_id := ?
	},
	token := ''O,
	options :=
	{
	},
	payload := omit
	}

	testcase tc_client_TD_COAP_CORE_04() runs on IFW_MAIN_CT
	{
	setverdict(pass);

	var integer client := f_IFW_addComponent(COAP_PEER, "client");

	f_IFW_CoapPeer_setRemote(client, "server");

	f_IFW_initComponents();

	f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_CORE_04_req00));
	f_IFW_CoapPeer_send(client);

	f_IFW_CoapPeer_receive(client);
	if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_CORE_04_rsp01))
	{
	setverdict(fail);
	}
	}

	template CoAP_ReqResp t_client_TD_COAP_CORE_04_req00 :=
	{
	header :=
	{
	version := 1,
	msg_type := CONFIRMABLE,
	code := METHOD_DELETE,
	message_id := 0
	},
	token := ''O,
	options :=
	{
	{
	uri_path := "test"
	}
	},
	payload := omit
	}

	template CoAP_ReqResp t_client_TD_COAP_CORE_04_rsp01 :=
	{
	header :=
	{
	version := 1,
	msg_type := ACKNOWLEDGEMENT,
	code := RESPONSE_CODE_Deleted,
	message_id := ?
	},
	token := ''O,
	options := omit,
	payload := omit
	}

	testcase tc_client_TD_COAP_CORE_05() runs on IFW_MAIN_CT
	{
	setverdict(pass);

	var integer client := f_IFW_addComponent(COAP_PEER, "client");

	f_IFW_CoapPeer_setRemote(client, "server");

	f_IFW_initComponents();

	f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_CORE_05_req00));
	f_IFW_CoapPeer_send(client);

	f_IFW_CoapPeer_receive(client);
	if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_CORE_05_rsp01))
	{
	setverdict(fail);
	}
	}

	template CoAP_ReqResp t_client_TD_COAP_CORE_05_req00 :=
	{
	header :=
	{
	version := 1,
	msg_type := NON_CONFIRMABLE,
	code := METHOD_GET,
	message_id := 0
	},
	token := ''O,
	options :=
	{
	{
	uri_path := "test"
	}
	},
	payload := omit
	}

	template CoAP_ReqResp t_client_TD_COAP_CORE_05_rsp01 :=
	{
	header :=
	{
	version := 1,
	msg_type := NON_CONFIRMABLE,
	code := RESPONSE_CODE_Content,
	message_id := ?
	},
	token := ''O,
	options :=
	{
	{
	content_format := 0
	}
	},
	payload := ?
	}

	testcase tc_client_TD_COAP_CORE_06() runs on IFW_MAIN_CT
	{
	setverdict(pass);

	var integer client := f_IFW_addComponent(COAP_PEER, "client");

	f_IFW_CoapPeer_setRemote(client, "server");

	f_IFW_initComponents();

	f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_CORE_06_req00));
	f_IFW_CoapPeer_send(client);

	f_IFW_CoapPeer_receive(client);
	if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_CORE_06_rsp01))
	{
	setverdict(fail);
	}
	}

	template CoAP_ReqResp t_client_TD_COAP_CORE_06_req00 :=
	{
	header :=
	{
	version := 1,
	msg_type := NON_CONFIRMABLE,
	code := METHOD_POST,
	message_id := 0
	},
	token := ''O,
	options :=
	{
	{
	uri_path := "test"
	},
	{
	content_format := 0
	}
	},
	payload := char2oct("Some payload")
	}

	template CoAP_ReqResp t_client_TD_COAP_CORE_06_rsp01 :=
	{
	header :=
	{
	version := 1,
	msg_type := NON_CONFIRMABLE,
	code := RESPONSE_CODE_Created,
	message_id := ?
	},
	token := ''O,
	options :=
	{
	},
	payload := omit
	}

	testcase tc_client_TD_COAP_CORE_07() runs on IFW_MAIN_CT
	{
	setverdict(pass);

	var integer client := f_IFW_addComponent(COAP_PEER, "client");

	f_IFW_CoapPeer_setRemote(client, "server");

	f_IFW_initComponents();

	f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_CORE_07_req00));
	f_IFW_CoapPeer_send(client);

	f_IFW_CoapPeer_receive(client);
	if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_CORE_07_rsp01))
	{
	setverdict(fail);
	}
	}

	template CoAP_ReqResp t_client_TD_COAP_CORE_07_req00 :=
	{
	header :=
	{
	version := 1,
	msg_type := NON_CONFIRMABLE,
	code := METHOD_PUT,
	message_id := 0
	},
	token := ''O,
	options :=
	{
	{
	uri_path := "test"
	},
	{
	content_format := 0
	}
	},
	payload := char2oct("Some payload")
	}

	template CoAP_ReqResp t_client_TD_COAP_CORE_07_rsp01 :=
	{
	header :=
	{
	version := 1,
	msg_type := NON_CONFIRMABLE,
	code := RESPONSE_CODE_Changed,
	message_id := ?
	},
	token := ''O,
	options :=
	{
	},
	payload := omit
	}

	testcase tc_client_TD_COAP_CORE_08() runs on IFW_MAIN_CT
	{
	setverdict(pass);

	var integer client := f_IFW_addComponent(COAP_PEER, "client");

	f_IFW_CoapPeer_setRemote(client, "server");

	f_IFW_initComponents();

	f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_CORE_08_req00));
	f_IFW_CoapPeer_send(client);

	f_IFW_CoapPeer_receive(client);
	if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_CORE_08_rsp01))
	{
	setverdict(fail);
	}
	}

	template CoAP_ReqResp t_client_TD_COAP_CORE_08_req00 :=
	{
	header :=
	{
	version := 1,
	msg_type := NON_CONFIRMABLE,
	code := METHOD_DELETE,
	message_id := 0
	},
	token := ''O,
	options :=
	{
	{
	uri_path := "test"
	}
	},
	payload := omit
	}

	template CoAP_ReqResp t_client_TD_COAP_CORE_08_rsp01 :=
	{
	header :=
	{
	version := 1,
	msg_type := NON_CONFIRMABLE,
	code := RESPONSE_CODE_Deleted,
	message_id := ?
	},
	token := ''O,
	options := omit,
	payload := omit
	}

	testcase tc_client_TD_COAP_BLOCK_01() runs on IFW_MAIN_CT
	{
	setverdict(pass);

	var integer client := f_IFW_addComponent(COAP_PEER, "client");

	f_IFW_CoapPeer_setRemote(client, "server");

	f_IFW_initComponents();

	var boolean getNext := true;
	var integer num := 0;

	while (getNext)
	{
	f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_BLOCK_01_req00(num)));
	f_IFW_CoapPeer_send(client);

	f_IFW_CoapPeer_receive(client);

	// Check the expected answer
	if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_BLOCK_01_rsp01(num, ?))) {
	getNext := false;
	setverdict(fail);
	}

	// Check if it is the last
	if (f_IFW_CoapPeer_check(client, t_client_TD_COAP_BLOCK_01_rsp01(num, false))) {
	getNext := false;
	}

	num := num + 1;
	}
	}

	template CoAP_ReqResp t_client_TD_COAP_BLOCK_01_req00(integer p_num) :=
	{
	header :=
	{
	version := 1,
	msg_type := CONFIRMABLE,
	code := METHOD_GET,
	message_id := 0
	},
	token := ''O,
	options :=
	{
	{
	uri_path := "large"
	},
	{
	block2 := {
	num := p_num,
	m := false,
	szx := 2
	}
	}
	},
	payload := omit
	}

	template CoAP_ReqResp t_client_TD_COAP_BLOCK_01_rsp01(template integer p_num, template boolean p_m) :=
	{
	header :=
	{
	version := 1,
	msg_type := ACKNOWLEDGEMENT,
	code := RESPONSE_CODE_Content,
	message_id := ?
	},
	token := ''O,
	options := {
	{
	block2 := {
	num := p_num,
	m := p_m,
	szx := 2
	}
	}
	},
	payload := ?
	}



	testcase tc_client_TD_COAP_OBS_01() runs on IFW_MAIN_CT
	{
	setverdict(pass);

	var integer client := f_IFW_addComponent(COAP_PEER, "client");

	f_IFW_CoapPeer_setRemote(client, "server");

	f_IFW_initComponents();

	f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_OBS_01_register));
	f_IFW_CoapPeer_send(client);

	f_IFW_CoapPeer_receive(client);
	if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_OBS_01_registered))
	{
	setverdict(fail);
	}

	f_IFW_CoapPeer_receive(client);
	if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_OBS_01_notification, DO_NOT_CHECK_MID))
	{
	setverdict(fail);
	}

	f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_OBS_01_acknowledgement), USE_LAST_RECEIVED_MID);
	f_IFW_CoapPeer_send(client);

	f_IFW_CoapPeer_receive(client);
	if (not f_IFW_CoapPeer_check(client, t_client_TD_COAP_OBS_01_notification, DO_NOT_CHECK_MID))
	{
	setverdict(fail);
	}

	f_IFW_CoapPeer_setMessageToSend(client, valueof(t_client_TD_COAP_OBS_01_reset), USE_LAST_RECEIVED_MID);
	f_IFW_CoapPeer_send(client);
	}

	template CoAP_ReqResp t_client_TD_COAP_OBS_01_register :=
	{
	header :=
	{
	version := 1,
	msg_type := CONFIRMABLE,
	code := METHOD_GET,
	message_id := 0
	},
	token := ''O,
	options :=
	{
	{
	uri_path := "obs"
	},
	{
	observe := 0
	}
	},
	payload := omit
	}

	template CoAP_ReqResp t_client_TD_COAP_OBS_01_registered :=
	{
	header :=
	{
	version := 1,
	msg_type := ACKNOWLEDGEMENT,
	code := RESPONSE_CODE_Content,
	message_id := ?
	},
	token := ''O,
	options := {
	{
	observe := ?
	}
	},
	payload := ?
	}

	template CoAP_ReqResp t_client_TD_COAP_OBS_01_notification :=
	{
	header :=
	{
	version := 1,
	msg_type := CONFIRMABLE,
	code := RESPONSE_CODE_Content,
	message_id := ?
	},
	token := ''O,
	options := {
	{
	observe := ?
	}
	},
	payload := ?
	}

	template CoAP_ReqResp t_client_TD_COAP_OBS_01_acknowledgement :=
	{
	header :=
	{
	version := 1,
	msg_type := ACKNOWLEDGEMENT,
	code := EMPTY_MESSAGE,
	message_id := 0
	},
	token := ''O,
	options := omit,
	payload := omit
	}

	template CoAP_ReqResp t_client_TD_COAP_OBS_01_reset :=
	{
	header :=
	{
	version := 1,
	msg_type := RESET,
	code := EMPTY_MESSAGE,
	message_id := 0
	},
	token := ''O,
	options := omit,
	payload := omit
	}

	control
	{
	execute(tc_client_TD_COAP_CORE_01());
	execute(tc_client_TD_COAP_CORE_02());
	execute(tc_client_TD_COAP_CORE_03());
	execute(tc_client_TD_COAP_CORE_04());
	execute(tc_client_TD_COAP_CORE_05());
	execute(tc_client_TD_COAP_CORE_06());
	execute(tc_client_TD_COAP_CORE_07());
	execute(tc_client_TD_COAP_CORE_08());
	execute(tc_client_TD_COAP_BLOCK_01());
	execute(tc_client_TD_COAP_OBS_01());
	}

	}