* updated generated TTCN-3 example with refined generation (54300423) · Commits · MTS - Methods for Testing and Specification / EG 203 647 - Specification and testing of RESTful APIs

TC/Generated/generated-tds.tdlan2.ttcn3

+234 −49

Original line number	Original line	Diff line number	Diff line
	@@ -6,8 +6,20 @@ module Generated_TDs_for_Examples_for_RESTful_API_guide_2020_07_01_17_45 {
	}		}

	function TEMPLATE_client_main ( ) runs on API {		function TEMPLATE_client_main ( ) runs on API {
	http_to_server_http.send ( "TODO_INLINE_DATA_INSTANCE_FOR_Request" ) ;		http_to_server_http.send ( Request : {
	http_to_server_http.receive ( "TODO_INLINE_DATA_INSTANCE_FOR_Response" ) ;		method := "METHOD" ,
			uri := "URI" ,
			parameters := "TODO_INLINE_COLLECTION"
			}

			) ;
			http_to_server_http.receive ( Response : {
			status := "STATUS" ,
			statusMessage := "MESSAGE" ,
			body := "TODO_INLINE_DATA_INSTANCE_FOR_ResourceData"
			}

			) ;
	}		}

	testcase tc_TEMPLATE ( ) runs on MTC_BasicClientServer system		testcase tc_TEMPLATE ( ) runs on MTC_BasicClientServer system
	@@ -22,8 +34,20 @@ module Generated_TDs_for_Examples_for_RESTful_API_guide_2020_07_01_17_45 {
	}		}

	function TD_RESOURCE_ID_GET_200_001_client_main ( ) runs on API {		function TD_RESOURCE_ID_GET_200_001_client_main ( ) runs on API {
	http_to_server_http.send ( "TODO_INLINE_DATA_INSTANCE_FOR_Request" ) ;		http_to_server_http.send ( Request : {
	http_to_server_http.receive ( "TODO_INLINE_DATA_INSTANCE_FOR_Response" ) ;		method := "GET" ,
			uri := "/resource/{id}" ,
			parameters := "TODO_INLINE_COLLECTION"
			}

			) ;
			http_to_server_http.receive ( Response : {
			status := "200" ,
			statusMessage := "The requested resource" ,
			body := "TODO_INLINE_DATA_INSTANCE_FOR_ResourceData"
			}

			) ;
	}		}

	testcase tc_TD_RESOURCE_ID_GET_200_001 ( ) runs on MTC_BasicClientServer		testcase tc_TD_RESOURCE_ID_GET_200_001 ( ) runs on MTC_BasicClientServer
	@@ -38,8 +62,20 @@ module Generated_TDs_for_Examples_for_RESTful_API_guide_2020_07_01_17_45 {
	}		}

	function TD_RESOURCE_ID_GET_401_002_client_main ( ) runs on API {		function TD_RESOURCE_ID_GET_401_002_client_main ( ) runs on API {
	http_to_server_http.send ( "TODO_INLINE_DATA_INSTANCE_FOR_Request" ) ;		http_to_server_http.send ( Request : {
	http_to_server_http.receive ( "TODO_INLINE_DATA_INSTANCE_FOR_Response" ) ;		method := "GET" ,
			uri := "/resource/{id}" ,
			parameters := "TODO_INLINE_COLLECTION"
			}

			) ;
			http_to_server_http.receive ( Response : {
			status := "401" ,
			statusMessage := "Unauthenticated" ,
			body := "TODO_INLINE_DATA_INSTANCE_FOR_ResourceData"
			}

			) ;
	}		}

	testcase tc_TD_RESOURCE_ID_GET_401_002 ( ) runs on MTC_BasicClientServer		testcase tc_TD_RESOURCE_ID_GET_401_002 ( ) runs on MTC_BasicClientServer
	@@ -54,8 +90,20 @@ module Generated_TDs_for_Examples_for_RESTful_API_guide_2020_07_01_17_45 {
	}		}

	function TD_RESOURCE_ID_GET_404_003_client_main ( ) runs on API {		function TD_RESOURCE_ID_GET_404_003_client_main ( ) runs on API {
	http_to_server_http.send ( "TODO_INLINE_DATA_INSTANCE_FOR_Request" ) ;		http_to_server_http.send ( Request : {
	http_to_server_http.receive ( "TODO_INLINE_DATA_INSTANCE_FOR_Response" ) ;		method := "GET" ,
			uri := "/resource/{id}" ,
			parameters := "TODO_INLINE_COLLECTION"
			}

			) ;
			http_to_server_http.receive ( Response : {
			status := "404" ,
			statusMessage := "Not found" ,
			body := "TODO_INLINE_DATA_INSTANCE_FOR_ResourceData"
			}

			) ;
	}		}

	testcase tc_TD_RESOURCE_ID_GET_404_003 ( ) runs on MTC_BasicClientServer		testcase tc_TD_RESOURCE_ID_GET_404_003 ( ) runs on MTC_BasicClientServer
	@@ -70,8 +118,20 @@ module Generated_TDs_for_Examples_for_RESTful_API_guide_2020_07_01_17_45 {
	}		}

	function TD_RESOURCE_POST_204_001_client_main ( ) runs on API {		function TD_RESOURCE_POST_204_001_client_main ( ) runs on API {
	http_to_server_http.send ( "TODO_INLINE_DATA_INSTANCE_FOR_Request" ) ;		http_to_server_http.send ( Request : {
	http_to_server_http.receive ( "TODO_INLINE_DATA_INSTANCE_FOR_Response" ) ;		method := "POST" ,
			uri := "/resource" ,
			parameters := "TODO_INLINE_COLLECTION"
			}

			) ;
			http_to_server_http.receive ( Response : {
			status := "204" ,
			statusMessage := "No content" ,
			body := "TODO_INLINE_DATA_INSTANCE_FOR_ResourceData"
			}

			) ;
	}		}

	testcase tc_TD_RESOURCE_POST_204_001 ( ) runs on MTC_BasicClientServer system		testcase tc_TD_RESOURCE_POST_204_001 ( ) runs on MTC_BasicClientServer system
	@@ -86,8 +146,20 @@ module Generated_TDs_for_Examples_for_RESTful_API_guide_2020_07_01_17_45 {
	}		}

	function TD_RESOURCE_ID_FILE_PUT_204_001_client_main ( ) runs on API {		function TD_RESOURCE_ID_FILE_PUT_204_001_client_main ( ) runs on API {
	http_to_server_http.send ( "TODO_INLINE_DATA_INSTANCE_FOR_Request" ) ;		http_to_server_http.send ( Request : {
	http_to_server_http.receive ( "TODO_INLINE_DATA_INSTANCE_FOR_Response" ) ;		method := "PUT" ,
			uri := "/resource/{id}/file" ,
			parameters := "TODO_INLINE_COLLECTION"
			}

			) ;
			http_to_server_http.receive ( Response : {
			status := "204" ,
			statusMessage := "No content" ,
			body := "TODO_INLINE_DATA_INSTANCE_FOR_ResourceData"
			}

			) ;
	}		}

	testcase tc_TD_RESOURCE_ID_FILE_PUT_204_001 ( ) runs on MTC_BasicClientServer		testcase tc_TD_RESOURCE_ID_FILE_PUT_204_001 ( ) runs on MTC_BasicClientServer
	@@ -102,8 +174,20 @@ module Generated_TDs_for_Examples_for_RESTful_API_guide_2020_07_01_17_45 {
	}		}

	function TD_SEARCH_GET_200_001_client_main ( ) runs on API {		function TD_SEARCH_GET_200_001_client_main ( ) runs on API {
	http_to_server_http.send ( "TODO_INLINE_DATA_INSTANCE_FOR_Request" ) ;		http_to_server_http.send ( Request : {
	http_to_server_http.receive ( "TODO_INLINE_DATA_INSTANCE_FOR_Response" ) ;		method := "GET" ,
			uri := "/search" ,
			parameters := "TODO_INLINE_COLLECTION"
			}

			) ;
			http_to_server_http.receive ( Response : {
			status := "200" ,
			statusMessage := "The requested resource" ,
			body := "TODO_INLINE_DATA_INSTANCE_FOR_ResourceData"
			}

			) ;
	}		}

	testcase tc_TD_SEARCH_GET_200_001 ( ) runs on MTC_BasicClientServer system		testcase tc_TD_SEARCH_GET_200_001 ( ) runs on MTC_BasicClientServer system
	@@ -118,8 +202,20 @@ module Generated_TDs_for_Examples_for_RESTful_API_guide_2020_07_01_17_45 {
	}		}

	function TD_SUBSCRIPTION_POST_201_001_client_main ( ) runs on API {		function TD_SUBSCRIPTION_POST_201_001_client_main ( ) runs on API {
	http_to_server_http.send ( "TODO_INLINE_DATA_INSTANCE_FOR_Request" ) ;		http_to_server_http.send ( Request : {
	http_to_server_http.receive ( "TODO_INLINE_DATA_INSTANCE_FOR_Response" ) ;		method := "POST" ,
			uri := "/subscription" ,
			parameters := "TODO_INLINE_COLLECTION"
			}

			) ;
			http_to_server_http.receive ( Response : {
			status := "201" ,
			statusMessage := "Created" ,
			body := "TODO_INLINE_DATA_INSTANCE_FOR_ResourceData"
			}

			) ;
	}		}

	testcase tc_TD_SUBSCRIPTION_POST_201_001 ( ) runs on MTC_BasicClientServer		testcase tc_TD_SUBSCRIPTION_POST_201_001 ( ) runs on MTC_BasicClientServer
	@@ -134,8 +230,20 @@ module Generated_TDs_for_Examples_for_RESTful_API_guide_2020_07_01_17_45 {
	}		}

	function TD_SERVICE_GET_200_001_client_main ( ) runs on API {		function TD_SERVICE_GET_200_001_client_main ( ) runs on API {
	http_to_server_http.send ( "TODO_INLINE_DATA_INSTANCE_FOR_Request" ) ;		http_to_server_http.send ( Request : {
	http_to_server_http.receive ( "TODO_INLINE_DATA_INSTANCE_FOR_Response" ) ;		method := "GET" ,
			uri := "/service" ,
			parameters := "TODO_INLINE_COLLECTION"
			}

			) ;
			http_to_server_http.receive ( Response : {
			status := "200" ,
			statusMessage := "The requested service" ,
			body := "TODO_INLINE_DATA_INSTANCE_FOR_ResourceData"
			}

			) ;
	}		}

	testcase tc_TD_SERVICE_GET_200_001 ( ) runs on MTC_BasicClientServer system		testcase tc_TD_SERVICE_GET_200_001 ( ) runs on MTC_BasicClientServer system
	@@ -242,79 +350,141 @@ module MessageBased {
	template Location query := "query"		template Location query := "query"
	template Location cookie := "cookie"		template Location cookie := "cookie"
	template Request GET := {		template Request GET := {
	uri := ? , method := ? , headers := ? , parameters := ? , body := ?		uri := ? ,
			method := ? ,
			headers := ? ,
			parameters := ? ,
			body := ?
	}		}

	template Request POST := {		template Request POST := {
	uri := ? , method := ? , headers := ? , parameters := ? , body := ?		uri := ? ,
			method := ? ,
			headers := ? ,
			parameters := ? ,
			body := ?
	}		}

	template Request PUT := {		template Request PUT := {
	uri := ? , method := ? , headers := ? , parameters := ? , body := ?		uri := ? ,
			method := ? ,
			headers := ? ,
			parameters := ? ,
			body := ?
	}		}

	template Request PATCH := {		template Request PATCH := {
	uri := ? , method := ? , headers := ? , parameters := ? , body := ?		uri := ? ,
			method := ? ,
			headers := ? ,
			parameters := ? ,
			body := ?
	}		}

	template Request DELETE := {		template Request DELETE := {
	uri := ? , method := ? , headers := ? , parameters := ? , body := ?		uri := ? ,
			method := ? ,
			headers := ? ,
			parameters := ? ,
			body := ?
	}		}

	template Response d200 := {		template Response d200 := {
	status := ? , statusMessage := "OK" , headers := ? , body := ?		status := ? ,
			statusMessage := "OK" ,
			headers := ? ,
			body := ?
	}		}

	template Response d201 := {		template Response d201 := {
	status := ? , statusMessage := "Created" , headers := ? , body := ?		status := ? ,
			statusMessage := "Created" ,
			headers := ? ,
			body := ?
	}		}

	template Response d204 := {		template Response d204 := {
	status := ? , statusMessage := "No Content" , headers := ? , body := ?		status := ? ,
			statusMessage := "No Content" ,
			headers := ? ,
			body := ?
	}		}

	template Response d400 := {		template Response d400 := {
	status := ? , statusMessage := "Bad Request" , headers := ? , body := ?		status := ? ,
			statusMessage := "Bad Request" ,
			headers := ? ,
			body := ?
	}		}

	template Response d401 := {		template Response d401 := {
	status := ? , statusMessage := "Not Found" , headers := ? , body := ?		status := ? ,
			statusMessage := "Not Found" ,
			headers := ? ,
			body := ?
	}		}

	template Response d403 := {		template Response d403 := {
	status := ? , statusMessage := "Not Authorized" , headers := ? , body := ?		status := ? ,
			statusMessage := "Not Authorized" ,
			headers := ? ,
			body := ?
	}		}

	template Response d404 := {		template Response d404 := {
	status := ? , statusMessage := "Forbidden" , headers := ? , body := ?		status := ? ,
			statusMessage := "Forbidden" ,
			headers := ? ,
			body := ?
	}		}

	template Response OK := {		template Response OK := {
	status := "200" , statusMessage := ? , headers := ? , body := ?		status := "200" ,
			statusMessage := ? ,
			headers := ? ,
			body := ?
	}		}

	template Response Created := {		template Response Created := {
	status := "201" , statusMessage := ? , headers := ? , body := ?		status := "201" ,
			statusMessage := ? ,
			headers := ? ,
			body := ?
	}		}

	template Response NoContent := {		template Response NoContent := {
	status := "204" , statusMessage := ? , headers := ? , body := ?		status := "204" ,
			statusMessage := ? ,
			headers := ? ,
			body := ?
	}		}

	template Response BadRequest := {		template Response BadRequest := {
	status := "400" , statusMessage := ? , headers := ? , body := ?		status := "400" ,
			statusMessage := ? ,
			headers := ? ,
			body := ?
	}		}

	template Response NotFound := {		template Response NotFound := {
	status := "404" , statusMessage := ? , headers := ? , body := ?		status := "404" ,
			statusMessage := ? ,
			headers := ? ,
			body := ?
	}		}

	template Response NotAuthorized := {		template Response NotAuthorized := {
	status := "401" , statusMessage := ? , headers := ? , body := ?		status := "401" ,
			statusMessage := ? ,
			headers := ? ,
			body := ?
	}		}

	template Response Forbidden := {		template Response Forbidden := {
	status := "403" , statusMessage := ? , headers := ? , body := ?		status := "403" ,
			statusMessage := ? ,
			headers := ? ,
			body := ?
	}		}

	}		}
	@@ -328,8 +498,11 @@ module ExampleAPI {
	}		}

	template Request postResource := {		template Request postResource := {
	uri := "/resource" , method := mPOST , headers := ? , parameters :=		uri := "/resource" ,
	postParameters , body := "TODO_NOT_SUPPORTED_YET"		method := mPOST ,
			headers := ? ,
			parameters := postParameters ,
			body := "TODO_NOT_SUPPORTED_YET"
	}		}

	template Parameters postParameters := {		template Parameters postParameters := {
	@@ -337,8 +510,11 @@ module ExampleAPI {
	}		}

	template Request postResourceInline := {		template Request postResourceInline := {
	uri := "/resource" , method := mPOST , headers := ? , parameters :=		uri := "/resource" ,
	"TODO_NOT_SUPPORTED_YET" , body := "TODO_NOT_SUPPORTED_YET"		method := mPOST ,
			headers := ? ,
			parameters := "TODO_NOT_SUPPORTED_YET" ,
			body := "TODO_NOT_SUPPORTED_YET"
	}		}

	template Parameter ID1 := {		template Parameter ID1 := {
	@@ -347,13 +523,17 @@ module ExampleAPI {
	}		}

	template Response getResource200 := {		template Response getResource200 := {
	status := "200" , statusMessage := "OK" , headers := ? , body :=		status := "200" ,
	"TODO_NOT_SUPPORTED_YET"		statusMessage := "OK" ,
			headers := ? ,
			body := "TODO_NOT_SUPPORTED_YET"
	}		}

	template Response getResourceCollection200 := {		template Response getResourceCollection200 := {
	status := "200" , statusMessage := "OK" , headers := ? , body :=		status := "200" ,
	validResources		statusMessage := "OK" ,
			headers := ? ,
			body := validResources
	}		}

	template CollectionBody validResources := {		template CollectionBody validResources := {
	@@ -361,13 +541,18 @@ module ExampleAPI {
	}		}

	template Response getResourceCollectionInline200 := {		template Response getResourceCollectionInline200 := {
	status := "200" , statusMessage := "OK" , headers := ? , body :=		status := "200" ,
	"TODO_NOT_SUPPORTED_YET"		statusMessage := "OK" ,
			headers := ? ,
			body := "TODO_NOT_SUPPORTED_YET"
	}		}

	template Request getSearchInline := {		template Request getSearchInline := {
	uri := "/search" , method := mGET , headers := ? , parameters :=		uri := "/search" ,
	"TODO_NOT_SUPPORTED_YET" , body := ?		method := mGET ,
			headers := ? ,
			parameters := "TODO_NOT_SUPPORTED_YET" ,
			body := ?
	}		}

	template Parameters GetRequestParameters := {		template Parameters GetRequestParameters := {