ایجاد مشخصات تأیید زمان اجرا بر اساس هشدارهای تجزیه و تحلیل کد استاتیک
| عنوان | ایجاد مشخصات تأیید زمان اجرا بر اساس هشدارهای تجزیه و تحلیل کد استاتیک |
|---|---|
| نویسنده | شمشیر، دلفین |
| تاریخ انتشار: | 2017-12 |
| موضوع | مهندسی کامپیوتر و علوم کامپیوتر و کنترل |
| نوع | سند |
| زبان | انگلیسی |
| دیجیتال | بله |
| نسخه خطی | خیر |
| کتابخانه: | دانشگاه اوزیغین |
| شماره ثبت | 1d33144f-f30d-48df-b087-bb18e9bc22fe |
| محل کتابخانه | گروه علوم کامپیوتر |
| تاریخ | 2017-12 |
| متن نمونه | روش های مختلفی برای یافتن اشکالات در یک سیستم نرم افزاری وجود دارد. یکی از این رویکردها، تحلیل کد ایستا است که با تجزیه و تحلیل کد بدون اجرای آن، سعی در رسیدن به این هدف دارد. روش تکمیلی دیگر تأیید زمان اجرا است که برای تأیید رفتار سیستم پویا با توجه به مجموعهای از مشخصات در زمان اجرا استفاده میشود. این مشخصات اغلب به صورت دستی بر اساس نیازمندی ها و محدودیت های سیستم ایجاد می شوند. در این پایان نامه، ما یک روش جدید و پشتیبانی ابزار برای تولید خودکار مشخصات تأیید زمان اجرا بر اساس هشدارهایی که توسط ابزارهای تحلیل کد استاتیک گزارش میشوند، پیشنهاد میکنیم. ما یک زبان خاص دامنه را برای تعریف مجموعه ای از قوانین برای بررسی یک نوع هشدار معرفی می کنیم. نقض قوانین نشان دهنده عدم وجود یا وجود یک اشکال واقعی است که توسط نمونه های آن نوع هشدار تعیین شده است. مشخصات تأیید رسمی به طور خودکار برای هر نمونه هشدار گزارش شده بر اساس قوانین تعریف شده ایجاد می شود. سپس، مانیتورهای زمان اجرا به طور خودکار سنتز و در سیستم یکپارچه می شوند. این مانیتورها خطاهای شناسایی شده یا هشدارهای مثبت کاذب را در حین اجرای نرم افزار گزارش می دهند. مجموعه قوانین را می توان در پروژه های مختلف مورد استفاده مجدد قرار داد. ما مطالعات موردی را با دو سیستم نرمافزار منبع باز انجام دادیم تا این را نشان دهیم. ابزار ما در حال حاضر از استفاده از دو ابزار مختلف تحلیل کد استاتیک برای تولید مانیتورهای زمان اجرا به زبان جاوا پشتیبانی می کند. این به گونه ای طراحی شده است که برای پشتیبانی از ابزارهای دیگر نیز قابل گسترش باشد. بو یونتملردن بیری اولان استاتیک کد آنالیزی کداکی هاتالارین، کودون چالیشتیریلمادان اورتایا چیکاریلماسینی ساغلامکتادیر. Bunu tamamlayıcı nitelikte olan çalışma zamanı doğrulama ise dinamik sistem davranışlarını yazılmış olan kurallara göre kontrol etmek için kullanılmaktadır. Bu kural listesi genellikle sistem gereksinimleri ve kısıtlarına göre manuel olarak oluşturulmaktadır. بو تزده، استاتیک کد آنالیزی آراچلارینین اولوشتوردوغو ویاریلاردان چالیشما زمانه دوغرولاما کوراللارینی اتوماتیک اولاراک اولوش- توران ینی بیر یونتم و آراچ ژلشتیریلمیشتر. آلانا اؤزغو بیر دیل ژلیستیریلرک، اویاری تیپلرینه اوزگو کوراللار تانیملانماسی ساغلانمیشتیر. اولوشتورولان بو کوراللارین ایهلال ادیلیپ ادیلمدیغینه گئره هاتانین گرچکلشیپ گرچکله شمدیغینه کارار ویریلمکتیدیر. چالیشما زمانی دوغرولاما کوراللاری هر بیر اویاری ایچین داها اونجدن تانیملانمیش کورالارا گوره اتوماتیک اولوشتورولمکتادیر. داها سونرا ایسه، اولوشان بو کورالارا ایلیشکین چالیشما izleyiciler otomatik sentezlenerek، sisteme entegre edilmektedir. Bu izleyiciler yazılımla birlikte çalışarak tespit edilen hataları ve yanlış üretilmiş uyarıları raporlamaktadır. Bir kere oluşturulan kurallar farklı projelerde kullanılabilmektedir. Bu durumu gösterebilmek için iki farklı açık kaynak kod üzerinde vaka çalışmaları gerçekleştirilmiştir. Aracımız şu anda Java programlama dili için uyarı üreten iki farklı statik kod analiz aracını desteklemektedir. آیریجا بو آراچ، ینی استاتیک کد آراچلارینی دستکله بیلچک شکیلده تاسارلانمیشتیر. |
