فلش‌کارت‌های آموزشی طراحی و اعتبارسنجی نرم‌افزار با قراردادهای قابل اثبات

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

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

عنوان دوره: دوره طراحی و اعتبارسنجی نرم‌افزار با قراردادهای قابل اثبات

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

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

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

• 1. مقدمه‌ای بر مهندسی نرم‌افزار امن
• 2. مبانی قراردادهای قابل اثبات
• 3. مفهوم صحت و اطمینان در نرم‌افزار
• 4. انواع قراردادهای نرم‌افزاری
• 5. قراردادهای پیش‌شرط و پس‌شرط
• 6. قراردادهای ناوردایی (Invariants)
• 7. زبان‌های توصیف قرارداد
• 8. ابزارهای تحلیل ایستا
• 9. روش‌های اثبات صحت برنامه‌ها
• 10. مدل‌های صوری برای نرم‌افزار
• 11. مبانی منطق موجهات (Modal Logic)
• 12. منطق هوپ (Hoare Logic)
• 13. نظریه نوع (Type Theory)
• 14. مفهوم انتزاع (Abstraction)
• 15. مدل‌های داده‌ای انتزاعی
• 16. طراحی بر اساس قرارداد
• 17. اصول SOLID در طراحی شیءگرا
• 18. اصل مسئولیت واحد (SRP)
• 19. اصل باز/بسته (OCP)
• 20. اصل جایگزینی لیسکوف (LSP)
• 21. اصل تفکیک رابط (ISP)
• 22. اصل وارونگی وابستگی (DIP)
• 23. اصول طراحی ماژولار
• 24. معماری نرم‌افزار و قراردادها
• 25. الگوهای طراحی (Design Patterns)
• 26. الگوهای GRASP
• 27. الگوی کارخانه (Factory Pattern)
• 28. الگوی استراتژی (Strategy Pattern)
• 29. الگوی مشاهده‌گر (Observer Pattern)
• 30. الگوی تزئین‌گر (Decorator Pattern)
• 31. الگوی سازنده (Builder Pattern)
• 32. الگوی پروتوتایپ (Prototype Pattern)
• 33. الگوی پل (Bridge Pattern)
• 34. الگوی کامپوزیت (Composite Pattern)
• 35. الگوی نما (Facade Pattern)
• 36. الگوی پروازگر (Flyweight Pattern)
• 37. الگوی پل میانجی (Mediator Pattern)
• 38. الگوی حافظه (Memento Pattern)
• 39. الگوی نماینده (Proxy Pattern)
• 40. الگوی فرمان (Command Pattern)
• 41. الگوی تفسیرگر (Interpreter Pattern)
• 42. الگوی زنجیره مسئولیت (Chain of Responsibility)
• 43. الگوی مراجعه‌کننده (Visitor Pattern)
• 44. الگوی وضعیت (State Pattern)
• 45. الگوی سبکی (Adapter Pattern)
• 46. اعتبارسنجی قراردادها
• 47. تست واحد (Unit Testing)
• 48. تست یکپارچه‌سازی (Integration Testing)
• 49. تست پذیرش (Acceptance Testing)
• 50. تست بار (Load Testing)
• 51. تست استرس (Stress Testing)
• 52. تست امنیتی (Security Testing)
• 53. تست نفوذ (Penetration Testing)
• 54. تست کارایی (Performance Testing)
• 55. تست قابلیت استفاده (Usability Testing)
• 56. روش‌های اعتبارسنجی صوری
• 57. مدل‌چک کردن (Model Checking)
• 58. اثبات مبتنی بر قضیه (Theorem Proving)
• 59. تکنیک‌های نمونه‌سازی (Fuzzing)
• 60. تحلیل پوشش کد (Code Coverage Analysis)
• 61. تحلیل پوشش مسیر (Path Coverage Analysis)
• 62. مدیریت الزامات و قراردادها
• 63. نقش قراردادها در چرخه عمر نرم‌افزار
• 64. توسعه مبتنی بر قرارداد (Contract-Driven Development)
• 65. مدیریت تغییرات قرارداد
• 66. مستندسازی قراردادها
• 67. ابزارهای خودکارسازی اعتبارسنجی
• 68. تحلیل ریسک نرم‌افزار
• 69. اصول مهندسی نرم‌افزار ایمن
• 70. ملاحظات امنیتی در طراحی
• 71. جلوگیری از آسیب‌پذیری‌های رایج
• 72. امنیت داده‌ها در نرم‌افزار
• 73. رمزنگاری در نرم‌افزار
• 74. مدیریت کلیدهای رمزنگاری
• 75. احراز هویت کاربران
• 76. مدیریت مجوزها و دسترسی‌ها
• 77. امنیت شبکه در نرم‌افزار
• 78. پروتکل‌های ارتباطی امن
• 79. امنیت پایگاه داده
• 80. جلوگیری از حملات تزریق (Injection Attacks)
• 81. جلوگیری از حملات XSS
• 82. جلوگیری از حملات CSRF
• 83. قوانین و مقررات مرتبط با امنیت نرم‌افزار
• 84. استانداردهای امنیتی بین‌المللی (ISO 27001)
• 85. استانداردهای امنیتی داخلی
• 86. اصول توسعه نرم‌افزار امن (Secure Software Development Lifecycle - SSDLC)
• 87. مراحل SSDLC
• 88. طراحی امن
• 89. کدنویسی امن
• 90. تست امنیتی
• 91. استقرار امن
• 92. نگهداری امن
• 93. مدیریت حوادث امنیتی
• 94. آموزش و فرهنگ‌سازی امنیت
• 95. استفاده از ابزارهای تحلیل کد امن (SAST)
• 96. استفاده از ابزارهای تحلیل پویا (DAST)
• 97. بررسی‌های امنیتی کد (Code Reviews)
• 98. پاسخ به حوادث امنیتی
• 99. بازیابی اطلاعات
• 100. درس‌های آموخته از حوادث امنیتی