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