• مقدمه (11)
  • تعریف مسئله (11)
  • اهمیت موضوع (13)
  • اهداف پژوهش (14)
  • ساختار پایان‌نامه (15)
• مفاهیم اولیه (16)
  • مفاهیم مربوط به میکروسرویس (16)
    • میکروسرویس (16)
    • میکروسرویس‌ها (معماری میکروسرویس) (17)
  • یاول (18)
    • ساختار ذخیره‌سازی مدل‌ها در زبان یاول (20)
  • الوی (21)
    • تحلیل‌گر الوی (24)
  • آزمون (25)
• کارهای پیشین (35)
  • پژوهش‌های مربوط به آزمون میکروسرویس‌ها (35)
    • آزمون خودکار (36)
    • معماری (36)
    • توسعه‌عملیات و یکپارچه‌سازی مستمر (37)
    • عملکرد (38)
    • آزمون مبتنی بر مدل (38)
• تحلیل و آزمون میکروسرویس‌ها مبتنی بر توصیف صوری گردش‌کاری آن (40)
  • مدل‌سازی سیستم‌های پیچیده با معماری میکروسرویس در یاول (40)
  • چارچوب کلی (41)
  • واحد مترجم (42)
    • توصیف مدل‌ها به زبان الوی (42)
    • ساختار داخلی واحد مترجم (44)
    • جای‌گذاری روش در ابزار ویرایش یاول (47)
  • واحد تحلیل‌گر (47)
  • واحد ایجاد‌کننده‌ی موارد آزمون (50)
    • ساختار داخلی واحد ایجادکننده‌ی موارد آزمون (51)
• مورد مطالعاتی: برنامه‌ی خرید برخط (55)
• ارزیابی (67)
  • معیارهای ارزیابی (67)
  • ارزیابی برنامه‌ی ارائه‌ی محتوای چندرسانه‌ای (68)
  • ارزیابی برنامه‌ی خرید برخط (69)
• نتیجه‌گیری و کارهای آینده (74)
• مراجع (77)
• واژه‌نامه (81)
• مطالب تکمیلی (85)
• توصیف صوری برنامه‌ی ارائه‌ی محتوای چندرسانه‌ای (98)
• ابزار ویرایش‌گر یاول (102)