Master Degree / Yüksek Lisans Tezleri
Permanent URI for this collectionhttps://hdl.handle.net/11147/3008
Browse
2 results
Search Results
Now showing 1 - 2 of 2
Master Thesis Testing Microservice Applications(2023) Öztürk, Özgür; Ayav, Tolga; Demirörs, OnurThis 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 capabilityMaster Thesis Generation and Characterization of Three Dimensional Organotypic Kid Syndrome Skin Model(Izmir Institute of Technology, 2017) Öztürk, Özgür; Meşe Özçivici, GülistanKeratitis, ichthyosis, deafness (KID) syndrome is a rare genetic disorder caused by connexin 26 gene mutation that shows quite debilitating and horrific effects on patients. Syndrome itself is complex and 2D culture methods fail to provide complex and close to real conditions to investigate KID syndrome. Our goal is to construct organotypic 3D skin model for the KID syndrome. First of all, stable cell lines expressing wild type and D50Y mutant Cx26 protein were generated. Immunostaining, Western blot and qRT-PCR analysis confirmed Cx26 expression in stable cell lines, meaning these cell lines can be utilized to construct 3D skin model. In order to generate organotypic KID syndrome skin models, commercially available transwell inserts were used. Constructs were prepared by plating fibroblast-collagen mixture in inserts and then plating generated stable cell lines on top of the fibroblast-collagen layer. Then immunostaining was performed on generated skin constructs. Immunostaining of cytokeratin 14 confirmed that 3D model has basal layer of the epidermis. Also, KID skin model with Whatman paper was conducted as an alternative to transwell inserts. Phalloidin staining results showed that generated cell lines formed 3D structures within cellulose fibers. Furthermore; Cx43-Cx26 interaction and cell viability were investigated in stable HaCaT cells. Western blot results showed that increase in Cx26 protein, wild type or mutant, caused an increase in Cx43 levels. According to MTT assay, increase of wild type or D50Y mutant Cx26 did not change cell viability. Overall with these findings, provides a new point of view for KID syndrome mechanism and treatment.
