Aramaya Dön

Risk odaklı model bazlı test

İsim	Risk odaklı model bazlı test
Yazar	Kırkıcı, Abdulhadi
Basım Tarihi:	2018-05
Konu	Bilgisayar Mühendisliği ve Bilgisayar Bilimi ve Kontrolü
Tür	Belge
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Kayıt Numarası	24cc8c9d-8082-42c8-b730-03e0a89d52a1
Lokasyon	Bilgisayar Bilimleri Bölümü
Tarih	2018-05
Örnek Metin	Tüketici elektroniği ürünlerinde yazılım giderek büyüyor ve karmaşıklaşıyor. Sonuç olarak, bu ürünlerin güvenilirlik açısından test edilmesi büyük bir zorluk haline geliyor. Geleneksel ve manuel test faaliyetleri, hataların tespit edilmesinde etkili ve verimli değildir. Sonuç olarak, manuel test faaliyetleri yerini otomatik tekniklere bırakıyor. Model tabanlı test bu tekniklerden biridir. Test modellerini girdi olarak kullanır ve test senaryosu oluşturulmasını otomatikleştirir. Ancak bu modeller endüstri ölçeğindeki sistemler için oldukça büyüktür. Dolayısıyla oluşturulan test senaryolarının sayısı da çok fazla olabilir. Ancak tüketici elektroniği alanındaki kaynakların son derece sınırlı olması nedeniyle sistemin tüm işlevlerini kapsamlı bir şekilde test etmek mümkün değildir. Yalnızca yüksek arıza olasılığıyla ilişkili sistem kullanım senaryoları test edilmelidir. Bu nedenle, bu tezde risk odaklı model tabanlı bir test yaklaşımı öneriyoruz. Böylelikle test modelleri başarısızlık riskine ilişkin bilgilerle zenginleştirilmiştir. Temelde durumlar ve geçişlerden oluşan bu modellerin ifade edilmesinde Markov zincirleri kullanılmaktadır. Her durum geçişi bir olasılıkla açıklanmıştır. Olasılık değerleri, en yüksek olasılık değerlerine sahip geçişleri kapsayan test senaryoları oluşturmak için kullanılır. Önerilen yaklaşım, risk tahmini için üç analiz türüne dayalı olarak geçiş olasılığı değerlerini günceller. Öncelikle sistemin en çok kullanılan özelliklerinin belirlenmesi için kullanım profili kullanılır. İkinci olarak, her durumdaki hata potansiyelini tahmin etmek için statik analiz kullanılır. Üçüncüsü, her durumda hata olasılığını tahmin etmek için dinamik analiz kullanılır. Test modelleri bu analiz ve tahminlere göre iteratif olarak güncellenmektedir. Yaklaşım, dijital TV'lerin, akıllı telefonların ve çamaşır makinelerinin test edilmesine yönelik üç endüstriyel vaka çalışmasıyla değerlendiriliyor. Sonuçlar, yaklaşımın daha az test süresinde daha fazla hatayı ortaya çıkararak test verimliliğini artırdığını göstermektedir. Tüketici elektroniği kırılmada bulunan yazılımın hem boyutları, hem de karmaşıklığı artıyor. Bu istekli, istenmeyen testlerin yapılması ve yayınlanmasından emin olunması için arıza teşkilatı faaliyet göstermektedir. Geleneksel ve manuel test parçaları, kritik hataların tespitinde yetersiz ve verimsiz kalıyor. Bu parçaların parçaları ve otomatik olarak bir hale getirilmesi için çeşitli teknikler kullanılmıştır. Test modellerinden yararlanarak otomatik test adımlarının bilgilerini sağlayan model bazlı test, bu teknik özelliklerden yararlanır. Endüstriyel boyutlardaki sistemlere ilişkin çok büyük olan test modellerinden, esas olarak sonsuz sayıda test adımı üretilebilmek mümkündür. Ancak elektronik alanında oldukça kısıtlı olan kaynaklar ile sistemin tüm fonksiyonlarını test etmek mümkün değildir. Bu nedenle, bu tezde risk odaklı model bazlı test yaklaşım boyutları. 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 sınıflandırılmıştır. Bu değerler, yüksek olasılıklı senaryoları başlatarak 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 kullanım profil 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. Ortaya çıkan sonuçlar, yaklaşımın kısa sürede fazla hata tespit ederek test kapsamını daha da arttırdığını göstermektedir.

Kaynağa git Özyeğin Üniversitesi Özyeğin Üniversitesi - Tarihî eser, arşiv ve süreli yayın arama motoru

Özyeğin Üniversitesi

Risk odaklı model bazlı test

Yazar Kırkıcı, Abdulhadi

Basım Tarihi 2018-05

Konu Bilgisayar Mühendisliği ve Bilgisayar Bilimi ve Kontrolü

Tür Belge

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Kayıt Numarası 24cc8c9d-8082-42c8-b730-03e0a89d52a1

Lokasyon Bilgisayar Bilimleri Bölümü

Tarih 2018-05

Örnek Metin Tüketici elektroniği ürünlerinde yazılım giderek büyüyor ve karmaşıklaşıyor. Sonuç olarak, bu ürünlerin güvenilirlik açısından test edilmesi büyük bir zorluk haline geliyor. Geleneksel ve manuel test faaliyetleri, hataların tespit edilmesinde etkili ve verimli değildir. Sonuç olarak, manuel test faaliyetleri yerini otomatik tekniklere bırakıyor. Model tabanlı test bu tekniklerden biridir. Test modellerini girdi olarak kullanır ve test senaryosu oluşturulmasını otomatikleştirir. Ancak bu modeller endüstri ölçeğindeki sistemler için oldukça büyüktür. Dolayısıyla oluşturulan test senaryolarının sayısı da çok fazla olabilir. Ancak tüketici elektroniği alanındaki kaynakların son derece sınırlı olması nedeniyle sistemin tüm işlevlerini kapsamlı bir şekilde test etmek mümkün değildir. Yalnızca yüksek arıza olasılığıyla ilişkili sistem kullanım senaryoları test edilmelidir. Bu nedenle, bu tezde risk odaklı model tabanlı bir test yaklaşımı öneriyoruz. Böylelikle test modelleri başarısızlık riskine ilişkin bilgilerle zenginleştirilmiştir. Temelde durumlar ve geçişlerden oluşan bu modellerin ifade edilmesinde Markov zincirleri kullanılmaktadır. Her durum geçişi bir olasılıkla açıklanmıştır. Olasılık değerleri, en yüksek olasılık değerlerine sahip geçişleri kapsayan test senaryoları oluşturmak için kullanılır. Önerilen yaklaşım, risk tahmini için üç analiz türüne dayalı olarak geçiş olasılığı değerlerini günceller. Öncelikle sistemin en çok kullanılan özelliklerinin belirlenmesi için kullanım profili kullanılır. İkinci olarak, her durumdaki hata potansiyelini tahmin etmek için statik analiz kullanılır. Üçüncüsü, her durumda hata olasılığını tahmin etmek için dinamik analiz kullanılır. Test modelleri bu analiz ve tahminlere göre iteratif olarak güncellenmektedir. Yaklaşım, dijital TV'lerin, akıllı telefonların ve çamaşır makinelerinin test edilmesine yönelik üç endüstriyel vaka çalışmasıyla değerlendiriliyor. Sonuçlar, yaklaşımın daha az test süresinde daha fazla hatayı ortaya çıkararak test verimliliğini artırdığını göstermektedir. Tüketici elektroniği kırılmada bulunan yazılımın hem boyutları, hem de karmaşıklığı artıyor. Bu istekli, istenmeyen testlerin yapılması ve yayınlanmasından emin olunması için arıza teşkilatı faaliyet göstermektedir. Geleneksel ve manuel test parçaları, kritik hataların tespitinde yetersiz ve verimsiz kalıyor. Bu parçaların parçaları ve otomatik olarak bir hale getirilmesi için çeşitli teknikler kullanılmıştır. Test modellerinden yararlanarak otomatik test adımlarının bilgilerini sağlayan model bazlı test, bu teknik özelliklerden yararlanır. Endüstriyel boyutlardaki sistemlere ilişkin çok büyük olan test modellerinden, esas olarak sonsuz sayıda test adımı üretilebilmek mümkündür. Ancak elektronik alanında oldukça kısıtlı olan kaynaklar ile sistemin tüm fonksiyonlarını test etmek mümkün değildir. Bu nedenle, bu tezde risk odaklı model bazlı test yaklaşım boyutları. 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 sınıflandırılmıştır. Bu değerler, yüksek olasılıklı senaryoları başlatarak 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 kullanım profil 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. Ortaya çıkan sonuçlar, yaklaşımın kısa sürede fazla hata tespit ederek test kapsamını daha da arttırdığını göstermektedir.