اصول و استانداردهای برنامه ‏نویسی ایمن برای سامانه های نهفته و کارکرد بحرانی

از {{model.count}}
450,000 تومان
محصول مورد نظر موجود نمی‌باشد.
تعداد
نوع
  • {{value}}
کمی صبر کنید...

ناشر: اندیشگاه فناوری‌های نوین  -  گردآوری و تالیف: محمدمحسن امیری، موسی محمدنیا، آزاده مختارپور، مرتضی معمر  -   سال چاپ: 1396   -   450 صفحه - قطع وزیری - سیاه و سفید  -  شابک: 9786008290285

فهرست مطالب
فصل 1: مقدمه‌ای بر سامانه‌های کامپیوتری و اهمیت کدنویسی در آن‌ها
1ـ1. مقدمه
1ـ2. مفاهیم اولیه
1ـ2ـ1. اتکاپذیری
1ـ2ـ2. تهدیدات اتکاپذیری
1ـ2ـ3. قابلیت اطمینان
1ـ2ـ4. قابلیت دسترسی
1ـ2ـ5. ایمنی
1ـ2ـ6. قابلیت نگه داشت
1ـ2ـ7. امنیت
1ـ2ـ8. آزمون‌پذیری
1ـ3. مثال‌هایی از خرابی در نرم‌افزار
1ـ4. راه‌های مقابله با اشکالات نرم‌افزاری
1ـ4ـ1. اجتناب از اشکال
1ـ4ـ2. تحمل اشکال
1ـ5. استانداردهای کدنویسی ایمن
1ـ5ـ1. زبان برنامه‌نویسی ++C و سامانه‌های بحرانی-ایمن
1ـ5ـ2. دلایل کاربرد زبان برنامه‌نویسی ++C در سامانه‌های بحرانی
1ـ5ـ3. استفاده از ++C برای سامانه‌های مبتنی بر ایمنی
1ـ5ـ4. دلایل استفاده از استانداردهای جامع کدنویسی در توسعه سامانه‌های بحرانی
1ـ6. جمع‌بندی
فصل 2: استاندارد کدنویسی MISRA
2ـ1. مقدمه‌
2ـ2. دلایل ظهور استانداردهای متفاوت
2ـ3. انتخاب استانداردی جامع
2ـ4. استاندارد کدنویسی MISRA C++
2ـ4ـ1. مسائل مستقل از زبان برنامه‌نویسی
2ـ4ـ2. قوانین عمومی
2ـ4ـ3. قواعد لغوی
2ـ4ـ4. مفاهیم اولیه
2ـ4ـ5. تبدیلات استاندارد
2ـ4ـ6. عبارات
2ـ4ـ7. بیانیه‌ها
2ـ4ـ8. اعلان‌ها
2ـ4ـ9. اعلان‌ کننده‌ها
2ـ4ـ10. کلاس‌ها
2ـ4ـ11. کلاس‌های مشتق شده
2ـ4ـ12. کنترل دسترسی به اعضا
2ـ4ـ13. توابع عضو خاص
2ـ4ـ14. الگوها
2ـ4ـ15. رسیدگی به استثنا
2ـ4ـ16. راهنماهای پیش پردازش
2ـ4ـ17. معرفی کتابخانه
2ـ4ـ18. کتابخانه پشتیبانی شده توسط زبان
2ـ4ـ19. کتابخانه‌های تشخیصی
2ـ4ـ20. کتابخانه ورودی/خروجی
2ـ5. جمع‌بندی
فصل 3: ابزار Understand برای وارسی ایستای کد بر اساس استاندارد MISRA
3ـ1. مقدمه
3ـ2. ابزارهای تحلیل کد
3ـ2ـ1. نقص‌های اساسی و ذاتی در تحلیل کد باینری
3ـ2ـ2. مزایای تحلیل کد منبع
3ـ3. مقایسه ابزارهای تحلیل کد
3ـ4. انتخاب ابزاری مناسب منطبق بر استاندارد برگزیده
3ـ5. معرفی ابزار Understand
3ـ5ـ1. ایجاد یک پروژه جدید در ابزار Understand
3ـ5ـ2. شناخت کد
3ـ5ـ3. معیارها و گزارش‌ها
3ـ5ـ4. گراف‌ها
3ـ5ـ5. تست استانداردها
3ـ5ـ6. تجزیه‌وتحلیل وابستگی‌ها
3ـ5ـ7. ویرایشگر
3ـ5ـ8. جستجو
3ـ5ـ9. زبان

دیدگاه خود را بنویسید

  • {{value}}
این دیدگاه به عنوان پاسخ شما به دیدگاهی دیگر ارسال خواهد شد. برای صرف نظر از ارسال این پاسخ، بر روی گزینه‌ی انصراف کلیک کنید.
دیدگاه خود را بنویسید.
کمی صبر کنید...