بازگشت به جستجو

تست مبتنی بر مدل ریسک محور

عنوان	تست مبتنی بر مدل ریسک محور
نویسنده	کرکیجی، عبدالهادی
تاریخ انتشار:	2018-05
موضوع	مهندسی کامپیوتر و علوم کامپیوتر و کنترل
نوع	سند
زبان	انگلیسی
دیجیتال	بله
نسخه خطی	خیر
کتابخانه:	دانشگاه اوزیغین
شماره ثبت	24cc8c9d-8082-42c8-b730-03e0a89d52a1
محل کتابخانه	گروه علوم کامپیوتر
تاریخ	2018-05
متن نمونه	نرم افزار در محصولات الکترونیکی مصرفی بزرگتر و پیچیده تر می شود. در نتیجه، آزمایش این محصولات برای قابلیت اطمینان به یک چالش بزرگ تبدیل شده است. فعالیت‌های آزمایشی سنتی و دستی در تعیین دقیق خطاها مؤثر و کارآمد نیستند. در نتیجه، فعالیت‌های تست دستی با تکنیک‌های خودکار جایگزین می‌شوند. تست مبتنی بر مدل یکی از این تکنیک هاست. از مدل های آزمایشی به عنوان ورودی استفاده می کند و تولید کیس آزمایشی را خودکار می کند. با این حال، این مدل ها برای سیستم های مقیاس صنعتی بسیار بزرگ هستند. از این رو، تعداد موارد تست تولید شده نیز می تواند بسیار زیاد باشد. با این حال، به دلیل منابع بسیار محدود در حوزه الکترونیک مصرفی، آزمایش همه عملکردهای سیستم به طور کامل امکان پذیر نیست. فقط آن دسته از سناریوهای استفاده از سیستم که با احتمال بالای خرابی مرتبط هستند باید آزمایش شوند. بنابراین، ما یک رویکرد آزمون مبتنی بر مدل ریسک محور را در این پایان نامه پیشنهاد می کنیم. بدین وسیله، مدل‌های آزمایشی با اطلاعات مربوط به خطر شکست افزوده می‌شوند. برای بیان این مدل ها از زنجیره های مارکوف استفاده می شود که اساساً از حالت ها و انتقال ها تشکیل شده اند. هر انتقال حالت با یک احتمال حاشیه نویسی می شود. مقادیر احتمال برای ایجاد موارد آزمایشی استفاده می شود که انتقال هایی با بالاترین مقادیر احتمال را پوشش می دهد. رویکرد پیشنهادی مقادیر احتمال انتقال را بر اساس سه نوع تحلیل برای تخمین ریسک به روز می کند. ابتدا، نمایه استفاده برای تعیین ویژگی های بیشتر مورد استفاده سیستم استفاده می شود. دوم، تحلیل استاتیکی برای تخمین پتانسیل خطا در هر حالت استفاده می شود. سوم، تحلیل پویا برای تخمین احتمال خطا در هر حالت استفاده می شود. مدل های آزمون بر اساس این تحلیل ها و تخمین ها به طور مکرر به روز می شوند. این رویکرد با سه مطالعه موردی صنعتی برای آزمایش تلویزیون های دیجیتال، تلفن های هوشمند و ماشین لباسشویی ارزیابی می شود. نتایج نشان می‌دهد که این رویکرد با آشکار کردن خطاهای بیشتر در زمان تست کمتر، کارایی تست را افزایش می‌دهد. 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. تست 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 سیستم tüm functionlarını test etmek mümkün değildir. Bu sebepten dolayı, bu tezde risk odaklı model bazlı test yaklaşımı önerilmektedir. Bu yaklaşımda، تست 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، سیستم 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 و ç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.

مشاهده در منبع دانشگاه اوزیغین دانشگاه اوزیغین - موتور جستجوی آثار تاریخی، آرشیوها و نشریات

دانشگاه اوزیغین

تست مبتنی بر مدل ریسک محور

نویسنده کرکیجی، عبدالهادی

تاریخ انتشار 2018-05

موضوع مهندسی کامپیوتر و علوم کامپیوتر و کنترل

نوع سند

زبان انگلیسی

دیجیتال بله

نسخه خطی خیر

کتابخانه دانشگاه اوزیغین

شماره ثبت 24cc8c9d-8082-42c8-b730-03e0a89d52a1

محل کتابخانه گروه علوم کامپیوتر

تاریخ 2018-05

متن نمونه نرم افزار در محصولات الکترونیکی مصرفی بزرگتر و پیچیده تر می شود. در نتیجه، آزمایش این محصولات برای قابلیت اطمینان به یک چالش بزرگ تبدیل شده است. فعالیت‌های آزمایشی سنتی و دستی در تعیین دقیق خطاها مؤثر و کارآمد نیستند. در نتیجه، فعالیت‌های تست دستی با تکنیک‌های خودکار جایگزین می‌شوند. تست مبتنی بر مدل یکی از این تکنیک هاست. از مدل های آزمایشی به عنوان ورودی استفاده می کند و تولید کیس آزمایشی را خودکار می کند. با این حال، این مدل ها برای سیستم های مقیاس صنعتی بسیار بزرگ هستند. از این رو، تعداد موارد تست تولید شده نیز می تواند بسیار زیاد باشد. با این حال، به دلیل منابع بسیار محدود در حوزه الکترونیک مصرفی، آزمایش همه عملکردهای سیستم به طور کامل امکان پذیر نیست. فقط آن دسته از سناریوهای استفاده از سیستم که با احتمال بالای خرابی مرتبط هستند باید آزمایش شوند. بنابراین، ما یک رویکرد آزمون مبتنی بر مدل ریسک محور را در این پایان نامه پیشنهاد می کنیم. بدین وسیله، مدل‌های آزمایشی با اطلاعات مربوط به خطر شکست افزوده می‌شوند. برای بیان این مدل ها از زنجیره های مارکوف استفاده می شود که اساساً از حالت ها و انتقال ها تشکیل شده اند. هر انتقال حالت با یک احتمال حاشیه نویسی می شود. مقادیر احتمال برای ایجاد موارد آزمایشی استفاده می شود که انتقال هایی با بالاترین مقادیر احتمال را پوشش می دهد. رویکرد پیشنهادی مقادیر احتمال انتقال را بر اساس سه نوع تحلیل برای تخمین ریسک به روز می کند. ابتدا، نمایه استفاده برای تعیین ویژگی های بیشتر مورد استفاده سیستم استفاده می شود. دوم، تحلیل استاتیکی برای تخمین پتانسیل خطا در هر حالت استفاده می شود. سوم، تحلیل پویا برای تخمین احتمال خطا در هر حالت استفاده می شود. مدل های آزمون بر اساس این تحلیل ها و تخمین ها به طور مکرر به روز می شوند. این رویکرد با سه مطالعه موردی صنعتی برای آزمایش تلویزیون های دیجیتال، تلفن های هوشمند و ماشین لباسشویی ارزیابی می شود. نتایج نشان می‌دهد که این رویکرد با آشکار کردن خطاهای بیشتر در زمان تست کمتر، کارایی تست را افزایش می‌دهد. 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. تست 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 سیستم tüm functionlarını test etmek mümkün değildir. Bu sebepten dolayı, bu tezde risk odaklı model bazlı test yaklaşımı önerilmektedir. Bu yaklaşımda، تست 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، سیستم 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 و ç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.