RefactorErl
A projekt önálló oldala: RefactorErl
A szoftverfejlesztést támogató eszközök jelentősége rohamosan nő az utóbbi évtizedekben. A forráskódok olyan méretűek, hogy azt átlátni szinte lehetetlen, de legalábbis nehézkes és időigényes folyamat. Így egyre inkább elterjednek azok az eszközök, melyek a kódmegértést, -karbantartást, -ellenőrzést, hibakeresést támogatnak vagy éppen lehetőséget nyújtanak a forráskód különböző szempontok szerinti átalakítására.
Ez a támogatás történhet dinamikusan, azaz futási időben, illetve statikusan a program futtatása nélkül. Mi az utóbbi megközelítést alkalmazzuk. Egy statikus elemző és transformáló keretrendszert definiáltunk, ahol csupán a forráskód alapján gyűjtünk információt és használjuk fel különböző célokra. Elemzésink nyelvspecifikusak, az Erlang programozási nyelvhez készültek.
Eredmények
Statikus elemzési módszereket definiáltunk Erlanghoz. Létrehoztunk keretrendszert, melyben ezeket megvalósítottuk.
A RefactorErl eszköz nyílt-forrású, szabadon elérhető szoftver, melyet az Erlang fejlesztők használhatnak a mindennapos szoftverfejlesztési folyamataik megkönnyítésére, támogatására:
- Forráskód megértésének támogatása
- Kód-transzformációk
- Minőségi mutatók ellenőrzése
- Sérülékenységek felderítése
- Információ kinyerés lekérdezőnyelvi támogatással
- Szoftver komponensek kapcsolatainak/függőségeinek felderítés
- Konkurens/elosztott szoftverek elemzése
- Automatikus párhuzamosítási lehetőségek
- Energiahatékonyság támogatása, vizsgálata