Návrh a implementácia modelu samoopravného kódu

Riešiteľ: Bc. Anton KrbaťaVedúci: doc. RNDr. Gabriel Semanišin, PhD.Konzultant: Mgr. Róbert Šoffa

Ciele

•Analyzovať a klasifikovať typické chyby softvéru.

•Navrhnúť objektový model pre dynamické obnovovanie systému.

•Analyzovať vedľajšie účinky dynamicky vygenerovaných opráv systému.

•Implementovať demonštračnú aplikáciu produkujúcu rôzne typy chýb, ktorá ich sama detekuje a dynamicky opraví.

Schopnosti samo-opravného kódu

•Zachytiť chybu

•Určiť čo ju spôsobilo

•Opraviť chybu alebo čo v

najväčšej miere znížiť dopad na

systém

Klasifikácia chýb

•Syntaktické chyby

•Sémantické chyby

•Chyby komunikácie a interakcie

•Výnimky

Detekcia chýb

•Kontrola štruktúr a parametrov

•Rýchlosť a dostupnosť služieb

•Try-Catch bloky

•Predikcia chyby

Riešenie chýb

•Prevencia

•Odstránenie

•Tolerancia

Realizácia

•Dynamické programovanie

•Java Reflection

•Javassist framework

Literatúra•Kleppe, A. MDA Explained, The Model Driven

Architecture: Practice and Promise. Addison-Wesley 2003, ISBN 0-321-19442-X

•Mellor, S.J., MDA Distilled, Principles of Model Driven Architecture. Addison-Wesley Professional 2004, ISBN 0-201-78891-8

•Rubinfeld, R., A Mathematical Theory of Self-Checking, Self-Testing and Self-Correcting Programs, PhD Thesis, U.C. Berkeley, August 1990. ICSI Technical Report No. TR-90-054.