Commit 5f82e4a4 authored by Martti Käärik's avatar Martti Käärik
Browse files

TDL library update and new TP syntax.

parent 425f8df3

importer-examples/tdl_ngap/src/tdl/TDL.tdltx

+5 −5
Original line number Diff line number Diff line 
@Version: "1.8.1"

@Version: "1.8.2"

Package TDL {



	Constraint length
@@ -13,7 +13,6 @@ Package TDL { 
	Type Integer

	Type String

	Type Verdict

	Type Bitstring

	

	Boolean ^true

	Boolean ^false
@@ -34,13 +33,14 @@ Package TDL { 
	Annotation PICS

	Annotation PIXIT



    //standard annotations for STO

    //standard annotations for STO / TPD / TVD

    Annotation Initial conditions

    Annotation Expected behaviour

    Annotation Final conditions

    Annotation Test Purpose Description

    Annotation Test Purpose

    Annotation when

    Annotation then

    Annotation Variant

	

	Predefined == returns Boolean

	Predefined != returns Boolean

importer-examples/tdl_ngap/src/tdl/TPD_GNB_NGAP.tdltx

+1 −1
Original line number Diff line number Diff line
@@ -46,7 +46,7 @@ Package TPD_GNB_NGAP { 
		References: "ETSI TS 138 413 [1], Clauses 8.7.1.2 and 9.2.6.1"

	}



	Test Purpose Description TPD_NGAP_GNB_IMP_01 {

	Test Purpose TPD_NGAP_GNB_IMP_01 {

		Objective: TO_NGAP_GNB_IMP_01

		// Typed config: its gate accepts NGSetupRequest, so the interaction below

		// satisfies the gate-type / message-type matching constraint.

importer-examples/tdl_ngap/src/tdl/TP_GNB_NGAP.tdltx

+1 −1
Original line number Diff line number Diff line
@@ -36,7 +36,7 @@ Package TP_GNB_NGAP { 
		Import all from NGAP.NGAP_PDU_Contents

		Import all from TP_GNB_NGAP



		Test Purpose TP_NGAP_GNB_IMP_01 {

		Test Purpose TP_NGAP_GNB_IMP_01 @TPLan3 {



			Objective: "Verify that the GNB sends an NG_SETUP_REQUEST message to the AMF after TNL establishment."