Nem létező kulcsszavak kiszűrése

Hiányzó kezdőértékek megkeresése

Azonosan igaz/hamis kifejezések megkeresése

Csak kivételkezeléssel használható

A program végrehajtása nem feltétlenül szekvenciális

Változók állapota múltérzékeny, ez mellékhatásokhoz vezet

A programleírás deklaratív

Napjainkban legelterjedtebb programozási paradigma

A változók múltérzékenyek

A funkcionális programozás egy fajtájának tekinthető

Többszöri értékadás megendedett

A funkcionális nyelvek alapján fejlesztették ki

A programok csak elágazást, ciklus és szekvenciát használhatnak

A végrehajtás módja mohó kiértékelés

Problémaleírás deklaratív

Végrehajtás vezérlési módja a közvetlen vezérlés

Volumen tesz

Leállási tesz

Végtelen ciklus teszt

Biztonsági teszt

Célja, hogy megkeresse egy már ismer hiba helyét

Adatvezérelt tesztelés

A döntés lefedés elvén alapul

Szimbolikus végrehajtással kapjuk meg a bemenő tesztadatokat

Gyorsabban fut le, mint a korai kötés

Nagyobb tárhelyigénnyel jár, mint a korai kötés

A referencia típusa egyértelműen meghatározza, hogy melyik metósus fog lefutni

Csak azok a nyelvek támogatják, ahol van többszörös öröklődés

Megtalálja a két bemenetként megadott csúcs között a legrövidebb utat

Megtalálja egy gráf minden csúcsából minden csúcsába vezető legrövidebb utat

Megtalálja egy csúcs és az összes többi csúcs közötti legrövidebb utat

Meghatározza minden csúcsból az összes többi csúcsba vezető összes út hosszát

Metódus fejléceket

Tulajdonság implementációt

Referencia típusú mezőt

Destruktort

Tartozhat generikus vagy nem generikus osztályhoz

Egy generikus osztály minden metódusa generikus

Metódus generikus, ha saját típusparaméterei vannak

Típusparaméter csak a paraméterlistában jelenhet meg

Keresés mindig O (N* logN) lépésszámú

Egy levél mélysége lehet N-1

Fa magassága lehet N-1

Minden levélelem mélysége N-1