Ասրյան, Սերյոժա Արմենի

Informatics

Աշխատությունը նվիրված է կատարվող ծրագրային կոդում (executed code) առկա դեֆեկտների հայտնաբերման մեթոդների ուսումնասիրությանը՝ հիմնված դինամիկ վերլուծության մոտեցումների վրա՝ ընդգծելով ծրագրային համակարգերի հուսալիության և անվտանգության բարձրացման անհրաժեշտությունը։ Հեղինակը վերլուծում է դինամիկ վերլուծության հիմնական սկզբունքները, որտեղ ծրագրի վարքագիծը ուսումնասիրվում է իրական կատարման ընթացքում՝ ի տարբերություն ստատիկ վերլուծության։ Գրքում դիտարկվում են դեֆեկտների տարբեր տեսակներ՝ հիշողության արտահոսք (memory leaks), null pointer exceptions, race conditions, buffer overflow-ներ և տրամաբանական սխալներ, որոնք հաճախ դրսևորվում են միայն runtime փուլում։ Հատուկ ուշադրություն է դարձվում գործիքային մեթոդներին՝ instrumentation, logging, runtime monitoring և profiling տեխնիկաներին, ինչպես նաև ավտոմատացված թեստավորման համակարգերին, որոնք թույլ են տալիս բացահայտել թաքնված սխալները բարդ ծրագրային միջավայրերում։ Հեղինակը ուսումնասիրում է նաև symbolic execution, fuzz testing և dynamic taint analysis մոտեցումները՝ որպես անվտանգության խոցելիությունների հայտնաբերման արդյունավետ գործիքներ։ Աշխատությունը ընդգծում է դինամիկ վերլուծության կարևորությունը բարձր վստահելիությամբ ծրագրային համակարգերի մշակման և կիբերանվտանգության ապահովման գործում։ Այն օգտակար է ծրագրավորողների, անվտանգության ինժեներների և ծրագրային որակի ապահովման մասնագետների համար։