Regisztráció és bejelentkezés

Nagyméretű forráskódtárak inkrementális statikus analízise

Nagyméretű, komplex szoftverek fejlesztésekor a közreműködők számának növekedésével a kódban is gyakrabban fordulhatnak elő hibák. Ezek kiküszöbölésére jelenleg is rendelkezésre állnak megoldások, mint például a statikus analízis, amely többek között automatikusan ellenőrzi, hogy a kód megfelel-e a kódolási szabályoknak.

A statikus analízis a gyakorlatban sokszor lassú és drága művelet. Különösen folytonos integrációs alkalmazása során jelent skálázhatósági kihívást, mert minden módosítás után újra kell futtatni az ellenőrzést a teljes kódbázison. Ugyanakkor nagy igény jelentkezik a statikus analízis technológiák gyorsítására, mivel a gyakorlatban a tesztelést és így a fejlesztés egészét jelentősen gyorsíthatja, hiszen segíti a hibák korai szűrését.

Az egyik lehetséges megoldás az inkrementális feldolgozás. A TDK dolgozat keretében olyan rendszert készítettem, mely segítségével a felhasználók által definiált problémákra inkrementális módon lehet keresni. Ilyenkor a teljes kódbázison csak egyszer szükséges az ellenőrzést elvégezni. Későbbi módosítások esetén (pl. verziókezelő rendszerbeli commit) csak a módosítás által érintett részeket szükséges újra ellenőrizni. Az előzőlegesen tárolt eredményeket pedig csak a módosítás által keltett változással kell frissíteni.

A rendszer működőképességének igazolására olyan méréseket terveztem, melyek nyílt forrású programkódok analízisfolyamatainak végrehajtásával betekintést nyújtanak a rendszer skálázhatóságára az elemzett kódbázis méretének tükrében. Ezeket a méréseket elosztott környezetben végeztem el.

szerző

  • Stein Dániel
    mérnökinformatikus
    nappali

konzulensek

  • Szárnyas Gábor
    doktorandusz, Méréstechnika és Információs Rendszerek Tanszék
  • Dr. Ráth István
    Tudományos munkatárs, Méréstechnika és Információs Rendszerek Tanszék

helyezés

I. helyezett