Érti ezt valaki? Programanalízis millió sor felett

Miként lehet a mind bonyolultabb szoftverek esetében feltárni a potenciális működési problémákat, illetve a biztonsági réseket? Egyebek mellett erről beszélt akadémiai székfoglaló előadásában Gyimóthy Tibor matematikus, az Magyar Tudományos Akadémia levelező tagja. Az előadáson elhangzott, hogy az informatikai eszközök kapacitása rendkívüli módon megnövekedett, egyre nagyobb és bonyolultabb szoftvereket képesek kezelni. A szoftverek annyira bonyolulttá váltak, hogy nagyon nehéz a potenciális működési problémák, illetve biztonsági rések feltárása. Ezt a helyzetet tovább súlyosbítja, hogy a folyamatos változtatási igények hatására a szoftverek szerkezete egyre romlik, az egyes programelemek közötti függőségek kezelhetetlenné válnak. Az előadásában Gyimóthy bemutatta, hogy miként lehet ezeket a függőségeket a programszeletelés segítségével feltárni, illetve azt, hogy szoftvermetrikák számításával szoftverhibák és biztonsági problémák is előre jelezhetők.