افزایش قابلیت اطمینا ن در آزمون نرم افزار با استفاده از شبکه بیزین و الگوریتم رقابت امپریالیستی

تحلیل مسیرهای برنامه و آزمون نرمافزار یکی از مهمترین مراحل ایجاد نرم افزار است. از طرفی با توجه به گستردگیبرنامه های نرم افزاری حاضر، استفاده از تحلیل دستی عملا غیرممکن است. ازاین رو راهکارهای مختلفی برای تحلیل و بررسیمسیرهای مختلف برنامه نرم افزاری ارائه شده است تا بتوان مسیرهای مختلف را بررسی نمود. ولی راهکارهای گذشته دارایسربار پردازشی بالا و دقت پایین در بررسی تمامی مسیرهای برنامه هستند و قادر نیستند تا تقریبا تمامی مسیرهای برنامه راپوشش دهند. همچنین مستند گذاری خودکار نیز انجام نمی شود. این در حالی است که در روش پیشنهادی مقاله، سعی برپوشش تقریبا تمامی مسیرهای برنامه است و در این راستا از شبکه های بیزی و رقابت امپریالیستی کمک گرفته شده است.در روش پیشنهادی، هدف، ارائه یک ابزار جهت افزایش قابلیت اطمینان برنامه با استفاده از افزایش مسیرهای پوشش دادهشده است. ورودی این ابزار یک برنامه به زبان c و یک فایل حاوی بازه های پیش فرض برای پارامترهای ورودی برنامه موردآزمون است. خروجی های این ابزار، شامل فایل های محتوی بلک های اولیه برنامه مورد آزمون، ارتباطات ایستای بلاک هایاولیه (گراف جریان کنترلی)، برنامه مستندگذاری شده در سطح بلاک های اولیه، فایل حاوی موارد آزمون تصادفی تولید شده،مسیرهای طی شده توسط برنامه و تعدادی فایل دیگر جهت بررسی روند انجام کار است. این ابزار همچنین قابلیت ایجاد شبکهبیزین مربوط به برنامه مورد آزمون و احتمالات شرطی گره های شبکه بیزین نسبت به هم و نسبت به بازه های ارائه شده را دارد.

Keywords:

آزمون نرم افزار , رقابت امپریالیستی , شبکه بیزین , مستند گذاری , آرایه های پوششی