Contract-based automated testing framework for event-driven microservices utilizing large language models
Büyük dil modellerini kullanan olay odaklı mikroservisler için sözleşme tabanlı otomatik test çerçevesi
- Tez No: 951502
- Danışmanlar: PROF. DR. TUĞKAN TUĞLULAR
- Tez Türü: Yüksek Lisans
- Konular: Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve Kontrol, Computer Engineering and Computer Science and Control
- Anahtar Kelimeler: Bileşen yönelimli yazılım, Bilgisayar yazılımları, Denetim yazılımı, Uygulama yazılımı, Component oriented software, Computer softwares, Control software, Application software
- Yıl: 2025
- Dil: İngilizce
- Üniversite: İzmir Yüksek Teknoloji Enstitüsü
- Enstitü: Lisansüstü Eğitim Enstitüsü
- Ana Bilim Dalı: Bilgisayar Mühendisliği Ana Bilim Dalı
- Bilim Dalı: Belirtilmemiş.
- Sayfa Sayısı: Belirtilmemiş.
Özet
Olay odaklı mikroservis mimarileri modern yazılımların temelini oluşturdukça, güvenilir test tekniklerine duyulan ihtiyaç kritik hale gelmektedir. Bu sistemlerin eş zamansız ve dağıtık yapısı, doğruluğu garanti etmeyi ve hataları tespit etmeyi zorlaştırmaktadır. Geleneksel test yöntemleri bu dinamik davranışlar için yetersiz kaldığından, gelişmiş ve otomatik çözümlere ihtiyaç duyulmaktadır. Bu tez, olay odaklı mikroservisler için sözleşme tabanlı üretimi (OpenAPI), davranış odaklı geliştirmeyi (Gherkin), mutasyon testini (Stryker) ve LLM destekli senaryo üretimini birleştiren bir otomatik test çerçevesi sunmaktadır. Çerçeve, gerçekçi ve sınır odaklı test senaryoları üretmek için özellikle Ollama üzerinden yerel olarak çalıştırılan LLaMA-3 modeline odaklanmaktadır. Bu yaklaşım, GPT-4, Gemini veya Claude gibi bulut tabanlı modellerin getirdiği kullanım limiti, maliyet ve veri gizliliği risklerinden kaçınmayı sağlamıştır. Ampirik değerlendirme için, Ming Teknoloji A.Ş. bünyesinde çalışan iki gerçek üretim (production) mikroservisi, bu tez kapsamında“Nearmiss”ve“Suggestion”olarak adlandırılarak vaka analizi olarak kullanılmıştır. API sözleşmelerinden oluşturulan test koleksiyonları Postman/Newman CLI ile çalıştırılmış ve CI/CD entegrasyonu sağlanmıştır. Sözleşmelerin otomatik olarak çalıştırılabilir BDD senaryolarına dönüştürülmesi, şartname ve doğrulama arasında sorunsuz bir köprü kurmuştur. Sonuçlar, bu çerçevenin geliştirme verimliliğini, test kapsamını ve hata tespitini önemli ölçüde artırdığını göstermektedir. Yapay zekâ ve geleneksel araçların birleşimi, eşzamansız hizmet etkileşimlerini doğrulamak için ölçeklenebilir ve sağlam bir yöntem sunarak olay odaklı mikroservislerin güvenilirliğini sağlamaya yönelik pratik bir katkı sağlamaktadır.
Özet (Çeviri)
As event-driven microservice architectures become foundational to modern software, the need for reliable testing techniques is critical. These systems' asynchronous and dispersed nature makes it challenging to guarantee correctness and identify flaws. Conventional testing methods are often inadequate for these dynamic behaviors, creating a need for advanced, automated solutions. This thesis presents an automated testing framework for event-driven microservices, combining contract-based generation (OpenAPI), behavior-driven development (Gherkin), mutation testing (Stryker), and LLM-assisted scenario generation. The framework deliberately centers on a locally hosted LLaMA-3 model via Ollama to generate realistic, boundary-oriented test cases, avoiding the rate limits, costs, and privacy risks of cloud-based models like GPT-4, Gemini, or Claude. For empirical assessment, two production microservices from Ming Teknoloji A.Ş. presented for clarity as the“Nearmiss”and“Suggestion”APIs, were used. Test collections from API contracts were executed via the Postman/Newman CLI, with scripts enabling CI/CD integration. Furthermore, automated conversion of contracts into executable BDD scenarios provided a seamless bridge between specification and validation. The results demonstrate that this framework significantly enhances development efficiency, test coverage, and fault detection. The blend of Al-driven techniques with traditional tools offers a scalable and robust method for validating asynchronous service interactions, contributing a practical and intelligent approach to ensuring the dependability of event-driven microservices.
Benzer Tezler
- Derin öğrenme modellerinin transfer öğrenme ile farklı veri setleri üzerindeki performanslarının karşılaştırılması
Comparative performance analysis of deep learning models on different datasets using transfer learning
GÜLAHMET YILDIZ
Yüksek Lisans
Türkçe
2025
Bilgisayar Mühendisliği Bilimleri-Bilgisayar ve KontrolSakarya ÜniversitesiBilişim Sistemleri Mühendisliği Ana Bilim Dalı
DR. ÖĞR. ÜYESİ BURCU ÇARKLI YAVUZ
- IEEE 1149.1 standardı kullanarak test edilebilir lojik devre tasarımı
Testable lojik circit design by using IEEE 1149.1 standard
A.BETÜL TUNCER
Yüksek Lisans
Türkçe
1992
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiPROF. DR. AHMET DERVİŞOĞLU
- Meme kanseri tanısı için gelişmiş yapay zeka tabanlı çok aşamalı tespit sistemi
Advanced artificial intelligence based multi-stage detection system for breast cancer diagnosis
ABDUL SAMAD
Yüksek Lisans
Türkçe
2026
Elektrik ve Elektronik MühendisliğiSakarya ÜniversitesiElektrik-Elektronik Mühendisliği Ana Bilim Dalı
DOÇ. DR. MUHAMMED KÜRŞAD UÇAR
- Modelling prefrontal cortex functions by using neural networks
Korteks işlevlerinin yapay sinir ağları ile modellenmesi
GÜLAY KAPLAN BÜYÜKAKSOY
Doktora
İngilizce
2003
Elektrik ve Elektronik Mühendisliğiİstanbul Teknik ÜniversitesiElektronik ve Haberleşme Mühendisliği Ana Bilim Dalı
PROF. DR. CÜNEYT GÜZELİŞ
YRD. DOÇ. DR. NESLİHAN ŞENGÖR
- Değişik derim zamanı ve önsoğutmanın Bursa siyahı incir çeşidinin meyve kalitesi ve pazarlama süresi üzerine etkileri
Effects of haruest time and precooling on fruit quality and shelf-life of the fig variety“Bursa siyahı”
FÜSUN GÜRSEL ÇELİKEL