گسترش تجزیه و تحلیل کد استاتیک با قوانین خاص برنامه با تجزیه و تحلیل ردیابی های اجرای زمان اجرا
| عنوان | گسترش تجزیه و تحلیل کد استاتیک با قوانین خاص برنامه با تجزیه و تحلیل ردیابی های اجرای زمان اجرا |
|---|---|
| نویسنده | ارسوی، ای.، سوزر، حسن |
| تاریخ انتشار: | 2016 |
| محل انتشار | - انتشارات بین المللی Springer |
| نوع | دوره ای |
| زبان | انگلیسی |
| دیجیتال | بله |
| نسخه خطی | خیر |
| کتابخانه: | دانشگاه اوزیغین |
| شناسه دارایی کتابخانه | 1865-0929 |
| شماره ثبت | 3e09db48-6724-4a8e-a1c0-51a0848bfb63 |
| محل کتابخانه | علوم کامپیوتر |
| تاریخ | 2016 |
| یادداشتها | TÜBİTAK |
| متن نمونه | ابزارهای تجزیه و تحلیل استاتیک نمی توانند نقض قوانین خاص برنامه را تشخیص دهند. آنها را می توان با چک کننده های تخصصی که تأیید این قوانین را اجرا می کنند، گسترش داد. با این حال، چنین قوانینی معمولاً به صراحت مستند نمی شوند. علاوه بر این، اجرای چکرهای تخصصی یک فرآیند دستی است که نیاز به تخصص دارد. در این کار، قوانین برنامه نویسی خاص برنامه به طور خودکار از ردیابی های اجرایی جمع آوری شده در زمان اجرا استخراج می شوند. این ردیابی ها برای شناسایی قوانین برنامه نویسی به صورت آفلاین تجزیه و تحلیل می شوند. سپس، چککنندههای تخصصی این قوانین بهعنوان پسوند ابزار تجزیه و تحلیل استاتیک معرفی میشوند تا موارد نقض آنها در کل کد منبع بررسی شود. ما رویکرد خود را برای برنامه های جاوا با در نظر گرفتن 3 نوع خطا اجرا کردیم. ما یک ارزیابی با یک مطالعه موردی صنعتی از حوزه مخابرات انجام دادیم. ما توانستیم خطاهای واقعی را با چکرهایی که بر اساس تجزیه و تحلیل گزارشهای اجرایی ایجاد شدهاند، شناسایی کنیم. |
| DOI | 10.1007/978-3-319-47217-1_4 |
| Cilt | 659 |
