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

عنوان ایجاد مشخصات تأیید زمان اجرا بر اساس هشدارهای تجزیه و تحلیل کد استاتیک
نویسنده کیلیچ، یونس، سوزر، حسن
تاریخ انتشار: 2017
محل انتشار - ACM
موضوع تایید نرم افزار، تایید زمان اجرا، تجزیه و تحلیل کد استاتیک، تبدیل مدل، یکپارچه سازی ابزار
نوع سند
زبان انگلیسی
دیجیتال بله
نسخه خطی خیر
کتابخانه: دانشگاه اوزیغین
شناسه دارایی کتابخانه 978-1-4503-4486-9
شماره ثبت ed1899ad-f832-4a24-bfa2-383d44af8980
محل کتابخانه علوم کامپیوتر
تاریخ 2017
یادداشت‌ها با توجه به محدودیت های کپی رایت، دسترسی به متن کامل این مقاله تنها از طریق اشتراک امکان پذیر است.
متن نمونه تکنیک‌های تأیید زمان اجرا رفتار سیستم پویا را با توجه به مجموعه‌ای از مشخصات تأیید می‌کنند. این مشخصات اغلب به صورت دستی بر اساس نیازمندی ها و محدودیت های سیستم ایجاد می شوند. در این مقاله، ما یک رویکرد مبتنی بر قانون را برای تولید خودکار مشخصات تأیید زمان اجرا بر اساس هشدارهایی که توسط ابزارهای تحلیل کد استاتیک گزارش می‌شوند، معرفی می‌کنیم. ما مجموعه ای از قوانین را برای بررسی نوع هشدار تعریف می کنیم. نقض این قوانین نشان دهنده عدم وجود یا وجود یک اشکال واقعی است که توسط نمونه های آن نوع هشدار تعیین شده است. مشخصات تأیید رسمی به طور خودکار برای هر نمونه هشدار گزارش شده بر اساس قوانین تعریف شده ایجاد می شود. سپس، مانیتورهای زمان اجرا به طور خودکار سنتز و در سیستم یکپارچه می شوند. این مانیتورها خطاهای شناسایی شده یا هشدارهای مثبت کاذب را در حین اجرای نرم افزار گزارش می دهند. این رویکرد بر روی دو سیستم نرم افزار منبع باز اعمال می شود.
DOI 10.1145/3019612.3019822
مشاهده در منبع دانشگاه اوزیغین دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات
دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات دانشگاه اوزیغین

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

نویسنده کیلیچ، یونس، سوزر، حسن
تاریخ انتشار 2017
محل انتشار - ACM
موضوع تایید نرم افزار، تایید زمان اجرا، تجزیه و تحلیل کد استاتیک، تبدیل مدل، یکپارچه سازی ابزار
نوع سند
زبان انگلیسی
دیجیتال بله
نسخه خطی خیر
کتابخانه دانشگاه اوزیغین
شناسه دارایی کتابخانه 978-1-4503-4486-9
شماره ثبت ed1899ad-f832-4a24-bfa2-383d44af8980
محل کتابخانه علوم کامپیوتر
تاریخ 2017
یادداشت‌ها با توجه به محدودیت های کپی رایت، دسترسی به متن کامل این مقاله تنها از طریق اشتراک امکان پذیر است.
متن نمونه تکنیک‌های تأیید زمان اجرا رفتار سیستم پویا را با توجه به مجموعه‌ای از مشخصات تأیید می‌کنند. این مشخصات اغلب به صورت دستی بر اساس نیازمندی ها و محدودیت های سیستم ایجاد می شوند. در این مقاله، ما یک رویکرد مبتنی بر قانون را برای تولید خودکار مشخصات تأیید زمان اجرا بر اساس هشدارهایی که توسط ابزارهای تحلیل کد استاتیک گزارش می‌شوند، معرفی می‌کنیم. ما مجموعه ای از قوانین را برای بررسی نوع هشدار تعریف می کنیم. نقض این قوانین نشان دهنده عدم وجود یا وجود یک اشکال واقعی است که توسط نمونه های آن نوع هشدار تعیین شده است. مشخصات تأیید رسمی به طور خودکار برای هر نمونه هشدار گزارش شده بر اساس قوانین تعریف شده ایجاد می شود. سپس، مانیتورهای زمان اجرا به طور خودکار سنتز و در سیستم یکپارچه می شوند. این مانیتورها خطاهای شناسایی شده یا هشدارهای مثبت کاذب را در حین اجرای نرم افزار گزارش می دهند. این رویکرد بر روی دو سیستم نرم افزار منبع باز اعمال می شود.
DOI 10.1145/3019612.3019822
دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات
دانشگاه اوزیغین شما در حال هدایت مجدد هستید...

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