Yazar
Gebizli, Ceren Şahin
Basım Tarihi
2017-07
Konu
Yazılım testi, Model tabanlı test, Endüstriyel örnek olay incelemesi, Keşifsel test, Risk tabanlı test, Yazılım ürün grubu mühendisliği, Bilgisayar bilimi
Tür
Belge
Dil
İngilizce
Dijital
Evet
Yazma
Hayır
Kütüphane
Özyeğin Üniversitesi
Kayıt Numarası
a753b0b5-4234-4229-aa00-c618c1beac13
Lokasyon
Bilgisayar Bilimleri Bölümü
Tarih
2017-07
Örnek Metin
Model Tabanlı Test (MBT), bir sistemin modellerine dayalı olarak test senaryolarının otomatik olarak oluşturulmasını sağlar. Her biri belirli zorluklara neden olabilecek çeşitli uygulama alanlarında başarıyla uygulanmıştır. Bu tezde, tüketici elektroniği alanındaki bu zorlukların bazılarını çözmeye yönelik yöntem ve araçları tanıtıyoruz. Örnek olay incelememiz olarak özellikle Dijital TV sistemlerinin test edilmesine odaklanıyoruz. Bu bağlamda aşağıdaki 3 sorunu belirledik: i) Sistemin modelleri, çoğu zaman eksik ve kesin olmayan gereksinim spesifikasyonlarına göre oluşturulmaktadır. Bu nedenle, bu modeller belirli sistem davranışının kazara ihmal edilmesine tabidir. Sonuç olarak, kritik hatalar oluşturulan test senaryoları tarafından tespit edilmeden bırakılabilir. ii) Tüketici elektroniği alanında kaynaklar son derece sınırlıdır. Test modellerinin kapsamlı bir kapsamına ulaşmak mümkün değildir. iii) Tüketici elektroniğindeki bir ürün ailesi genellikle yüzlerce sistemi içerir. Özellikler kümesi bu sistemler arasında oldukça farklılık gösterebilir. Bu nedenle MBT süreci ve modellemesi, değişkenliği sistematik olarak yönetmek ve test modellerinin yeniden kullanım miktarını artırmak için esnek olmalıdır. İlk sorunun üstesinden gelmek için, toplanan yürütme izlerine dayalı olarak test modellerini otomatik olarak genişletmeye yönelik bir yaklaşım ve araç sunuyoruz. Bu izler Keşif Testi (ET) faaliyetleri sırasında toplanır. Genişletilmiş modellere dayalı test senaryoları oluşturulduktan sonra 3 vaka çalışmasında çeşitli kritik hatalar tespit edildi. Bu hatalar ilk test senaryoları setinde tespit edilmedi. ET faaliyetleri sırasında da kaçırıldılar. İkinci soruna çözüm olarak, test senaryosu oluşturma sürecini yalnızca oldukça ciddi hatalara yatkın yürütme yollarına odaklamak için test modellerini 3 adımda yinelemeli olarak güncelliyoruz. Durumlar arasındaki geçişlerin olasılık değerleriyle açıklandığı test modelleri olarak Markov Zincirlerini kullanıyoruz. Öncelikle bu değerleri kullanım profiline göre güncelliyoruz. İkinci olarak statik kod analizi ile tahmin edilen hata olasılığına dayalı bir güncelleme gerçekleştiriyoruz. Üçüncü güncellememiz dinamik analizle tahmin edilen hata olasılığına dayanmaktadır. Her güncelleme yinelemesinden sonra güncellenen değerlere göre test senaryoları oluşturur ve yürütürüz. Her yinelemeden sonra yeni hatalar tespit edilebilir. Değişkenlik sorununu çözmek için, test edilen sistemler arasındaki farklılıkları bir özellik modeliyle açıkça belgeliyoruz. Özellik modelindeki isteğe bağlı ve alternatif özellikleri, test modelindeki bir dizi durumla eşleştiririz. Test modelindeki geçiş olasılıkları seçilen özelliklere göre güncellenir, böylece oluşturulan test senaryoları yalnızca bu özelliklere odaklanır. Bu yaklaşım, bir test modelinin birçok sistem için yeniden kullanılmasını kolaylaştırır. Model-bazlı test (MBT), test edilen sistem modelleri ile otomatik olarak test senaryolarını desteklemelerini sağlar. MBT, her birinin kendine sahip olduğu birlikte gelen çeşitli uygulama alanlarında kullanılmaktadır. Biz bu tezde, hijyen elektroniği deposunu adreslemek için yöntem ve araçlar bulunur. Özellikle vaka çalışması olarak Dijital TV sonuçları testine odaklanıyoruz. Bu doğal 3 problem belirlendik; i) sistem modellerinin sıcaklık analizleri temel değişkenlik ve bu yoğunluklar genellikle tam ve açık değildir. Bu nedenle, bu modellerde bazı sistem kaynaklarının eksik olma olasılığı vardır. Sonuç olarak da toplam test adımlarında kıritik hatalar bulunamayabilir. ii) hijyenik elektron alanındaki kaynaklar çok kısıtlıdır. Test modellerinin kapsamını ve böylece test adımlarının miktarının sürekli olarak kullanılabilirliği yoktur. iii) Tıbbi elektronik alanında bir ürün yelpazesi genellikle kapsamlı sistem içerir. Bu sistemlerin barındırdıkları özellikler farklıdır. Bu nedenle MBT süreci ve test modelleri, çeşitliliğin sistematik olarak yönetimi ve test modellerinin tekrar kullanılabilirliği sağlanacak şekilde esnek olmalıdır. İlk problemin değişebilmesi için, test modellerini, çalışmalarını çalıştırma izlerini baz alarak, otomatik olarak güncelleyecek bir terapi ve araç desteği. Bu izlemeler yönetilerek test faaliyetleri sırasında toplanır. Yapılan 3 vaka çalışması ile güncellenen modeller üzerinden üretilen test adımları ile birçok kritik hata görülüyor. Bu hatalar daha önce yönetilik test faaliyetleri sırasında bulunamamıştı. İkinci hataya çözüm olarak, test modellerini, hataya neden olabilecek yola odaklanarak test adımı üretilebilir şekilde, 3 tekrarlamalı olarak güncelliyoruz. Test modelleri olarak, durumlar arası geçişlere açıklık işleyebileceğimiz Markov Zincirlerini sunar. İlk olarak, modeldeki bu olasılığı seçerek kullanıcı profilini güncelliyoruz. İkinci olarak, statik kod analizlerinden ortaya çıkarılan hata olasılığına göre modeldeki olasılıkları güncelliyoruz. Üçüncü güncelleme işlemimizi ise dinamik analizlerden çıkarılan hata olasılıklarına göre gerçekleştiriyoruz. Her güncelleme iterasyonu sonrasında güncellenen olasılık bilgilerine göre, test adımlarını tekrar üretip çalıştırıyoruz. Vaka çalışmalarında, bu yaklaşımla her bir yineleme sonrasında yeni hatalar değişiyor. Çeşitlilik problemini adreslemek için ise, test edilen sistemdeki çeşitlilikleri özellikle spesifik modeller ile kayıt formunu satın alın. Test modelindeki durumların tümünü, özellik modellerinde dönemler ve alternatif olarak işaretliyoruz. Üretilen test adımlarının bu çalışmaya odaklanabilmesi için, test modellerindeki geçiş olasılıklarını seçilen beklemeye göre güncelliyoruz. Bu yöntem sayesinde birçok sistem için test modellerinin tekrar kullanılabilmesi sağlanmıştır.
