
چکیده
رگرسیون این اطمینان را حاصل میکند که تغییرات بر روی رفتار کنونی نرم افزار اثر نامطلوبی نگذاشته است. یکی از تکنیک های تست رگرسیون تکنیک اولویت بندی است که باعث افزایش کارایی تست میشود. تکنیک های اولویت بندی موارد تست در بهبود تشخیص نرخ خطای تست رگرسیون موثراند. با این حال، بیشتر تکنیک های پیشنهاد شده قبلی برای خطاهای تشخیص داده شده در طول تست، شدت برابری را در نظر میگیرند که در عمل اینگونه نیست. علاوه بر این، بیشتر تکنیک های موجود برروی اطلاعات قبلی بدست آمده از اجرای موارد تست قبلی یا تغییر در کد برنامه تکیه میکنند و تعداد کمی از آنها میتوانندبهطور مستقیم برای تست غیر رگرسیون استفاده شوند.در این رساله،با هدف بهبود نرخ تشخیص خطا برای تست رگرسیون و همچنین تست غیر رگرسیون، پیشنهاد کردیم یک رویکرد جدید اولویت بندی موارد تست را با استفاده از شبکههای بیزی با تکیه بر تجزیه تحلیل ساختار برنامه تحت تست.برای پیاده سازی رویکرد پیشنهادی،ما از ابزار Netica و همچنینروش کد نویسی در نرم افزار MATLAB استفاده میکنیم.و همچنین از متریک APFD(متوسط درصد شناسایی خطا) جهت ارزیابی نرخ تشخیص خطا در این رساله تکیه میکنیم. و روش مبتنی بر شبکههای بیزی بر اساس تجزیه و تحلیل ساختار برنامه را ارائه خواهیم نمود. در نهایت با کمک یک بررسی موردی، کاربرد روش خود را نشان میدهیم. نتایج مقایسه تکنیک پیشنهادی با سایر تکنیک ها نشان میدهد که روش ارائه شده نسبت به سایر روشها نتیجه دقیق تری را ارائه مینماید.ضمن اینکه روش پیشنهادی قادر به تصمیم گیری در وضعیت عدم قطعیت هم می باشد و این به عنوان ویژگی محسوب می شود. همچنین علاوه بر در نظر گرفتن معیار احتمال ابتلا به خطا و اهمیت خطا ، معیارهایی نظیر اثر گذاری خطای ماژول بر دیگر ماژولها و شدت خطای هر ماژولرا نیز مورد توجه قرار میدهد و به همین خاطر روشی کاملتر از روش مشابهمیباشدو این توانایی را دارد که علاوه بر تست رگرسیون در تست توسعه نرم افزار هم مورد استفاده قرار بگیرد.
کلمات کلیدی : تست رگرسیون ، شبکه های بیزی ، اولویت بندی موارد تست، نرخ تشخیص خطا
فهرست رئوس مطالب
فصل اول : مقدمه و کلیات تحقیق
1-1 - یک شیوه استراتژیک برای آزمایش نرم افزار. 5
1-3- برخی از انواع سطوح تست نرم افزار . 6
1-4- آشنایی با شبکه های بیزی. 9
1-4-1- مقدمه ای بر شبکه های بیزی. 9
1-7- چالش موجود در تست رگرسیون. 17
1-8- راه حل برای چالش موجود در تست رگرسیون. 17
1-9- توجیه ضرورت انجام طرح. 18
فصل دوم : ادبیات و پیشینه تحقیق
2-1-2- بررسی مشکلات موجود در روشهای مطالعه شده قبلی 22
2-6- قانون Paretoدر فرآیند تست نرم افزار. 26
2-7- چند نمونه از انواع تست. 27
2-9- ویژگیهای یک نرمافزار تست پذیر. 28
2-10- ویژگیهای یک تست خوب. 29
2-11- طراحی نمونههای آزمایش. 30
2-11- 5 خطاهای متداول محاسبه که اغلب مشاهده میشوند. 32
2-12- آزمایش یکپارچه سازی . 32
2-14- متدولوژی های مربوط به تست رگرسیون. 35
2-14-1- اجرای مجدد همه ی تست ها . 35
2-14-2- انتخاب تست رگرسیون . 36
2-14-4- اولویت بندی موارد تست . 36
2-15-1- مقدمه ای بر اولویت بندی. 37
2-15-2 - معیارهای اولویت دهی. 38
2-15-3- اولویت بندی موارد تست. 39
2-16-1- مقدمه ای برای متریک. 39
2-17- متریک های تست نرم افزار. 40
2-17-1- خواص متریک ها در شرایط ایده آل. 40
2-18- معیار و متریک در تست نرم افزار. 43
2-18-1- مراحل انجام کاردر فرایند اندازه گیری. 43
2-20- مزایای استفاده از متریک ها. 44
2-21-1- استنتاج با استفاده از توزیع توام کامل. 45
2-21-2- مشکلات استنتاج با توزیع توام کامل و راه حل آن ها 47
2-21-3- مثالی از شبکه های بیزی. 48
2-22- مفاهیم شبکه های بیزی. 50
2-22-1- نمایش توزیع توام کامل. 50
2-22-2- رابطه های استقلال شرطی در شبکه های بیزی. 52
2-22-3- نمایش کارآمد توزیع های شرطی. 53
2-23- یادگیری شبکه های بیزی. 54
2-24- استنتاج دقیق در شبکه های بیزی. 55
2-25- استنتاج بوسیله محاسبه تک تک عناصر احتمالی. 55
2-27- استنتاج تقریبی در شبکه های بیزی. 58
2-28- روشهای نمونهگیری مستقیم. 58
2-28-1- نمونه گیری با رد کردن. 59
2-28-2- نمونه گیری وزن دار. 60
2-28-3- نمونه گیری زنجیره مارکوفی. 61
2-28-4- جمع بندی شبکههای بیزی. 62
2-29- تحولات انجام شده تا کنون. 63
فصل سوم : روش تحقیق
-3 انگیزه و هدف ما از ارائه این رویکرد. 66
3-1-1- روند کلی در رویکرد پیشنهادی. 68
3-2- محاسبه و استخراج شاخصها برای ماژولها. 70
3-3 - معیارهای رویکرد پیشنهادی. 70
3-3-2- احتمال ابتلا به خطای ماژول. 72
3-3-3- اثرگذاری خطای ماژول بر دیگر ماژولها. 72
3-4- شاخصهای وزن دهی به ماژول ها. 74
3-7- محاسبه جداول احتمال شرطی. 76
3-8- تبدیل اندازهی کیفی صفت هابه مقادیرکمی. 79
3-9-روش اول برای صفت های سه حالته. 79
3-9-1- مثالی از روش اول برای صفت های سه حالته. 80
3-10- روش دوم برای صفتهای سه حالته. 81
3-10-1- مثالی از روش دوم برای صفت های سه حالته. 81
3-11- تبدیل اندازهی کیفی صفت های غیرهم وزن به مقادیرکمی 82
3-11-1- مثالی از روش تبدیل اندازهی کیفی صفت های غیرهم وزن به مقادیرکمی. 83
3-12- پیاده سازی مدل تست کارآمد نرم افزار با استفاده از نرم افزار Netica. 85
3-13- پرکردن جدول احتمال شرطی با استفاده از کد نویسی 87
3-14- نمونه هایی از جداول احتمال شرطی فاکتورهای تست و کارآمدی اولویت بندی. 90
3-15- پیاده سازی رویکرد پیشنهادی در مثال واقعی. 94
فصل چهارم : محاسبات و یافته های تحقیق
- 4 1- ارزیابی مدل پیشنهادی. 97
4-3- اولویت بندی با کمک تکنیک شبکه های بییزی . 98
4-4- اولویت بندی با تکنیک اصلی . 101
4-5- اولویت بندی با تکنیک تصادفی. 102
4-6- مقایسه روش های اولویت بندی با روش پیشنهادی. 103
فصل پنجم : نتیجه گیری و پیشنهادات
پیوست الف: واژه نامه ی فارسی به انگلیسی. 111
پیوست ب: واژه نامه ی انگلیسی به فارسی. 114
جدول2-1: توزیع یک قلمرو ساده45
جدول2-2 : سیر تحولات در مورد اولویت بندی موارد تست63
جدول3-1 : سیستمی ساده شامل 10 ماژول و 10 مورد تست67
جدول3-2 : سطح شدت خطای هر ماژول74
جدول3-3 : تعداد سطرهای جدول احتمال شرطی فاکتورهای تست78
جدول3-4 : انتساب مقدار عددی به اندازههای کیفی در صفتهای سه حالته79
جدول3-5 : بازههای تبدیل میانگین به اندازههای کیفی در صفتهای سه حالته80
جدول3-6 : نمونه سطری از جدول احتمال شرطی فاکتوراحتمال ابتلا به خطای ماژول، سه حالته81
جدول3-7 : سطری از جدول احتمال شرطی احتمال ابتلا به خطای ماژول با سه ویژگی فرعی82
جدول3-8 : نمونه سطری از جدول احتمال شرطی فاکتوراحتمال ابتلا به خطای ماژول، سه حالته85
جدول3-9 : اندازه درصد احتمال حالتها در فاکتورها بدون مشاهده ویژگیهای فرعی، سه حالته87
جدول3-10: اندازه ویژگیهای فرعی در یک پروژه نرم افزاری نمونه94
جدول4-1: تعداد خطای شناسایی شده توسط موارد تست با توجه به زمان کل هر مورد تست98
فهرست تصاویر و نمودار
شکل2-2 : شبکه بیزی قلمرو دستگاه آژیر48
شکل3-2 : ارائه مفاهیم ساختاری به دو صورت معمول53
شکل4-2 : جواب به درخواست با محاسبه عبارت بهینهتر56
شکل5-2 : الگوریتم حذف متغیر57
شکل6-2 : الگوریتم نمونهگیری با رد کردن59
شکل7-2 : الگوریتم نمونهگیری وزندار61
شکل8-2 : الگوریتم نمونهگیری وزندار62
شکل3-1 : ماژول های یک سیستم ساده نرم افزاری66
شکل3-2 : یک پیاده سازی عمومی برای چارچوب مبتنی بر شبکه های بیزی69
شکل3-3 : گراف شبکه بیزی تست کارآمد نرم افزار75
شکل3-4 : پیاده سازی مدل تست کارآمد نرم افزار با استفاده ازنرم افزار Netica86
شکل3-5 : شبه کد پر کردن جدول احتمال شرطی برای اهمیت ماژول با دو ویژگی فرعی88
شکل3-6 : شبه کد پر کردن جدول احتمال شرطی برای تعداد خطاها با سه ویژگی فرعی89
شکل3-7 : جدول احتمال شرطی تعداد موارد تست90
شکل3-8 : جدول احتمال شرطی تعداد خطاها91
شکل3-9 : جدول احتمال شرطی اهمیت ماژول92
شکل3-10 : جدول احتمال شرطی کارآمدی نهایی تست نرم افزار93
شکل3-11 : پیاده سازیمدلتست کارآمد نرم افزار بروی سیستم مدیریت پرونده های قضایی95
شکل4-1 : نمودار نرخ شناسایی خطا با روش BN برای اولویت بندی موارد تست100
شکل4-2 : نمودار نرخ شناسایی خطا با روش Orginal برای اولویت بندی موارد تست102
شکل4-3 : نمودار نرخ شناسایی خطا با روش Random برای اولویت بندی موارد تست103
شکل4-4 : نمودار مقایسه نتایج روش پیشنهادی با دو روش دیگر در نرخ شناسایی خطا104
فصل اول
مقدمه و کلیات تحقیق
سیستم های نرم افزاری امروزه با فراگیر شدن در علوم مختلف نقش بسیار مهمی را در برطرف نمودن نیازها و خواستههای مشتریان ایفا میکنند و همچنین به عنوان یک جزء اصلی و لاینفک در امور روزمره به حساب میآیند. با گسترش روز افزون تولید سیستم های نرم افزاری همچنان تقاضا برای تولید سیستم های نرم افزاری جدید وجود دارد. بحث مهمبعد از تولید نرم افزارها نگهداری و ارتقاء آنها میباشد. وجود خطا و اشتباه در نرم افزارها میتواند منجر به خسارات زیادی از قبیل هزینههای مالی، زمانی، فیزیکی وحتی در برخی کاربردهای حساس و بحرانی مانندکاربردهای پزشکی، کنترل کننده موشک و کنترل کنندههای ترافیک هوایی خسارت جانی را نیز به بار آورد. از این رو برای اینکه قابلیت اطمینان را در استفاده از سیستم های نرم اقزاری افزایش دهیم باید نرم افزار را مورد تست قرار دهیم. تست نرم افزار در توسعه سیستم های نرم افزاری از جایگاه مهم و با ارزشی برخوردار است. بهخصوص در سیستم های نرم افزاری مقیاس بزرگ و پیچیده امروزی. زیرا فعالیتهای تست هم زمان بر و هم هزینه بر هستند. نرم افزارها برای اینکه ارتقاء یابند میبایست توسعه داده شوند و نسبت به نسخههای اولیه رشد و تکامل یابند. یکی از فعالیتهای مهم و هزینه بر در جهت ارتقاء نرم افزار تست نرم افزار است که انواع متفاوتی از تست برای بخشهای مختلف و در زمانهای مختلف طراحی و ایجاد شدهاند. تست فرآیندی است مخرب که محصول نرم افزاری را مورد حمله قرار میدهد تا اینکه خطا بروز کند. تست نرم افزار شامل تحقیق و بررسی بر روی نرم افزار تولید شده است که این تحقیق و برسی برای پیدا کردن خطاهاانجام میشود. به طور کلی یک سری از سوال و جوابهایی هستند که نرمافزار را با آن امتحان میکنیم در حالی که از برنامه انتظار داریم با توجه به ورودیهایی که با استفاده از سوالات وارد میکنیم، جوابهای صحیحی را به عنوان خروجی به دست دهد.آزمایش نرمافزار حیطه وسیعی از فعالیتهای مربوط به تولید برنامههای رایانهای را دربرمیگیرد که از آزمایش کردن کد برنامه توسط برنامهنویس گرفته تا نشان دادن عملکرد درست یک سیستم اطلاعاتی بزرگ به مشتری.سازمانها یا شرکتهایی که نرم افزارها را توسعه میدهند، محصولی به نام نرم افزار تولید میکنند. ولی چه عامل یا عواملی باعث میشوند که یک نرم افزار از نرم افزار مشابه دیگر متمایز و برجسته شود؟ عوامل متعددی را میتوان نام برد که باعث این برتری و تمایز شود اما یکی از این عوامل میتواند کیفیت محصول نهایی باشد که به بازار عرضه خواهد شد. اما برای رسیدن به این نقطه برتری، باید چگونه عمل کرد و اندیشید؟ یکی از پاسخهابه این سوال بدون شک تست نرم افزار و نحوه انجام آنمیتواند باشد.
اهمیتآزمایشنرمافزارواثراتآنبرکیفیتنرمافزارنیازبهتأکیدبیشترندارد.Deutch دراینبارهاینگونهبیانمینماید: توسعهسیستمهاینرمافزاریشاملیکسریفعالیتهایتولیدمیباشدکهامکاناشتباهاتانسانیدرآنزیاداست.خطاهادرابتداییکفرآیندومراحلتوسعهبعدیآنظهورمینمایند. بهدلیلعدمتواناییانجامکارهاوبرقراریارتباطبهصورتکامل،توسعهنرمافزارهموارهبافعالیتتضمینکیفیتهمراهاست. آزمایشنرمافزارعنصریحیاتیازتضمینکیفیتنرمافزارمیباشدومرورتقریبیمشخصه،طراحی،وتولیدکدرانشانمیدهد.[1]
1-1 – یکشیوهاستراتژیکبرایآزمایشنرمافزار
آزمایش،مجموعهفعالیتهاییاستکهمیتواندازقبلبهصورتسیستماتیکبرنامهریزیوهدایتشوند . بهایندلیل، الگوییبرایآزمایشنرمافزاربایدبرایفرآیندنرمافزارتعریفشود. اینالگوشاملمجموعهمراحلیاستکهمیتوانتکنیکهایخاصطراحینمونههایآزمایشوروشهایآزمایشرادرآنقرارداد.
چنداستراتژیآزمایشنرمافزاردراینرابطهپیشنهادشدهاست . همهآنهابرایتوسعهدهندهنرمافزار،الگوییرابهمنظورآزمایشفراهممیکنندوهمگیدارایخصوصیاتزیرهستند:
ü آزمایش از سطح مؤلفه شروع میشود به سمت خارج در جهت مجتمع سازی کل سیستم کامپیوتری پیش میرود.
ü تکنیک های متفاوت آزمایش، در نقاط زمانی مختلف مناسب می باشند.
ü آزمایش توسط توسعه دهنده نرم افزار و برای پروژههای بزرگ توسط گروه مستقل آزمایش، هدایت میشود.
ü آزمایش و اشکال زدایی فعالیتهای متفاوتی هستند، اما اشکال زدایی باید با هر استراتژی آزمایش همراه باشد.
یک استراتژی برای آزمایش نرم افزار باید آزمایشهای سطح پایینی را هدایت کند که برای بازبینی صحت پیاده سازی یک قطعه کد کوچک لازم می باشند.همچنین این استراتژی باید آزمایشهای سطح بالایی را سازمان دهی کند که اکثر توابع سیستم را در رابطه با نیازهای مشتری اعتبار سنجی می نمایند. یک استراتژی باید راهنماییهایی را برای مجری و مجموعه ای از علایم نشان دهنده را برای مدیر فراهم نماید. چون این مراحل استراتژی آزمایش زمانی انجام می شوند که فشار مربوط به پایان مهلت، شروع به افزایش مینماید، پیشرفت باید قابل اندازه گیری باشد و مشکلات باید تا حد امکان به سادگی برطرف شوند.
آزمایش، موارد غیر معمول جالب توجه ای را برای مهندس نرم افزار آشکار مینماید. در ضمن فعالیتهای اولیه مهندسی نرم افزار، مهندس، سعی در ایجاد نرم افزار با استفاده از مفهومی مجرد و بدست آوردن محصولی واضح و کامل دارد و اینک آزمایش باید انجام شود .مهندس تست یکسری نمونههای آزمایش ایجاد می کند که باید نرم افزار ایجاد شده را با شکست روبرو نماید. در واقع، آزمایش، یک مرحله در فرآیند نرم افزار است که می تواند به عنوان فرآیندی مخرب به جای سازنده در نظر گرفته شود (حداقل از نظر روانشناسی) به هرحال هدف از آزمایش چیزی متفاوت از آنچه انتظار می رود می باشد. در بسیاری از شرکتها حدود 30 تا 50 درصد از هزینه نرم افزار را صرف تست آن میکنند، با این وجود برخی هنوز هم بر این عقیدهاند که نرم افزارها قبل از انتشار و تحویل به مشتری به درستی تست نمیشوند. چند دلیل باعث این باور میشوند : اول اینکه انجام تست نرم افزار امری است بسیار مشکل. دوم اینکه معمولاَ به خاطر زمانبر بودن و دیگر عوامل از قبیل : هزینهی بالای تست نرم افزار ، فشارهای وارده از سوی بازار ، مشتری و رقبا منجر به این شدهاند تا مدت زمان اختصاص داده شده برای انجام تست بسیار کمتر از دیگر بخشهای فرایند تولید نرم افزار گردد. دلیل دیگر نداشتن برنامه (استفاده از متدولوژی و ابزاری مشخص) برای تست کردن میباشد. با این وجود تمامی شرکتهای تولید کننده نرم افزار با هدف تولید نرم افزاری با کیفیت و افزایش رضایتمندی مشتری، محصول خود را مورد تست قرار میدهند. کیفیت چیزی است که ما در تمامی چرخه تولید نرم افزار از قبیل تولید محصولات نرم افزاری ، فرایندها و خدمات ارائه شده به مشتری یا کاربران به دنبال آن هستیم. [2]