Loading...
| Friend's email | |
| Your name | |
| Your email | |
| enter code | |
This page was sent successfuly
- Type of Document: M.Sc. Thesis
- Language: Farsi
- Document No: 56713 (19)
- University: Sharif University of Technology
- Department: Computer Engineering
- Advisor(s): Mirian Hosseinabadi, Hassan
- Abstract:
- 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.
- Keywords:
- Microservice Architecture ; Model Driven Approach ; Formal Specification ; Workflow ; Microservices
Digital Object List
محتواي کتاب
Bookmark