80 likes | 230 Views
Návrh a implementácia modelu samoopravného kódu. Riešiteľ: Bc. Anton Krbaťa Vedú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.
E N D
Návrh a implementácia modelu samoopravného kódu Riešiteľ: Bc. Anton Krbaťa Vedú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 DrivenArchitecture: Practice and Promise. Addison-Wesley 2003, ISBN 0-321-19442-X • Mellor, S.J., MDA Distilled, Principlesof Model DrivenArchitecture. Addison-Wesley Professional 2004, ISBN 0-201-78891-8 • Rubinfeld, R., A MathematicalTheoryofSelf-Checking, Self-Testing and Self-CorrectingPrograms, PhDThesis, U.C. Berkeley, August 1990. ICSI Technical Report No. TR-90-054.