Search Results

Now showing 1 - 2 of 2

Modeling Microservice Based Applications: Model Lives Inside Code Approach
(01. Izmir Institute of Technology, 2024) Ersoy, Eyüp Fatih; Demirörs, Onur
In today's software development, maintaining consistent documentation is crucial for sharing and preserving team knowledge. As projects grow more complex, developers need to quickly understand and maintain code. However, keeping documentation aligned with business logic without unnecessary technical details is challenging. Traditional visualization tools like UML, sequence, and activity diagrams focus on object-oriented approaches and often require manual updates, making them less suitable for event-based systems like microservices. To address these issues, the tool Docupyt was developed using eEPC (Extended Event Process Chains) as the main modeling approach. Docupyt is designed with three key principles: ease of use, simplicity (including only necessary logic), and reactivity (representing event-based systems). eEPC notation helps analyze problems and represent changing logic during development, accommodating fast-changing requirements. It supports both high and low-level process definitions and focuses on business logic without extraneous technical details. Generated directly from code through simple commenting, this approach simplifies updating documentation as the code changes, reducing maintenance costs. Using the design science research method, Docupyt was validated in a case study, demonstrating it is user-friendly and provides adequate detail without being overly technical. Its main advantage is keeping documentation in sync with code logic, easing updates.
Testing Microservice Applications
(2023) Öztürk, Özgür; Ayav, Tolga; Demirörs, Onur
This thesis contributes to the testing processes of microservice architecture. Microservices provide a scalable, reliable and cloud-based environment that is frequently preferred in today's technology applications. It consists of small, loosely coupled, isolated applications that work in harmony. In this study, microservice application is modeled using timed automata and model checker-based testing methods are exploited to generate test cases automatically. To this end, UPPAAL model checker tool is utilized. The model of the microservice application is mutated with respect to a set of fault hypotheses and these mutant models are verified against certain properties defined by system or application specifications. The returned counterexamples from the model checker are used to constitute the test cases. The entire process is automated and experimentally run for an example application. The generated test cases are also shown to be efficiently detect the errors. The proposed testing methodology has the benefits like a faster test generation process and achieving test cases with better fault detection capability

Master Degree / Yüksek Lisans Tezleri

Browse

Filters

Settings

Sort By

Results per page

Search Results