Risk-driven model-based testing

Tüketici elektroniği ürünlerinde bulunan yazılımın hem boyutları, hem de karmaşıklığı artmaktadır. Bu eğilim, ürünlerin test edilmesi ve güvenilirliklerinden emin olunması için zorluk teşkil etmektedir. Geleneksel ve manuel test süreçleri, kritik hatalarının tespit edilmesinde yetersiz ve verimsiz kalmaktadır. Bu süreçleri iyileştirmek ve otomatik bir hale getirmek için çeşitli teknikler kullanılagelmiştir. Test modellerinden yararlanarak otomatik test adımlarının oluşturulmasını sağlayan model bazlı test, bu tekniklerden birisidir. Endüstriyel ölçekteki sistemlere ilişkin çok büyük olan test modellerinden, prensip olarak sonsuz sayıda test adımı üretilebilmek mümkündür. Ancak tüketici elektroniği alanında oldukça kısıtlı olan kaynaklar sebebi ile sistemin tüm fonksiyonlarını test etmek mümkün değildir. Bu sebepten dolayı, bu tezde risk odaklı model bazlı test yaklaşımı önerilmektedir. Bu yaklaşımda, test modelleri hata riskine ilişkin bilgilerle zenginleştirilmektedir. Test modelleri, durum geçişlerinin olasılık değerleri ile etiketlendiği Markov zincirleri şeklinde tanımlanmaktadır. Bu değerler, yüksek olasılıklı senaryoları kapsayacak şekilde test adımlarının otomatik üretim sürecini yönlendirmektedir. Yaklaşımımızda, durum geçişlerine ilişkin olasılık değerleri, üç farklı analiz tipi ile hesaplanan risk tahminlerine göre güncellenmektedir. İlk olarak, ürün kullanıcılarından toplanan kullanım profili verileri analiz edilmektedir. İkinci olarak, sistemin farklı durumlarındaki hata potansiyelinin tahmini için statik analiz kullanılmaktadır. ÜçÜncÜ olarak ise, hata tahmini için dinamik analiz kullanılmaktadır. Test modelleri, bu analizler ve tahminlere göre yinelemeli olarak güncellenmektedir. Yaklaşımımızı değerlendirmek için dijital televizyonlar, akıllı telefonlar ve çamaşır makineleri olmak üzere, üç farklı ürün üzerinde endüstriyel vaka çalışmaları yapılmıştır. Elde edilen sonuçlar, yaklaşımın kısa sürede daha fazla hata tespit edilmesini sağlayarak test verimliliğini arttırdığını göstermektedir.