K-INFO
HU
EN
Belépés

Távközlési szoftverek

Telecommunication Software Engineering
A tantárgyleírás hatályossága
Hatályosság kezdete:
2026. March 21.
Hatályosság vége:
—
Tantárgy neve (magyarul, angolul)
Távközlési szoftverek
Telecommunication Software Engineering
Tantárgykód BMEVITTD074
Tantárgyjelleg —
Képzési szint —
Kurzustípusok és óraszámok (heti/féléves)
Kurzustípus elmélet gyakorlat laboratóriumi gyakorlat
óraszám (heti) 4 0 0
jelleg (kapcsolt/önálló) — — —
Tanulmányi teljesítmény/értékelés típusa vizsga
Tantárgy kreditértéke 5
Tantárgyfelelős
Biró József
beosztás: egyetemi tanár
Tantárgyat gondozó oktatási szervezeti egység
Távközlési és Mesterséges Intelligencia Tanszék
Kar Villamosmérnöki és Informatikai Kar
Tantárgy weboldala —
Tantárgy elsődleges mintatantervi jellege —
Közvetlen előkövetelmények – Erős előkövetelmény nincs
Közvetlen előkövetelmények – Gyenge előkövetelmény nincs
Közvetlen előkövetelmények – Párhuzamos előkövetelmény nincs
Közvetlen előkövetelmények – Mérföldkő előkövetelmény nincs
Közvetlen előkövetelmények – Kizáró feltétel nincs

Célkitűzés

Tantárgyprogram

A protokoll technológia módszertana: A specifikáció, verifikáció, validáció, implementáció és konformancia tesztelés alapfogalmai.

Különböző formális módszerek bemutatása és összehasonlítása: MSC, FSM, LTS, process algebra.
Gráfelméleti alapok. Véges automata alapú tesztsorozat generáló algoritmusok: TT, DS, UIO és W módszer. Teszt részsorozatok valamint tesztsorozat optimalizálás vidéki kínai postás (Rural Chinese Postman) módszer segítségével.

ASN.1 (Abstract Syntax Notation No.1) adatleíró nyelv és szabványos kódolásai (BER, PER).
TTCN-3 (Testing and Test Control Notation) tesztleíró nyelv, TTCN-3 teszt végrehajtó eszköz bemutatása, gyakorlati példák.

Távközlési szoftverek és protokollok formális nyelven történő specifikációja: Az SDL 2000 (Object Oriented Specification and Description Language) nyelvi elemei, a grafikus és a programnyelvi változat jellegzetességei. Kommunikációs csatornák, jelek, jelutak, input sorok, prioritások és időzítések kezelése. Az objektum orientáltság jellegzetes távközlési alkalmazásai.

Labelled Transition Systems (LTS) rövid bemutatása.

Esettanulmányok a modern IP alapú távközlési rendszerekre: IMS, SIP, stb.

Elméleti és gyakorlati ismeretek nyújtása a távközlési szoftverek és a protokollok, kiterjesztett kommunikáló véges automaták elméletén alapuló specifikáció, verifikáció, validáció és konformancia tesztelés témaköréből. Módszerek, algoritmusok valamint formális leíró eszközök és nyelvek alkalmazása távközlési szoftverek és protokollok megvalósítására. Esettanulmányok a modern kommunikációs protokollokra.

Tanulmányi eredmények

Ez a tantárgy a KKK rendeletben meghatározott, következő kompetenciák fejlesztését szolgálja:

Tudás

Nincsenek rögzített tanulási eredmények.

Képességek

Nincsenek rögzített tanulási eredmények.

Attitűd

Nincsenek rögzített tanulási eredmények.

Autonómia és felelősség

Nincsenek rögzített tanulási eredmények.

Oktatási módszertan

előadás

Tanulástámogató anyagok

Online források
X. Sun, Y. Shen, C. Feng, F. Lombardi: Protocol Conformance Testing Using Unique Input/Output Sequences, World Scientific, 1997John Larmouth: ASN.1 Complete, Elsevier-Morgan Kaufmann, 1999Methods for Testing and Specification; The Testing and Test Control Notation version 3;; Part 1: TTCN-3 Core Language. ETSI ES 201 873-1Előadások fóliái elektronikusan illetve kinyomtatva.

A tantárgy teljesítéséhez ajánlott előzetes ismeretek

Tudás típusú kompetenciák
(azon előzetes ismeretek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
Számítógép hálózatok, Formális nyelvek, Távközlő hálózatok
Képesség típusú kompetenciák
(azon előzetes képességek és készségek összessége, amelyek megléte nem kötelező, de a tantárgy eredményes teljesítését nagyban elősegíti)
nincs
Ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák
(azon ajánlott (nem kötelező) előzetesen megszerzendő kompetenciák összessége, amelyek jelentősen hozzájárulnak a tantárgy eredményes teljesítéséhez)
Számítógép hálózatok, Formális nyelvek, Távközlő hálózatok
Általános szabályok
Követelmények: A szorgalmi időszakban: nincsA vizsgaidőszakban: írásbeli vizsgaElővizsga: a szorgalmi időszak utolsó hetében Pótlási lehetőségek: TVSz szerint.
Teljesítményértékelési módszerek
Szorgalmi időszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Szorgalmi időszakban végzett teljesítményértékelések részaránya

Nincs megadva részarány.

Vizsgaidőszakban végzett teljesítményértékelések részletes leírása

Nincs megadva részletes értékelés.

Vizsgarészek részaránya

Nincs megadva részarány.

Érdemjegy megállapítása

Nincs megadva érdemjegy határ.

Jelenléti és részvételi követelmények

Nincs megadva jelenléti követelmény.

Javítás, ismétlés és pótlás különös szabályai

Nincs megadva.

Rövid leírás

Nincs megadva.

Részletes leírás

Nincs megadva.

Ajánlott tantárgyak
Nincs
A tantárgy elvégzéséhez szükséges tanulmányi munka

Nincs megadva munkaidő bontás.

Tantárgykövetelmények hatályossága
Tantárgykövetelmények hatályosságának kezdete:
—
Tantárgykövetelmények hatályosságának vége:
—
Tantervi elhelyezés

Nincsenek rögzített tantervi elhelyezések ehhez a tárgyverzióhoz.