Commit 99c90370 authored by kretzschmann's avatar kretzschmann
Browse files

add missing PICS_A2/1

parent 8b001ce9

test_purposes/ngap/TP_GNB_NGAP.tplan2

+22 −23
Original line number Diff line number Diff line
@@ -547,7 +547,7 @@ Package TP_GNB { 
        

        	Config Id CFG_GNB_01

        

        	PICS Selection PICS_A3/2_1

        	PICS Selection PICS_A2/1 and PICS_A3/2_1

        

        	Initial conditions with {

            	the UE entity isRegisteredTo the AMF // TODO
@@ -598,7 +598,7 @@ Package TP_GNB { 
	        

	        Config Id CFG_GNB_01

	        

	        PICS Selection PICS_A3/2_1

	        PICS Selection PICS_A2/1 and PICS_A3/2_1

	        

			Initial conditions with {

            	the UE entity isRegisteredTo the AMF // TODO; check initial conditions
@@ -655,7 +655,7 @@ Package TP_GNB { 
		        

		        Config Id CFG_GNB_01

		        

		        PICS Selection PICS_A3/2_2

		        PICS Selection PICS_A2/1 and PICS_A3/2_2

		        

				Initial conditions with {

            		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
@@ -701,7 +701,7 @@ Package TP_GNB { 
        

        	Config Id CFG_GNB_01

        

        	PICS Selection PICS_A3/2_3

        	PICS Selection PICS_A2/1 and PICS_A3/2_3

        

        	Initial conditions with {

            	the UE entity isRegisteredTo the AMF // TODO
@@ -748,7 +748,7 @@ Package TP_GNB { 
        

        	Config Id CFG_GNB_01

        

        	PICS Selection PICS_A3/2_3

        	PICS Selection PICS_A2/1 and PICS_A3/2_3

        

        	Initial conditions with {

            	the UE entity isRegisteredTo the AMF // TODO
@@ -800,7 +800,7 @@ Package TP_GNB { 
	        

	        Config Id CFG_GNB_01

	        

	        PICS Selection PICS_A3/2_4

	        PICS Selection PICS_A2/1 and PICS_A3/2_4

	        

			Initial conditions with {

        		the UE entity isRegisteredTo the AMF // TODO; check initial conditions
@@ -838,7 +838,7 @@ Package TP_GNB { 
	        

	        Config Id CFG_GNB_01

	        

	        PICS Selection PICS_A3/2_4

	        PICS Selection PICS_A2/1 and PICS_A3/2_4

	        

			Initial conditions with {

        		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
@@ -881,7 +881,7 @@ Package TP_GNB { 
	        

	        Config Id CFG_GNB_01

	        

	        PICS Selection PICS_A3/2_5

	        PICS Selection PICS_A2/1 and PICS_A3/2_5

	        

			Initial conditions with {

            	the UE entity isRegisteredTo the AMF // TODO: check initial conditions
@@ -923,7 +923,7 @@ Package TP_GNB { 
		        

		        Config Id CFG_GNB_01

		        

		        PICS Selection PICS_A3/2_8

		        PICS Selection PICS_A2/1 and PICS_A3/2_8

		        

				Initial conditions with {

            		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
@@ -966,7 +966,7 @@ Package TP_GNB { 
		        

		        Config Id CFG_GNB_01

		        

		        PICS Selection PICS_A3/2_11

		        PICS Selection PICS_A2/1 and PICS_A3/2_11

		        

				Initial conditions with {

            		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
@@ -1012,7 +1012,7 @@ Package TP_GNB { 
	        

	        Config Id CFG_GNB_01

	        

	        PICS Selection PICS_A3/2_12

	        PICS Selection PICS_A2/1 and PICS_A3/2_12

	        

			Initial conditions with {

            	the UE entity isRegisteredTo the AMF // TODO: check initial conditions
@@ -1063,7 +1063,7 @@ Package TP_GNB { 
	        

	        Config Id CFG_GNB_01

	        

	        PICS Selection PICS_A3/3_1

	        PICS Selection PICS_A2/1 and PICS_A3/3_1

	        

	        Initial conditions with {

        		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
@@ -1113,7 +1113,7 @@ Package TP_GNB { 
	        

	        Config Id CFG_GNB_01

	        

	        PICS Selection PICS_A3/3_2

	        PICS Selection PICS_A2/1 and PICS_A3/3_2

	        

	        Initial conditions with {

        		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
@@ -1177,7 +1177,7 @@ Package TP_GNB { 
	        

	        Config Id CFG_AMF_01

	        

	        PICS Selection PICS_A3/3_3

	        PICS Selection PICS_A2/1 and PICS_A3/3_3

	        

	        Initial conditions with {

        		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
@@ -1219,7 +1219,7 @@ Package TP_GNB { 
	        

	        Config Id CFG_AMF_01

	        

	        PICS Selection PICS_A3/3_4

	        PICS Selection PICS_A2/1 and PICS_A3/3_4

	        

	        Initial conditions with {

        		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
@@ -1268,7 +1268,7 @@ Package TP_GNB { 
	        

	        Config Id CFG_AMF_01

	        

	        PICS Selection PICS_A3/3_5

	        PICS Selection PICS_A2/1 and PICS_A3/3_5

	        

	        Initial conditions with {

        		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
@@ -1307,7 +1307,7 @@ Package TP_GNB { 
		        

		        Config Id CFG_GNB_01

		        

		        PICS Selection PICS_A3/3_6

		        PICS Selection PICS_A2/1 and PICS_A3/3_6

		        

				Initial conditions with {

            		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
@@ -1346,7 +1346,7 @@ Package TP_GNB { 
		        

		        Config Id CFG_GNB_01

		        

		        PICS Selection PICS_A3/3_8

		        PICS Selection PICS_A2/1 and PICS_A3/3_8

		        

				Initial conditions with {

            		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
@@ -1384,7 +1384,7 @@ Package TP_GNB { 
		        

		        Config Id CFG_GNB_01

		        

		        PICS Selection PICS_A3/3_9

		        PICS Selection PICS_A2/1 and PICS_A3/3_9

		        

				Initial conditions with {

            		the UE entity isRegisteredTo the AMF // TODO: check initial conditions
@@ -1427,7 +1427,7 @@ Package TP_GNB { 
	        

	        Config Id CFG_GNB_01

	        

	        PICS Selection PICS_A3/5_1

	        PICS Selection PICS_A2/1 and PICS_A3/5_1

	        

	        Initial conditions with {

        		the UE entity isCMIDLE in the GNB entity
@@ -1475,7 +1475,7 @@ Package TP_GNB { 
	        

	        Config Id CFG_GNB_01

	        

	        PICS Selection PICS_A3/5_3

	        PICS Selection PICS_A2/1 and PICS_A3/5_3

	        

	        Initial conditions with {

        		the UE entity isCMCONNECTED in the GNB entity
@@ -1518,7 +1518,6 @@ Package TP_GNB { 
	        

	        Config Id CFG_GNB_01

	        

	        PICS Selection PICS_A3/5_4

	        

	        Initial conditions with {

        		the UE entity isNoLongerAvailable to the GNB entity
@@ -1571,7 +1570,7 @@ Package TP_GNB { 
	        

	        Config Id CFG_GNB_01

	        

	        PICS Selection PICS_A3/7_1

	        PICS Selection PICS_A2/1 and PICS_A3/7_1

    		

	        Expected behaviour

	            ensure that {