CIVILICA We Respect the Science
(ناشر تخصصی کنفرانسهای کشور / شماره مجوز انتشارات از وزارت فرهنگ و ارشاد اسلامی: ۸۹۷۱)

گواهی نمایه سازی مقاله بررسی قابلیت اطمینان در نرم افزارهای تله گذاری شده از روش تحلیلی و شبیه سازی

عنوان مقاله: بررسی قابلیت اطمینان در نرم افزارهای تله گذاری شده از روش تحلیلی و شبیه سازی
شناسه (COI) مقاله: ACCSI14_058
منتشر شده در چهاردهمین کنفرانس سالانه انجمن کامپیوتر ایران در سال ۱۳۸۷
مشخصات نویسندگان مقاله:

سهیل امین زاده - دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف
سید قاسم میرعمادی - دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف
علیرضا اجلالی - دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف

خلاصه مقاله:
با روزافزون شدن استفاده از سیستم های نهفته در سال های اخیر و به دلیل اهمیت بالای توجه به تحمل پذیری اشکال در طراحی این سیستم ها، لازم است نرم افزارهای به کار گرفته شده در آن ها نیز تحمل پذیر اشکال شوند. یکی از مرسومترین انواع خطا های به وجود آمده در هنگام اجرای نرم افزار، خطاهای کنترل روند اجرا هستند . در مقالات گوناگون روش های متعددی برای کشف این نوع از خطاها در زمان اجرای نرم افزار معرفی شده اند . یکی از این روش ها، روش تله گذاری برنامه در حافظه است. در این مقاله قصد داریم ضمن بررسی دقیقتر این روش با تکیه بر چند فرض ساده کننده، یک مدل ریاضی برای به دست آوردن احتمال کشف خطای روند اجرا در هنگام اجرا شدن برنامه ارائه نماییم. به علاوه در این مقاله با تکیه بر شبیه سازی هایی که به کمک نرم افزار انجام داده ایم، نتایجی درباره تأثیر طول بسته های تله، طول فضای برنامه، طول فضای داده و مانند آن ها ، بر کارایی روش تله گذاری گردآوری کرده ایم.

کلمات کلیدی:
نرم افزار تحمل پذیری اشکال، خطای کنترل روند اجرا، بسته کدهای تل های

صفحه اختصاصی مقاله و دریافت فایل کامل: https://www.civilica.com/Paper-ACCSI14-ACCSI14_058.html