Model-driven architecture based testing using software architecture viewpoints

Yazılım test etme bir sistemin amacını yerine getirip getirmediğini ve istenilen özellikleri karşılayıp karşılamadığını denetleme sürecidir. Bir sistemi test etmek için olası program hatalarını keşfedebilen test durumlarını çalıştırmak gerekir. Genelde birçok gerçek program için olası girdi ve operasyon dizilerinin çok sayıda olması sebebiyle ayrıntılı test etmek mümkün ve pratik değildir. Büyük test setlerinden sadece seçilen olası test durumları kısıtlı bir zamanda koşturulabilir. Görüldüğü gibi, yazılım test etmede ki esas sorun sistemdeki hataları ortaya çıkarabilen test durumlarını seçebilmektir. Modele dayalı test etme (MDT) sistemin gereksinimlerinin ve davranımlarının modellerine dayanarak test durumlarının oluşturulmasını ve koşturulmasını otomatikleştirir. Modele dayalı test etme sistemin farklı temsillerini kullanarak yazılım sistemin farklı yönleri için test prosedürleri oluşturur. Örnek modeller içerisinde sonlu makineler, Petri Netler, otomatalar ve Markov zincirleri bulunur. Modele dayalı test etmede yazılım mimarisi kullanılarak sistemik özelliklerde bulunan hataları ortaya çıkarmak yeni bir eğilim olarak görülmektedir. Bu sistemik özellikler tipik olarak mimari bakışlarında tanımlanmıştır. Bir yazılım sisteminin belirtilen mimari özelliklere göre doğruluğunu ölçmek mimari tabanlı yazılım testi (MBYT) olarak adlandırılır. Birçok çalışma farklı modeller kullanarak mimari tabanlı test yöntemleri üzerinde yoğunlaştı. Ancak bu çalışmaların hiç birisinde yazılım mimarisi bakış açıları test durumlarını üretirken kullanılması benimsenmedi. Bu tezde biz, öncellikle var olan model güdümlü mimari tabanlı test etme yöntemlerinin sistematik incelemesini sunuyoruz. Literatürde var olan yöntemleri tanımlıyor ve yöntemlerin sınırlarını tartışıyoruz. Sistematik incelememiz ve analizlerimiz sonucunda yeni bir mimari bakış açılarını kullanan model güdümlü mimari tabanlı test yöntemi geliştiriyoruz. Yöntemimizde mimari bakış açılarında belirtilen tanımlardan sapan kodlar üzerinde yoğunlaşıyoruz. Bunun için mimari bakış açısı modellerini kullanan dönüşüm modellerini koşturarak sistem üzerinde koşturulacak test durumlarını üretiyoruz. Yöntemimiz Türkiye Bilimsel ve Teknolojik Araştırma Kurumu - Yazılım Teknolojileri Enstitüsü'ndeki (TÜBİTAK-YTE) bir proje üzerinde değerlendirildi. Bu değerlendirmenin sonucu olarak model güdümlü mimari tabanlı test yöntemimiz test durumları oluşturmak ve koşturmak ve sistemin güvenilirliğini arttırmak için etkili bir yöntem olduğunu gördük.