ABSTRACT. Bu yüksek lisans tez çalışmasında, grafiksel kullanıcı arayüzlerinin model tabanlı olarak test edilmesi sırasında kullanılan modellerin karşılaştırılması, bunların ortak ana model olarak kabul ettiğimiz Olay Sıra Çizgesi (ESG) modeline dönüştürülmesi ve büyüyen modellerin ölçeklenebilirlik açısından ele alınması ile ilgili çalışmalar hedeflenmiştir. Literatürde bu alandaki mevcut çalışmalar incelenmiş ve tezde hedeflenen model analiz yönteminin bu çalışmalara kıyasla getireceği katkılar belirlenmiştir.

ABSTRACT. Yazılım geliştirmede sözleşmeler, yazılımı daha iyi tasarlamak ve yazılımın istenmeyen davranışlarını test yoluyla belirlemek için kullanılır. Sözleşmeler ne kadar iyi olursa, yazılım kalite açısından o kadar iyi olur. Sözleşmelerin hataları tespit etme kabiliyetini ölçmek için bu tezde program şartnamelerinden elde edilen sözleşmelere mutasyon analizi uygulanacaktır. Şartnamelere dayalı sözleşmelerin araştırılmasına yönelik araştırmalar az sayıdadır. Bu tez, şartnamelerden üretilmiş belli tipteki sözleşmelere uygulanabilecek bir dizi mutasyon operatörü önerecektir. Mutasyon tekniklerini uygulamadan önce, şartnamelerden sözleşmeler oluşturulacaktır. Bu sözleşmeler olay sıra çizgeleri (OSÇ) ve karar tabloları destekli OSÇ’ler kullanılarak temsil edilecektir. Daha sonra bunlar saf karar tabloları ve sıralı ikili karar diyagramlarına dönüştürülecektir. Bundan sonra, dönüştürülmüş sözleşmelere belirli mutasyon operatörleri uygulanarak mutant söleşmeler elde edilecektir. Mutasyon operatörlerine tez çalışmasında karar verilecektir. Daha sonra, mutasyona uğramış sözleşmeler ilk temsillerine geri dönüştürülecektir. Bundan sonra mutasyona uğramış sözleşmelerden bir mutasyon testi seti oluşturulacaktır. Burada, orijinal sözleşmeler kullanılarak geliştirilen yazılımın mutasyon testi seti altında başarısız olacağı beklenmektedir. Ne kadar başarısız olacağı orijinal sözleşmelerin hatalı durumları yakalama kabiliyeti hakkında fikir vereceğini düşünüyoruz. Başarısız mutasyon test durumlarının sayısına dayanarak, şartnameye dayalı sözleşmenin kalitesi değerlendirilecektir.