بازگشت به جستجو

گسترش تجزیه و تحلیل استاتیک با قوانین خاص برنامه با تجزیه و تحلیل ردیابی های اجرای زمان اجرا

عنوان	گسترش تجزیه و تحلیل استاتیک با قوانین خاص برنامه با تجزیه و تحلیل ردیابی های اجرای زمان اجرا
نویسنده	ارسوی، ارسین
تاریخ انتشار:	2016-07
موضوع	مهندسی کامپیوتر و علوم کامپیوتر و کنترل، زبان های نرم افزار کامپیوتر، نرم افزارهای کامپیوتری، نرم افزارهای کاربردی، تحلیل کدهای استاتیک
نوع	سند
زبان	انگلیسی
دیجیتال	بله
نسخه خطی	خیر
کتابخانه:	دانشگاه اوزیغین
شماره ثبت	f33a9eeb-7ca7-4a01-9f5b-5222df73c3da
محل کتابخانه	گروه مهندسی برق و الکترونیک
تاریخ	2016-07
متن نمونه	ابزارهای تجزیه و تحلیل کد ایستا می توانند هشدارهایی را فقط در مورد مسائل عمومی مانند متغیرهای اولیه ایجاد کنند. آنها نمی توانند نقض قوانین خاص برنامه را تشخیص دهند. ابزارها را می توان با چک کننده های تخصصی که تأیید این قوانین را اجرا می کنند، گسترش داد. با این حال، چنین قوانینی معمولاً به صراحت مستند نمی شوند. علاوه بر این، اجرای چکرهای تخصصی یک فرآیند دستی است که نیاز به تخصص دارد. در این پایان نامه، ما یک رویکرد جدید برای ارائه خودکار این پسوندها ارائه می دهیم. In our approach, application-speci c programming rules are automatically extracted from execution traces collected at runtime. این ردیابی ها برای شناسایی قوانین برنامه نویسی که نقض آنها منجر به خطا می شود، تجزیه و تحلیل می شوند. سپس، چک‌کننده‌های تخصصی این قوانین به‌عنوان پسوند ابزار تجزیه و تحلیل استاتیک معرفی می‌شوند تا موارد نقض آن‌ها در کل کد منبع بررسی شود. ما رویکرد خود را با دو مطالعه موردی صنعتی از حوزه مخابرات ارزیابی کردیم. ما توانستیم خطاهای واقعی را با چکرهایی که به طور خودکار بر اساس تجزیه و تحلیل گزارش‌های اجرایی تولید می‌شوند، شناسایی کنیم. İlk değerleri atanmamış olan değişkenlere ilişkin hata uyarıları örnek olarak verilebilir. Uygulamaya özel kuralların ihlalini ise mevcut araçlar algılayamamaktadırlar. Bu araçlar, özelleştirilmiş kontrol kuralları ile genişletilebilir ve bu şekilde uygulamaya özel kuralları kontrol edebilirler. Ancak bu kurallar genellikle açık bir şekilde dokümante edilmiş değillerdir. Üstelik özelleştirilmiş kontrol kuralları manuel olarak hazırlanmaktadır ve bu uzmanlık gerektiren bir iştir. بو تزده، استاتیک کد آنالیز کوراللارینین اتوماتیک اولاراک گنیشلتیلمسی ایچین ینی بیر یاکلاشیم سونولموشتور. Bu yaklaşımda، uygulamaya özel programlama kuralları، uygulama çalışırken oluşan kayıtlardan otomatik olarak elde edilmektedir. Bu kayıtlar çevrimdışı olarak analiz edilip hataya neden olan programlama kuralı ihlali bulunmaktadır. Sonrasında, belirlenen hataya uygun olan özelleştirilmiş kontrol kuralı kullanılarak statik kod analiz aracı genişletilmektedir ve uygulamanın tamamı genişletilen araç ile analiz edilmektedir. Bu yaklaşım telekomünikasyon alanındaki iki vaka analizi ile değerlendirilmiştir. Uygulamaların çalışması esnasında toplanan kayıtların analizi sonucunda oluşturulan özelleştirilmiş kontrol kuralları ile gerçek hataların bulunabildiği görülmüştür.

مشاهده در منبع دانشگاه اوزیغین دانشگاه اوزیغین - موتور جستجوی نسخه های خطی عثمانی

دانشگاه اوزیغین

گسترش تجزیه و تحلیل استاتیک با قوانین خاص برنامه با تجزیه و تحلیل ردیابی های اجرای زمان اجرا

نویسنده ارسوی، ارسین

تاریخ انتشار 2016-07

موضوع مهندسی کامپیوتر و علوم کامپیوتر و کنترل، زبان های نرم افزار کامپیوتر، نرم افزارهای کامپیوتری، نرم افزارهای کاربردی، تحلیل کدهای استاتیک

نوع سند

زبان انگلیسی

دیجیتال بله

نسخه خطی خیر

کتابخانه دانشگاه اوزیغین

شماره ثبت f33a9eeb-7ca7-4a01-9f5b-5222df73c3da

محل کتابخانه گروه مهندسی برق و الکترونیک

تاریخ 2016-07

متن نمونه ابزارهای تجزیه و تحلیل کد ایستا می توانند هشدارهایی را فقط در مورد مسائل عمومی مانند متغیرهای اولیه ایجاد کنند. آنها نمی توانند نقض قوانین خاص برنامه را تشخیص دهند. ابزارها را می توان با چک کننده های تخصصی که تأیید این قوانین را اجرا می کنند، گسترش داد. با این حال، چنین قوانینی معمولاً به صراحت مستند نمی شوند. علاوه بر این، اجرای چکرهای تخصصی یک فرآیند دستی است که نیاز به تخصص دارد. در این پایان نامه، ما یک رویکرد جدید برای ارائه خودکار این پسوندها ارائه می دهیم. In our approach, application-speci c programming rules are automatically extracted from execution traces collected at runtime. این ردیابی ها برای شناسایی قوانین برنامه نویسی که نقض آنها منجر به خطا می شود، تجزیه و تحلیل می شوند. سپس، چک‌کننده‌های تخصصی این قوانین به‌عنوان پسوند ابزار تجزیه و تحلیل استاتیک معرفی می‌شوند تا موارد نقض آن‌ها در کل کد منبع بررسی شود. ما رویکرد خود را با دو مطالعه موردی صنعتی از حوزه مخابرات ارزیابی کردیم. ما توانستیم خطاهای واقعی را با چکرهایی که به طور خودکار بر اساس تجزیه و تحلیل گزارش‌های اجرایی تولید می‌شوند، شناسایی کنیم. İlk değerleri atanmamış olan değişkenlere ilişkin hata uyarıları örnek olarak verilebilir. Uygulamaya özel kuralların ihlalini ise mevcut araçlar algılayamamaktadırlar. Bu araçlar, özelleştirilmiş kontrol kuralları ile genişletilebilir ve bu şekilde uygulamaya özel kuralları kontrol edebilirler. Ancak bu kurallar genellikle açık bir şekilde dokümante edilmiş değillerdir. Üstelik özelleştirilmiş kontrol kuralları manuel olarak hazırlanmaktadır ve bu uzmanlık gerektiren bir iştir. بو تزده، استاتیک کد آنالیز کوراللارینین اتوماتیک اولاراک گنیشلتیلمسی ایچین ینی بیر یاکلاشیم سونولموشتور. Bu yaklaşımda، uygulamaya özel programlama kuralları، uygulama çalışırken oluşan kayıtlardan otomatik olarak elde edilmektedir. Bu kayıtlar çevrimdışı olarak analiz edilip hataya neden olan programlama kuralı ihlali bulunmaktadır. Sonrasında, belirlenen hataya uygun olan özelleştirilmiş kontrol kuralı kullanılarak statik kod analiz aracı genişletilmektedir ve uygulamanın tamamı genişletilen araç ile analiz edilmektedir. Bu yaklaşım telekomünikasyon alanındaki iki vaka analizi ile değerlendirilmiştir. Uygulamaların çalışması esnasında toplanan kayıtların analizi sonucunda oluşturulan özelleştirilmiş kontrol kuralları ile gerçek hataların bulunabildiği görülmüştür.