Egyetemközi Távközlési és Informatikai Központ
   
 Távközlési szoftvertechnológiák











 

Témavezetők: Dr. Csopaki Gyula, Dr. Pap Zoltán

Egyetemi hallgatók: Erős Levente, Bozóki Ferenc, Németh Gábor Árpád

A távközlési szoftverfejlesztés és tesztelés folyamatában, valamint a szoftverek karbantartásának megoldásaiban jelenleg számos olyan elem van, mely a rendszer átláthatóságának romlásával, esetleg szoftver kód újraírásával jár. Kiemelt problémák közé tartozik a jól struktúrát távközlési szoftverek készítését támogató formális eszközök létrehozása; a különböző programozási nyelveken megvalósított szoftver komponensek karbantartása, azok hordozhatóságának, együttműködésének biztosítása, valamint tesztelése.

A kutatási téma célja megoldások és eszközök kidolgozása a formális módszerek gyakorlati alkalmazásának támogatására, a távközlési szoftverek fejlesztésének, tesztelésének, és karbantartásának elősegítésére.

A felsorolt problémák közül kutatásaink elsősorban a következő feladatokra koncentrálnak:

  • Véges automata (FSM) alapú rendszer modellezés és tesztelés
  • Formálisan specifikált távközlési rendszerek teljesítmény-vizsgálata
  • Aspektus-orientált metodológia alkalmazása távközlési szoftverek fejlesztésére
  • Hordozható adatstruktúrák
  • Reverse-engineering
  • TTCN refaktorizáció
    • Statikus adat leírás (template) optimalizációja
    • Dinamikus működés optimalizációja
  • Inkrementális tesztelési módszerek kidolgozása és vizsgálata

 

  
       
   
Webmester: Samu Péter
  
 

Egyetemközi Távközlési és Informatikai Központ © Minden jog fenntartva 1998 - 2011