A. Függelék: A TTCN részletesebben

E függelékben a TTCN leíró nyelv részletesebb ismertetése található, egy rövid összefoglalás és a bevezetés a mérési utasításban áll.

Egy TTCN leírás négy részből áll, nézzük őket sorban:

1. Az áttekintés rész (Test Suite Overview)

Az áttekintés első része (test suite structure - tesztkészlet szerkezete) mindenekelőtt pontosan lefekteti a vizsgálandó protokoll implementáció szabványát, az esetleges profil-szabványokat, a releváns PICS, és PIXIT dokumentumokat, a választott absztrakt vizsgálati módszert, valamint egyéb megjegyzéseket. Ezután egy táblázatban tartalmazza a vizsgálati csoportokat a köztük lévő hierarchia sorrendjében.

A második rész (test case index - vizsgálati sorozatok jegyzéke) tartalmazza a vizsgálati csoport(ok) vizsgálati sorozatait, azok céljainak leírásával. Egy vizsgálati sorozathoz egy konkrét vizsgálati cél párosul, mely általában egy megfelelőségi követelményhez köthető.

A harmadik rész (test step index - vizsgálati lépések jegyzéke) tartalmazza a vizsgálati lépéseket, melyeknek a lefuttatása kizárólag az őket futtató vizsgálati sorozattól függ, és nem közvetlenül a kiválasztási folyamattól.

A negyedik rész tartalmazza az olyan vizsgálati lépéseket, melyek alapértelmezésű dinamikus viselkedéseket (default dynamic behaviour) írnak le.

2. A deklarációs rész (Declaration Part)

A dinamikus működést leíró rész által használt adattípusok leírása a deklarációs részben található, mely az alábbiakat tartalmazza:

Vizsgálati készlet-specifikus adattípusok, és adatműveletek (operators, operations) deklarációját.

A TTCN összesen hatféle előredefiniált adattípust tartalmaz: Integer, Boolean, Bitstring, Hexstring, Octetstring, Characterstring. Ezek segítségével alkothatók meg a vizsgálati készlet-specifikus adattípusok (akár struktúra típusúak is), amelyeket újabb adattípusok definiálásához is lehet használni.

Vizsgálati készlet paramétereket, melyek a PICS-ből, és a PIXIT-ből nyerhetők, melyek nemcsak az IUT-re, de magára a vizsgálóra vonatkozó paramétereket is jelentik.

Logikai értékű (boolean) kifejezéseket a vizsgálati sorozatok kiválasztására nézve, melyek meghatározzák, hogy mely vizsgálati sorozatok alkalmazhatóak a PICS, és a PIXIT alapján.

A vizsgálati készlet, és a vizsgálati sorozatok konstansait, és változóit. A konstansokat a fentebb említett paraméterektől az különbözteti meg, hogy értékük később, a vizsgálati készlet megírása során, és nem a korábban lefektetett PICS, és PIXIT dokumentumok alapján kerül definiálásra.

Időzítők (timer) deklarálása.

A PCO-k, azaz a szolgáltató réteg(ek), és az IUT közti interakció (vezérlés, és vizsgálat) pontjainak deklarálását, és szerepének meghatározását (UT, vagy LT).

A vizsgáló komponenseinek, és konfigurációjának leírását.

Az ASP-k, és PDU-k, azaz a PCO-knál átvitelre kerülő adatobjektumok leírását.

Mindezek kapcsolatát az alábbi szemlélteti:

3. A megszorítások rész (Constraints part)

A TTCN-beli terminológia szerint az adatobjektumok konkrét értékeit, illetve mintáit megszorításoknak nevezzük (elterjedt még a “korlátok” megnevezés is). A későbbi dinamikus rész ezen megszorításokat használja a dinamikus viselkedés leírására, így annak követése jóval egyszerűbb lesz, megszorítás deklarálásával lehet például egy konkrét ATM cellát (pl. unassigned cell) megadni.

Az ASP-, és PDU-megszorítások specifikálása táblázatos formában történik, ezek közül a mérés során végzett mérések szempontjából a PDU-megszorítások a legfontosabbak, így erre térnek ki bővebben az alábbi táblázat által:

PDU-megszorítás deklarációja
MEGSZORÍTÁS NEVE : Megszorítás azonosító (paraméter lista) PDU TÍPUSA : PDU azonosító LEVEZETÉSI ÚT : [Levezetési út] MEGJEGYZÉSEK : Tetszés szerinti szöveg
Adatmező neve	Adatmező értéke	Adatmező kódolása	Megjegyzések
. . PDU-adatmező azonosító . .	. . Megszorítás értéke, és attribútumok . .	. . PDU-kódolási eljárás meghívása . .	. . Tetszés szerinti szöveg . .
Részletes megjegyzések:

4. A dinamikus rész (Dynamic Part)

A dinamikus rész írja le az egyes vizsgálati sorozatok, ezáltal az IUT dinamikus viselkedését, használva az előző három rész által deklaráltakat. Ezen leírás általános koncepciója az ún. viselkedési fákra (behaviour tree) épül, melyet szemléletesen az alábbi ábra mutat be:

!CONNECTrequest

?CONNECTconfirm

!DATArequest

?DATAindication

!DATArequest

Esemény sorozatok

!CONNECTrequest

?CONNECTconfirm

!DATArequest

?DISCONNECTindication

!CONNECTrequest

?DISCONNECTindication

Viselkedési fa

Viselkedési fa TTCN-ben

A TTCN-viselkedési fa az alapja a alábbi táblázat viselkedést leíró részének.

A protokoll ajánlások mindegyike alapvetően háromféle eseményből épül fel : PDU-küldés, PDU-vétel, és időzítés (timeout), a TTCN összesen négyféle típusú eseménysort (event line) használ ezek leírására:

Egy adott PCO által küldött eseménysort felkiáltó jel jelöli : PCO_X!DATArequest

A vételi eseménysort kérdőjel jelöli : PCO_X?DATAindication

A másképpen (otherwise)eseményeket is kérdőjel jelöli : PCO_X?OTHERWISE

Az időzítő eseményeket szintén kérdőjel jelöli : PCO_X?TIMEOUT Clock_1

Ezen eseménysorok a tesztesetek dinamikus viselkedését leíró táblázatok lényegi részei, egy ilyen táblázat felépítését az alábbi táblázat mutatja be:

Teszteset dinamikus viselkedése
TESZTESET NEVE : Az egyedi teszteset azonosító TESZTCSOPORT : Tesztcsoport neve TESZTCÉL : Tetszés szerinti szöveg ALAPÉRTELMEZÉS : Alapértelmezésű referenciák listája MEGJEGYZÉSEK : Tetszés szerinti szöveg
Nr.	Cimke	Viselkedés leírása	Megszorítás referencia	Ítélet	Megjegyzések
. . n . .	. . LB_k . .	. . Állítás sor (ld. előző ábra) .	. . [Megszorítás referencia] . .	. . P/F/I . .	. . Tetszés szerinti szöveg .
Részletes megjegyzések:

Amennyiben az egyes vizsgálati sorozatok vizsgálati lépésekre bomlanak, akkor ezek dinamikus viselkedésének leírása is hasonló táblázatokban történik. Ugyanez a leírási séma használatos ezen kívül az alapértelmezésű dinamikus viselkedések leírására is (default dynamic behaviour).

<Tartalomjegyzék> <B. Függelék>