کتاب ساخت نرم‌افزار قابل اعتماد با Active Oberon: از طراحی ایمن تا آزمون و نگهداری با فرمت AZW3 برای کتابخوان کیندل و فرمت EPUB

🎓 دوره آموزشی جامع

📚 اطلاعات دوره

عنوان دوره: دوره ساخت نرم‌افزار قابل اعتماد با Active Oberon: از طراحی ایمن تا آزمون و نگهداری

موضوع کلی: مهندسی نرم‌افزار قابل اعتماد

موضوع میانی: برنامه‌نویسی سیستمی با Active Oberon

📋 سرفصل‌های دوره

• 1. چرا نرم‌افزار قابل اعتماد می‌سازیم؟
• 2. اصول طراحی نرم‌افزار قابل اعتماد
• 3. Active Oberon و فلسفه زبان
• 4. نقش کامپایلر و کتابخانه استاندارد
• 5. راه‌اندازی محیط توسعه Active Oberon
• 6. اولین برنامه و چرخه ساخت و اجرا
• 7. فایل‌ها و واحدهای کامپایل
• 8. شناسه‌ها، واژه‌های کلیدی و ساختار متن
• 9. نوع‌های داده و مقدارهای ثابت
• 10. متغیرها، تخصیص و محدوده
• 11. عملگرها و عبارت‌ها
• 12. شرط‌ها و حلقه‌ها
• 13. آرایه‌ها و رشته‌ها
• 14. آرایه‌های باز و ورودی‌های دنباله‌ای
• 15. ساختارهای record و داده‌های ترکیبی
• 16. تخصیص پویا و ساختارهای داده پویا
• 17. مجموعه‌ها و فایل‌ها
• 18. توابع و رویه‌ها
• 19. انتقال پارامترها و قراردادهای مقدار
• 20. بازگشتی و وضعیت محلی
• 21. ماژول‌ها و مرزهای عمومی
• 22. واردکردن و صادرکردن ماژول‌ها
• 23. وابستگی‌ها و گراف کامپایل
• 24. مقداردهی و پایان‌یابی ماژول‌ها
• 25. کپسول‌سازی و پنهان‌سازی داده
• 26. طراحی API ماژول‌ها
• 27. کتابخانه‌های قابل‌بازاستفاده
• 28. ماژول‌های عمومی و پارامتریک
• 29. مدل‌سازی نوع‌های انتزاعی
• 30. داده‌های انتزاعی و عملیات مجاز
• 31. قوانین تبدیل و اعتبار نوع‌ها
• 32. قراردادهای برنامه‌نویسی
• 33. پیش‌شرط‌ها، پس‌شرط‌ها و ویژگی‌ها
• 34. استفاده از ASSERT برای بررسی قراردادهای运行时
• 35. استثنائ‌ها و سلسله‌مراتب خطا
• 36. انتخاب سطح برخورد با خطا
• 37. انتشار کنترل‌شده استثنائ‌ها
• 38. اعتبارسنجی ورودی‌ها
• 39. برنامه‌نویسی دفاعی
• 40. طراحی قطعی و رفتار قابل‌پیش‌بینی
• 41. مدیریت منابع و حافظه
• 42. بررسی محدوده و ایمنی حافظه
• 43. ورودی و خروجی فایل
• 44. استفاده از کتابخانه استاندارد
• 45. سازمان‌دهی بسته‌ها و وابستگی‌ها
• 46. ثبت خطا و ردیابی اجرا
• 47. برنامه آزمون و راهبرد پوشش
• 48. آزمون واحد
• 49. هارنس آزمون و داده آزمایش
• 50. طراحی نمونه‌آزمون‌ها
• 51. ارزش‌های مرزی و هم‌ارزی
• 52. آزمون‌های ویژگی
• 53. آزمون مبتنی بر مدل
• 54. پوشش کد و تحلیل نتایج
• 55. آزمون رگرسیون و تکرارپذیری نتایج
• 56. تزریق خطا و آزمون شرایط نادر
• 57. عیب‌یابی ساختاری
• 58. پروفایلینگ و بهینه‌سازی بدون کاهش قابلیت اطمینان
• 59. مستندسازی فنی و تصمیم‌های طراحی
• 60. مشخص‌سازی رسمی رفتار
• 61. الزامات اثبات و گواه‌های درستی
• 62. حفظ ویژگی‌ها و اثبات توقف
• 63. مدل‌سازی و بررسی مدل
• 64. آزمون یکپارچه‌سازی و سیستم
• 65. مطالعه موردی: طراحی معماری یک ماژول پایدار
• 66. پیاده‌سازی مطالعه موردی
• 67. اعتبارسنجی و تثبیت مطالعه موردی
• 68. نگهداری، بازآرایی و تکامل ایمن
• 69. فهرست کنترل انتشار نرم‌افزار قابل اعتماد
• 70. پروژه پایانی: ساخت و آزمون یک ماژول قابل اعتماد