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