TR Dizin İndeksli Yayınlar / TR Dizin Indexed Publications Collection
Permanent URI for this collectionhttps://hdl.handle.net/11147/7149
Browse
4 results
Search Results
Publication Çevik Yazılım Ürün Hatları için Olay Sıra Çizge Tabanlı Test Üretim Yöntemi Geliştirilmesi(2020) Beyazıt, Mutlu; Tuğlular, Tuğkan; Özdemirden, Ahmet Şemsettin; Kaya, Dilek Öztürk; Coşkun, Deniz Egemen; 01. Izmir Institute of Technology; 03. Faculty of Engineering; 03.04. Department of Computer EngineeringBu projede, çevik yazılım ürün hatları için olay sıra çizgeleri tabanlı test üretimi yöntemi geliştirilmiştir. Etkileşimli ve reaktif sistemlerin modellenmesi için uygun olan olay sıra çizgeleri formel bir modelleme yaklaşımı olup, 2001 yılından bu yana model temelli testlerin otomatik üretilmesi için kullanılmaktadır. Bu projede, olay sıra çizgeleri çevik yazılım ürün hatları için özelleştirilip genişletilmiş ve özellikli olay sıra çizgeleri modelleme yaklaşımı olarak ortaya konmuştur. Ayrıca, özellikli olay sıra çizgeleri ile otomatik test üretme yöntemi geliştirilmiştir. Yazılım hattında ürünler varlık bileşenlerinin tekrar kullanımı ile oluşturulmaktadır. Benzer şekilde, bu proje ile ürün testlerinin de var olan testlerinin tekrar kullanımı ile oluşturulması mümkün kılınmıştır. Proje kapsamında, çevik yazılım ürün hatları test süreçleri başarısının artırılması ve maliyetlerinin düşürülmesi için; otomatik üretilebilir, tekrar kullanılabilir, yapılandırılabilir, kapsamı ölçülebilir, birleştirilebilir, fonksiyonel test üretim yöntemi geliştirilmesi başarılmıştır. Çevik yazılım ürün hatlarını modelleme için kullanılacak modelleme yazılımı ile bu modellerden otomatik test üretimini gerçekleştirecek test üretim yazılımı kodlanmış ve bir web uygulaması olarak kullanıma sunulmuştur. Ayrıca, proje kapsamında geliştirilen modelleme yöntemi kullanılarak bir çevik yazılım ürün hattı geliştirilmiş ve bu çevik yazılım ürün hattı ürünleri yine projede geliştirilen yöntem ve araç kullanılarak otomatik olarak test edilmiştir.Article Nesneye Yönelik Programlamada Sınıf Test Üretimi için Olay Temelli Bir Yaklaşım Önerisi(2023) Tuğlular, Tuğkan; Tuğlular, Tuğkan; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of TechnologyNesneye yönelik programlamada yaşam döngüsü bulunan nesneleri temsil eden sınıfların test edilmesi önemlidir. Sınıf testleri, metot testleri ile hata bulunmadığı aşamada çalıştırılması gereken testlerdir. Metot testleri bir metodun girdi ve çıktı bağlamında beklendiği gibi çalıştığını doğrularken, sınıf testleri bir sınıfın farklı metot çağrıları karşısında geçerli bir durumda kaldığını ve beklendiği gibi yanıt verdiğini teyit eder. Metotlarının doğru çalışması bir sınıfın doğru çalıştığını göstermeyeceği için sınıf testleri önemlidir. Bu çalışmada sınıf testleri için olay temelli bir yaklaşım önerilmiştir. Bu öneri içinde formel Olay Sıra Çizgesi (OSÇ) kullanılmıştır. OSÇ’ler, Sonlu Durum Makineleri (SDM) üzerinden üretilebilen yönlü çizgeler olup çizge teorisinin algoritmalarını SDM’lerden farklı olarak doğrudan kullanabilmektedir. Bu avantajına ek olarak kodlama tarafında yine bu çalışmada önerilen şablonların kullanılması durumunda OSÇ’ler ile sınıf metotların eşleşmesi doğrudan ve hızlıca sağlanabilmektedir. OSÇ’ler için otomatik test üreten bir aracın varlığı ise bu çalışmayı doğrudan kullanılabilir kılmaktadır. Önerilen yaklaşım karmaşık bir yaşam döngüsüne sahip klima kontrol ünitesi sınıfı üzerinde doğrulanmıştır.Article Yazılım Ürün Hatlarında Tam Üründen Özellik Eksiltme Yoluyla Frklı Ürün Yapılandırmalarını Otomatik Üretme Yöntemi(2023) Öztürk Kaya, Dilek; Tuğlular, Tuğkan; Tuğlular, Tuğkan; Öztürk, Dilek; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of TechnologyYazılım ürün hattı (YÜH) karmaşık, büyük ölçekli ve ürün yapılandırması bakımından zengin yazılım sistemleri geliştirmek için gelelecek vadeden bir yaklaşımdır. Yazılım ürün hattındaki sayısı çok fazla olabilen ürün yapılandırmalarına ait modellerin otomatik elde edilmesi zaman ve maliyet kısıtları açısından oldukça önemlidir. Bu çalışmada, ürün modellerini daha üretken ve etkili şekilde elde edebilmek için, tam ürün modelinden, özellik eksiltme yoluyla farklı ürün yapılandırmalarına ait modelleri otomatik olarak elde etmeyi sağlayan bir yaklaşım önerdik. Önerilen yaklaşımı İçecek Otomatı YÜH, Banka Hesabı YÜH ve Öğrenci Yoklama Sistemi YÜH isimli üç farklı vaka çalışması üzerinde denedik. Özellik-bağımlılık ağacı ve dinamik kenar eşleme algoritması bu çalışmada önerilen özgün kavramlardır.Article Bağlamsal Doğrulama için Bir Yazılım Tasarım Şablonu(Dokuz Eylül Üniversitesi, 2017) Tuğlular, Tuğkan; Tuğlular, Tuğkan; 03.04. Department of Computer Engineering; 03. Faculty of Engineering; 01. Izmir Institute of TechnologyYazılım tasarım şablonları, tekrar eden yazılım tasarım problemleri için hazır çözümler sunar. Model-Görünüm-Denetçi (İng. MVC) gibi bileşik tasarım şablonları ise, var olan tasarım şablonlarının biraraya getirilmesi ile daha büyük ölçekli problemleri çözmek için geliştirilmektedir. Bu çalışmada bağlamsal doğrulama problemi için bir bileşik tasarım şablonu geliştirilmiştir. Bağlamsal doğrulama, bir işlem gerçekleş- tirilmeden önce o işlem için gerekli tüm nesnelerin gerekli koşulları sağladığının doğrulanması anlamına gelmektedir. Bileşik tasarım şablonu geliştirme yöntemi ile ortaya konan bağlamsal doğrulama tasarım şablonu; tek sorumluluk, açık-kapalı ve bağımlılığı tersine çevirme nesne temelli tasarım ilkelerine göre geliştirilmiştir. Geliştirilen bağlamsal doğrulama tasarım şablonu bünyesinde Ziyaretçi, Strateji, Dekoratör ve Bildirim tasarım şablonlarını barındırmaktadır. Ortaya konan bağlamsal doğrulama tasarım şablonu, kullanım şekli itibariyle iki örnek uygulama üzerinde tartışılmıştır.