Loading...

Microservice Testing: A Formal Approach

Vahedifard, Sajjad | 2023

59 Viewed
  1. Type of Document: M.Sc. Thesis
  2. Language: Farsi
  3. Document No: 56713 (19)
  4. University: Sharif University of Technology
  5. Department: Computer Engineering
  6. Advisor(s): Mirian Hosseinabadi, Hassan
  7. Abstract:
  8. Microservice architecture is an expanding software architectural style that is fundamentally different from monolithic and layered architecture. Based on small services, microservice architecture offers advantages such as independence, composability, scalability, and fault tolerance. With the emergence of the microservice architectural style, the way software is understood and designed has changed. Therefore, there is a need for methods and tools that help solve the problem of describing and verifying the communicative behavior of microservice systems. In this thesis, a model-based testing method and a formal approach for validating and testing applications with microservice architecture are presented. This method can automatically translate application workflows into a formal description and, using the obtained description, validate the communicative structure of microservices, automatically generate test cases for it, and even execute the tests in a limited space. The proposed method is integrated into an existing tool for modeling business processes and has also been demonstrated using mutation analysis on examples taken from real systems, showing that the presented method is highly effective.
  9. Keywords:
  10. Microservice Architecture ; Model Driven Approach ; Formal Specification ; Workflow ; Microservices

 Digital Object List

 Bookmark

  • مقدمه
    • تعریف مسئله
    • اهمیت موضوع
    • اهداف پژوهش
    • ساختار پایان‌نامه
  • مفاهیم اولیه
    • مفاهیم مربوط به میکروسرویس
      • میکروسرویس
      • میکروسرویس‌ها (معماری میکروسرویس)
    • یاول
      • ساختار ذخیره‌سازی مدل‌ها در زبان یاول
    • الوی
      • تحلیل‌گر الوی
    • آزمون
  • کارهای پیشین
    • پژوهش‌های مربوط به آزمون میکروسرویس‌ها
      • آزمون خودکار
      • معماری
      • توسعه‌عملیات و یکپارچه‌سازی مستمر
      • عملکرد
      • آزمون مبتنی بر مدل
  • تحلیل و آزمون میکروسرویس‌ها مبتنی بر توصیف صوری گردش‌کاری آن
    • مدل‌سازی سیستم‌های پیچیده با معماری میکروسرویس در یاول
    • چارچوب کلی
    • واحد مترجم
      • توصیف مدل‌ها به زبان الوی
      • ساختار داخلی واحد مترجم
      • جای‌گذاری روش در ابزار ویرایش یاول
    • واحد تحلیل‌گر
    • واحد ایجاد‌کننده‌ی موارد آزمون
      • ساختار داخلی واحد ایجادکننده‌ی موارد آزمون
  • مورد مطالعاتی: برنامه‌ی خرید برخط
  • ارزیابی
    • معیارهای ارزیابی
    • ارزیابی برنامه‌ی ارائه‌ی محتوای چندرسانه‌ای
    • ارزیابی برنامه‌ی خرید برخط
  • نتیجه‌گیری و کارهای آینده
  • مراجع
  • واژه‌نامه
  • مطالب تکمیلی
  • توصیف صوری برنامه‌ی ارائه‌ی محتوای چندرسانه‌ای
  • ابزار ویرایش‌گر یاول
...see more