EA05: A forráskód ellenőrzése
Semester:
2010. ősz
Az előadás tartalma:
-
Áttekintés
- Milyen a jó forráskód?
- Kódolási szabályok
- Forráskód metrikák
- Milyen ellenőrzési módszerek vannak?
-
Statikus analízis eszközök
- Hibaminta keresők
- Bővíthető eszközök
-
Dinamikus tulajdonságok vizsgálata statikus analízissel
- Absztrakt interpretáció
