نویسنده
گبیزلی، سرن شاهین
تاریخ انتشار
2017-07
موضوع
تست نرم افزار، تست مبتنی بر مدل، مطالعه موردی صنعتی، تست اکتشافی، تست مبتنی بر ریسک، مهندسی خط تولید نرم افزار، علوم کامپیوتر
نوع
سند
زبان
انگلیسی
دیجیتال
بله
نسخه خطی
خیر
کتابخانه
دانشگاه اوزیغین
شماره ثبت
a753b0b5-4234-4229-aa00-c618c1beac13
محل کتابخانه
گروه علوم کامپیوتر
تاریخ
2017-07
متن نمونه
تست مبتنی بر مدل (MBT) امکان تولید خودکار موارد آزمایشی را بر اساس مدلهای یک سیستم فراهم میکند. این با موفقیت در حوزه های کاربردی مختلف اعمال شده است، که هر یک ممکن است چالش های خاصی را ایجاد کند. در این پایان نامه روش ها و ابزارهایی را برای رفع برخی از این چالش ها برای حوزه الکترونیک مصرفی معرفی می کنیم. به طور خاص، ما بر روی آزمایش سیستم های تلویزیون دیجیتال به عنوان مطالعه موردی خود تمرکز می کنیم. ما 3 مشکل زیر را در این زمینه شناسایی کردیم: الف) مدلهای سیستم بر اساس مشخصات مورد نیاز ایجاد میشوند که اغلب ناقص و نادقیق هستند. بنابراین، این مدل ها در معرض حذف تصادفی رفتار سیستم خاص هستند. در نتیجه، خطاهای بحرانی را می توان توسط موارد آزمایشی ایجاد شده شناسایی نشد. ii) منابع در حوزه لوازم الکترونیکی مصرفی بسیار محدود است. دستیابی به پوشش گسترده ای از مدل های آزمایشی امکان پذیر نیست. iii) یک خانواده محصول در لوازم الکترونیکی مصرفی اغلب شامل صدها سیستم است. مجموعه ای از ویژگی ها می تواند در بین این سیستم ها بسیار متفاوت باشد. بنابراین، فرآیند و مدلسازی MBT باید برای مدیریت سیستماتیک تنوع و افزایش میزان استفاده مجدد برای مدلهای آزمایشی انعطافپذیر باشد. برای مقابله با مشکل اول، یک رویکرد و ابزار برای گسترش خودکار مدلهای آزمایشی بر اساس مجموعهای از ردیابیهای اجرایی جمعآوریشده معرفی میکنیم. این آثار در طول فعالیتهای آزمایش اکتشافی (ET) جمعآوری میشوند. چندین خطای بحرانی در 3 مطالعه موردی پس از ایجاد موارد آزمایشی بر اساس مدلهای توسعهیافته شناسایی شد. این خطاها توسط مجموعه اولیه موارد آزمایش شناسایی نشدند. آنها همچنین در طول فعالیت های ET گم شدند. بهعنوان راهحل برای مشکل دوم، مدلهای آزمایشی را بهطور مکرر در 3 مرحله بهروزرسانی میکنیم تا فرآیند تولید مورد آزمایشی را فقط روی مسیرهای اجرایی متمرکز کنیم که در معرض خرابیهای بسیار شدید هستند. ما از زنجیرههای مارکوف بهعنوان مدلهای آزمایشی استفاده میکنیم، که در آن انتقالهای بین حالتها با مقادیر احتمال حاشیهنویسی میشوند. ابتدا این مقادیر را بر اساس نمایه استفاده به روز می کنیم. دوم، ما یک به روز رسانی را بر اساس احتمال خطا انجام می دهیم که با تجزیه و تحلیل کد استاتیک تخمین زده می شود. به روز رسانی سوم ما بر اساس احتمال خطا است که با تجزیه و تحلیل پویا تخمین زده می شود. ما پس از هر بار تکرار بهروزرسانی، موارد آزمایشی را مطابق مقادیر بهروز شده تولید و اجرا میکنیم. پس از هر بار تکرار، خطاهای جدید قابل تشخیص است. برای پرداختن به مشکل تغییرپذیری، تغییرات را در بین سیستمهای آزمایششده به صراحت با یک مدل ویژگی مستند میکنیم. ویژگی های اختیاری و جایگزین را در مدل ویژگی به مجموعه ای از حالت ها در مدل آزمایشی نگاشت می کنیم. احتمالات انتقال در مدل آزمایشی با توجه به ویژگی های انتخاب شده به روز می شوند به طوری که موارد آزمایشی تولید شده فقط بر روی این ویژگی ها تمرکز می کنند. این رویکرد استفاده مجدد از یک مدل آزمایشی را برای بسیاری از سیستمها تسهیل میکند. ام بی تی، هر بیری کندینه زورلوکلاری برابرینده گتیرن چشیتلی اویگولاما آلانلاریندا kullanılmaktadır. Biz bu tezde, tüketici elektroniği alanındaki zorlukları adreslemek için metot ve araçlar öneriyoruz. Özellikle vaka çalışması olarak Dijital TV sistemlerinin testine odaklanmaktayız. Bu bağlamda 3 مشکل belirledik; ط) sistem modelleri gereksinim analizleri baz alınarak oluşturulmuştur ve bu gereksinimler genellikle tam ve açık değildir. بو سِبِپلِه، بو مدللرده بازی سیستم داورانیشلارینین اکسیک اولما ایحتیمالی واردیر. Sonuç olarak da oluşturulan test adımları ile kiritik hatalar bulunamayabilir. دوم) توکتیچی الکترونیکی آلانیندا کایناکلار çok kısıtlıdır. تست modellerinin kapsamını ve böylece oluşturulan test adımlarının sayısını sürekli arttırmak elverişli değildir. iii) tüketici elektroniği alanındaki bir ürün ailesi genellikle yüzlerce sistem içerir. Bu sistemlerin barındırdıkları özellikler birbirlerinden farklıdır. Bu sebeple، MBT süreci ve test modelleri، çeşitliliğin sistematik olarak yönetimini ve test modellerinin tekrar kullanılabilirliğini sağlayacak şekilde esnek olmalıdır. İlk problemin üstesinden gelebilmek için, test modellerini, toplanan çalıştırma izlerini baz alarak, otomatik olarak güncelleyecek bir yaklaşım ve araç öneriyoruz. Bu izler araştırmaya yönetilik test aktiviteleri sırasında toplanmaktadır. Yapılan 3 vaka çalışması ile, güncellenen modeller üzerinden üretilen test adımları ile birçok kritik hata bulunmuştur. Bu hatalar daha önce araştırmaya yönetilik test aktiviteleri sırasında bulunamamıştı. İkinci hataya çözüm olarak, test modellerini, hataya neden olabilecek yollara odaklanarak test adımı üretilebilecek şekilde, 3 adımda iteratif olarak güncelliyoruz. تست modelleri olarak, durumlar arası geçişlere olasılık bilgilerini işleyebileceğimiz مارکوف زینسیرلرینی kullanıyoruz. İlk olarak, modeldeki bu olasılık bilgilerini kullanıcı پروفایل göre güncelliyoruz. İkinci olarak, statik kod analizlerinden çıkartılan hata ihtimaline göre modeldeki olasılık bilgilerini güncelliyoruz. Üçüncü güncelleme işlemimizi ise dinamik analizlerinden çıkartılan hata ihtimallerine göre gerçekleştiriyoruz. Her bir güncelleme iterasyonu sonrası, güncellenen olasılık bilgilerine göre, test adımlarını tekrar üretip çalıştırıyoruz. واکا چالیشمالاریندا، بو یاکلاشیم ایله هر بیر ائتراسیون سونراسی ینی هاتالار بولونموشتور. Çeşitlilik problemini adreslemek için ise, test edilen sistemdeki varyasyonları açıkça özellik modelleri ile kayıt altına alıyoruz. Test modelindeki durumların tümünü, özellik modellerinde opsiyonel ve alternatif olarak işaretliyoruz. Üretilen test adımlarının bu özelliklere odaklanabilmesi için, test modellerindeki geçiş olasılıklarını seçilen özelliklere göre güncelliyoruz. Bu yaklaşım sayesinde birçok sistem için test modellerinin tekrar kullanılabilmesi sağlanmıştır.
