Objektum Vezérelt Szoftverek Analízise Ferenc Rudolf és Beszédes Árpád Szegedi Tudományegyetem FrontEndART.

Az előadások a következő témára: "Objektum Vezérelt Szoftverek Analízise Ferenc Rudolf és Beszédes Árpád Szegedi Tudományegyetem FrontEndART."— Előadás másolata:

1 Objektum Vezérelt Szoftverek Analízise Ferenc Rudolf és Beszédes Árpád ferenc@inf.u-szeged.hu beszedes@inf.u-szeged.hu Szegedi Tudományegyetem FrontEndART Szoftver Kft.

2 Szegedi Tudományegyetem – FrontEndART Szoftver Kft. VIII. Országos (centenáriumi) Neumann Kongresszus 2 2003. október 15-17 Bevezetés A szoftver rendszerek gyorsan növekednek és egyre komplexebbek lesznek Természetes az igény, hogy megértsük a nagy rendszerek forráskódját Nagy mennyiségű örökölt kód létezik és sok a fejlesztő A létező rendszerek modellezése (reverse engineering) egy rendszer elemzésének a folyamata, hogy  azonosítsuk a rendszer komponenseit és egymás közötti kapcsolatait, valamint  létrehozzuk a rendszer egy magasabb szintű reprezentációját egy más formában

3 Szegedi Tudományegyetem – FrontEndART Szoftver Kft. VIII. Országos (centenáriumi) Neumann Kongresszus 3 2003. október 15-17 Bevezetés (folyt.) A szoftverkarbantartás sikeres lebonyolításához megfelelő eszközkészlet kell  elemzők, kódgenerátorok, metrikaszámítók, dokumentáló eszközök, vizualizáló eszközök Ahhoz, hogy kommunikálni tudjanak egymással szükségesek az alábbiak  elemző  közös séma  keretrendszer

4 Szegedi Tudományegyetem – FrontEndART Szoftver Kft. VIII. Országos (centenáriumi) Neumann Kongresszus 4 2003. október 15-17 Columbus eszköz Keretrendszer már létező nagy objektum orientált rendszerek modellezésére K+F projekt keretében lett kifejlesztve  Szegedi Tudományegyetem  Nokia Research Center, Helsinki  FrontEndART Szoftver Kft. Általános keretrendszer  Projekt kezelés, adat kinyerés, adat reprezentálás, adat tárolás, filterezés és exportálás Robusztus C/C++ elemző és előfeldolgozó  ANSI, Microsoft, Borland, GNU dialektusok Bővíthetőség a plug-in architektúrának köszönhetően API harmadik fél által gyártott plug-in-ekhez Integráció a Microsoft Visual Studio-val

5 Szegedi Tudományegyetem – FrontEndART Szoftver Kft. VIII. Országos (centenáriumi) Neumann Kongresszus 5 2003. október 15-17 Columbus alkalmazása Dokumentáció  Web – html  UML Forráskód megértés  Új fejlesztők  Örökölt forráskód  Tervezési minták felismerése  Függvény hívási gráf, stb. Minőség-ellenőrzés  Metrikák  Kód ellenőrzés (auditing)

6 Szegedi Tudományegyetem – FrontEndART Szoftver Kft. VIII. Országos (centenáriumi) Neumann Kongresszus 6 2003. október 15-17 Eszközök támogatása

7 Szegedi Tudományegyetem – FrontEndART Szoftver Kft. VIII. Országos (centenáriumi) Neumann Kongresszus 7 2003. október 15-17 Exportálási formátumok CPPML UML XMI HTML Metrikák GXL Famix XMI RSF

8 Szegedi Tudományegyetem – FrontEndART Szoftver Kft. VIII. Országos (centenáriumi) Neumann Kongresszus 8 2003. október 15-17 Columbus Séma Különböző, C++ programmegértést elősegítő eszközök közötti adatcseréhez szükség van egy közös formátumra – sémára Nincs még szabványos séma C++-hoz Forró kutatási téma  pl. GXL, DATRIX, GUPRO, Bauhaus A Columbus Séma nemzetközi tudományos konferenciákon már elismerést nyert, mint egy kandidátus a szabványos adatcserére

9 Szegedi Tudományegyetem – FrontEndART Szoftver Kft. VIII. Országos (centenáriumi) Neumann Kongresszus 9 2003. október 15-17 Columbus Séma (folyt.) A séma egy adatcsere formátum fontos követelményeit teljesíti. Tükrözi az  alacsony szintű (AST) struktúráját a kódnak, de egyben  magasabb szintű szemantikus információkat is hordoz (pl. a típusok szemantikája) Jelenleg a “tiszta” C++ szintaxist modellezi (előfeldolgozott forráskód), de folyamatban van az előfeldolgozó direktívák modellezése is Szabványos UML osztálydiagramokkal van leírva

10 Szegedi Tudományegyetem – FrontEndART Szoftver Kft. VIII. Országos (centenáriumi) Neumann Kongresszus 10 2003. október 15-17 Forráskód minőség-biztosítás CPPAudit Ellenőrzi bizonyos kódolási konvenciók betartását Figyelmeztet különböző veszélyes kód szerkezetekre Integrálva van a Microsoft Visual Studio-ba Több, mint 100 különböző szabály Tetszőlegesen bővíthető Parancssori végrehajtás

11 Szegedi Tudományegyetem – FrontEndART Szoftver Kft. VIII. Országos (centenáriumi) Neumann Kongresszus 11 2003. október 15-17 Forráskód minőség-biztosítás (folyt.) 88 különböző metrika Osztály szintű  Méret  Kohéziós (együttműködési)  Coupling (függőségi)  Öröklődési Függvény szintű  Méret  Coupling (függőségi)  Komplexitás Rendszer szintű  Méret  Coupling (függőségi)  Egyéb

12 Szegedi Tudományegyetem – FrontEndART Szoftver Kft. VIII. Országos (centenáriumi) Neumann Kongresszus 12 2003. október 15-17 Összefoglalás Nem csak egy újabb C++ elemző, hanem egy igazán hasznos keretrendszer:  Egyéb hasznos szoftverekkel való integráció  Kiegészítő információk kiszámítása a sémából a felhasználóknak, mint pl.: Metrikák UML osztály diagramok Tervezési minták (design patterns) Függvény hívási gráf (call graph) …  Minőség-ellenőrzés biztosítása Ingyenesen elérhető kutatási és oktatási célokra Letöltés: www.frontendart.com