Improving models for model-based testing based on exploratory testing

Model bazlı test, test edilen sistemin modelleri sayesinde otomatik olarak test senaryoları oluşturulmasını sağlar. Bu modellerin doğruluğu ve tamlığı oluşturulan test senaryolarının etkinliğini belirler. Genelde manuel olarak oluşturulan modellerdeki eksikliklerden dolayı bazı kritik hatalar tespit edilemeyebilir. Pratikte bu hatalar tecrübeli test mühendisleri tarafından uygulanan araştırma tabanlı testler ile tespit edilebilmektedir. Bu tezde, araştırma tabanlı test aktivitelerinden elde edilen bilgileri kullanarak test senaryosu oluşturulmasında kullanılan modelleri iyileştirmek için bir yöntem ve aracı sunuyoruz. Model iyileştirme aktivitelerinin bir araç ile destekleneceği yarı otomatik bir işleyiş öneriyoruz. Bu araç, araştırma tabanlı test aktiviteleri sırasında kayıt altına alınan yazılım koşum yollarını analiz etmekte ve sistem modellerindeki eksiklikleri belirlemektedir. Belirlenen eksiklikler, daha verimli test senaryoları elde edilebilmesi için modelde yapılması gereken iyileştirmeler konusunda bir geribesleme sağlamaktadır. Bu yaklaşımımızı, bir Dijital TV sisteminin model bazlı testi için model geliştirmesi amacıyla, iki endüstriyel vaka çalışması kapsamında değerlendirdik. Yaklaşımımızı uyguladıktan sonra, birinci endüstriyel vaka çalışmamız sonucunda, 3 kritik hata bulduk. İkinci endüstriyel vaka çalışmamız sonucunda ise, 4 kritik hata daha bulduk. Bu hatalar ilk olarak oluşturulan test senaryoları ile bulunamamıştı ve bu hatalar ayrıca tecrübeye dayalı test aktiviteleri süresince de bulunamamıştı.