بررسی قابلیت اطمینان در نرم افزارهای تله گذاری شده از روش تحلیلی و شبیه سازی
Publish place: 14th Annual Conference of Computer Society of Iran
Publish Year: 1387
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,587
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ACCSI14_058
تاریخ نمایه سازی: 26 مهر 1387
Abstract:
با روزافزون شدن استفاده از سیستم های نهفته در سال های اخیر و به دلیل اهمیت بالای توجه به تحمل پذیری اشکال در طراحی این سیستم ها، لازم است نرم افزارهای به کار گرفته شده در آن ها نیز تحمل پذیر اشکال شوند. یکی از مرسومترین انواع خطا های به وجود آمده در هنگام اجرای نرم افزار، خطاهای کنترل روند اجرا هستند . در مقالات گوناگون روش های متعددی برای کشف این نوع از خطاها در زمان اجرای نرم افزار معرفی شده اند . یکی از این روش ها، روش تله گذاری برنامه در حافظه است. در این مقاله قصد داریم ضمن بررسی دقیقتر این روش با تکیه بر چند فرض ساده کننده، یک مدل ریاضی برای به دست آوردن احتمال کشف خطای روند اجرا در هنگام اجرا شدن برنامه ارائه نماییم. به علاوه در این مقاله با تکیه بر شبیه سازی هایی که به کمک نرم افزار انجام داده ایم، نتایجی درباره تأثیر طول بسته های تله، طول فضای برنامه، طول فضای داده و مانند آن ها ، بر کارایی روش تله گذاری گردآوری کرده ایم.
Keywords:
نرم افزار تحمل پذیری اشکال , خطای کنترل روند اجرا , بسته کدهای تل های
Authors
سهیل امین زاده
دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف
سید قاسم میرعمادی
دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف
علیرضا اجلالی
دانشکده مهندسی کامپیوتر دانشگاه صنعتی شریف
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :