تجزیه و تحلیل کد استاتیک یکپارچه و تأیید زمان اجرا

عنوان تجزیه و تحلیل کد استاتیک یکپارچه و تأیید زمان اجرا
نویسنده سوزر، حسن
تاریخ انتشار: 2015-10
محل انتشار - وایلی
موضوع تایید نرم افزار، تایید زمان اجرا، تجزیه و تحلیل کد استاتیک، تبدیل مدل، یکپارچه سازی ابزار
نوع دوره ای
زبان انگلیسی
دیجیتال بله
نسخه خطی خیر
کتابخانه: دانشگاه اوزیغین
شناسه دارایی کتابخانه 1097-024X
شماره ثبت 3148c4b7-ec38-41e5-95da-9391124210a5
محل کتابخانه علوم کامپیوتر
تاریخ 2015-10
یادداشت‌ها با توجه به محدودیت های کپی رایت، دسترسی به متن کامل این مقاله تنها از طریق اشتراک امکان پذیر است.
متن نمونه ابزارهای تجزیه و تحلیل کد استاتیک به طور خودکار هشدارهایی را برای خطاهای احتمالی نرم افزار ایجاد می کنند که می تواند منجر به خرابی شود. با این حال، این ابزارها معمولاً تعداد بسیار زیادی هشدار تولید می کنند که برخی از آنها در معرض مثبت کاذب هستند. به دلیل منابع محدود، معمولا بررسی همه هشدارها سخت است. به عنوان یک رویکرد مکمل، تکنیک‌های تأیید زمان اجرا رفتار سیستم پویا را با توجه به مجموعه‌ای از مشخصات تأیید می‌کنند. با این حال، این مشخصات معمولاً به صورت دستی بر اساس نیازمندی ها و محدودیت های سیستم ایجاد می شوند. در این مقاله، یک رویکرد جدید و یک زنجیره ابزار برای تجزیه و تحلیل کد استاتیک یکپارچه و تأیید زمان اجرا معرفی می‌کنیم. هشدارهایی که توسط ابزارهای تحلیل کد ایستا تولید می‌شوند، برای تولید خودکار مشخصات تأیید زمان اجرا استفاده می‌شوند. از سوی دیگر، نتایج تأیید زمان اجرا برای تولید خودکار فیلترها برای ابزارهای تجزیه و تحلیل کد استاتیک برای حذف موارد مثبت کاذب استفاده می شود. این رویکرد برای تجزیه و تحلیل استاتیک و تأیید زمان اجرا یک نرم‌افزار مدیریت مرجع کتابشناسی منبع باز نشان داده شده است.
DOI 10.1002/spe.2287
Cilt 45
مشاهده در منبع دانشگاه اوزیغین دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات
دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات دانشگاه اوزیغین

تجزیه و تحلیل کد استاتیک یکپارچه و تأیید زمان اجرا

نویسنده سوزر، حسن
تاریخ انتشار 2015-10
محل انتشار - وایلی
موضوع تایید نرم افزار، تایید زمان اجرا، تجزیه و تحلیل کد استاتیک، تبدیل مدل، یکپارچه سازی ابزار
نوع دوره ای
زبان انگلیسی
دیجیتال بله
نسخه خطی خیر
کتابخانه دانشگاه اوزیغین
شناسه دارایی کتابخانه 1097-024X
شماره ثبت 3148c4b7-ec38-41e5-95da-9391124210a5
محل کتابخانه علوم کامپیوتر
تاریخ 2015-10
یادداشت‌ها با توجه به محدودیت های کپی رایت، دسترسی به متن کامل این مقاله تنها از طریق اشتراک امکان پذیر است.
متن نمونه ابزارهای تجزیه و تحلیل کد استاتیک به طور خودکار هشدارهایی را برای خطاهای احتمالی نرم افزار ایجاد می کنند که می تواند منجر به خرابی شود. با این حال، این ابزارها معمولاً تعداد بسیار زیادی هشدار تولید می کنند که برخی از آنها در معرض مثبت کاذب هستند. به دلیل منابع محدود، معمولا بررسی همه هشدارها سخت است. به عنوان یک رویکرد مکمل، تکنیک‌های تأیید زمان اجرا رفتار سیستم پویا را با توجه به مجموعه‌ای از مشخصات تأیید می‌کنند. با این حال، این مشخصات معمولاً به صورت دستی بر اساس نیازمندی ها و محدودیت های سیستم ایجاد می شوند. در این مقاله، یک رویکرد جدید و یک زنجیره ابزار برای تجزیه و تحلیل کد استاتیک یکپارچه و تأیید زمان اجرا معرفی می‌کنیم. هشدارهایی که توسط ابزارهای تحلیل کد ایستا تولید می‌شوند، برای تولید خودکار مشخصات تأیید زمان اجرا استفاده می‌شوند. از سوی دیگر، نتایج تأیید زمان اجرا برای تولید خودکار فیلترها برای ابزارهای تجزیه و تحلیل کد استاتیک برای حذف موارد مثبت کاذب استفاده می شود. این رویکرد برای تجزیه و تحلیل استاتیک و تأیید زمان اجرا یک نرم‌افزار مدیریت مرجع کتابشناسی منبع باز نشان داده شده است.
DOI 10.1002/spe.2287
Cilt 45
دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات
دانشگاه اوزیغین شما در حال هدایت مجدد هستید...

لطفاً صبر کنید