Commit 53be9d8f authored by Andreas Liebig's avatar Andreas Liebig
Browse files

adapt for meeting comments

parent f62167ac

test_purposes/lis.tplan2

+9 −7
Original line number Diff line number Diff line
@@ -24,7 +24,7 @@ Package tplan_lis { 
				- pic_lis_basic

				- pic_lis_advanced;

			entities:

				- lis;

				- IUT;

			events:

				- receives

				- sends
@@ -32,30 +32,32 @@ Package tplan_lis { 
		}

				

		Test Purpose {

		    TP Id TP_lis_B1

			TP Id TP_LIS_HELD_LocByValue_BV_001

				

			Test objective 

		 			"HELD request with locationType geodetic returns the existing location by value." 

			

			Reference 

				"http://www.eena.org/uploads/gallery/files/pdf/2013-03-15-eena_ng_longtermdefinitionupdated.pdf, Section 4.10",

				"https://tools.ietf.org/html/rfc5985"

				"http://www.eena.org/uploads/gallery/files/pdf/2013-03-15-eena_ng_longtermdefinitionupdated.pdf, clause 4.10",

				"https://tools.ietf.org/html/rfc7840"

			

			//			Config Id "my_cfg" FIXME

			

			PICS Selection pic_lis_basic

		

			Initial conditions with {

				the lis entity havingLocationMappingFor the "identifier"

				the IUT entity havingLocationMappingFor the "identifier"

			}

		

			Expected behaviour

			ensure that {

				when {

					the lis entity receives a held_request containing 

					the IUT entity receives a held_request containing 

						uri indicating value "identifier",

						locationType indicating value "geodetic";

				}

				then {

					the lis entity sends a held_response containing 

					the IUT entity sends a held_response containing 

						response_code indicating value 200,

						response_body containing

							locationResponse containing