ارایه یکرویکرد خودکار جهت تولید داده آزمون بر پایه الگوریتم های جستجو

یکی از عناصر کلیدی در مبحث کیفیت نرم افزار، آزمون نرم افزار است. معیار آزمون مجموعه ای از قوانین مهندسی است که الزامات خاصی را در طراحی آزمون ها، مانند آزمودن هر مسیر، تعریف میکند. یکی از جنبه های فرآیند آزمون نرم افزار، تولید ورودی های آزمون است. تولید داده آزمون در زمره فعالیت های متکی بر نیروی انسانی متخصص و از جمله فعالیت های پرهزینه محسوب می شود. یک روش خودکار آزمون نرم افزار، می تواند هزینه توسعه نرم افزار را به طور چشمگیری کاهش دهد. درواقع تولید خودکار داده آزمون، گامی اساسی در راستای خودکارسازی فرآیند آزمون نرم افزار به منظور کاهش هزینه و زمان آزمون است. پژوهش حاضر به مطالعه ی یک رویکرد موثر در ارتباط با آزمون خودکار نرم افزار، با هدف بیشینه نمودن پوشش مسیرهای برنامه تحت آزمون در زمان در دسترس می پردازد. این رویکرد الگوریتم جایگزین متغیر نام دارد و در تولید ورودی آزمون مبتنی بر جستجو به کار برده می شود. تولید داده آزمون به روش مبتنی بر جستجو علاوه بر اینکه پیاده سازی راحتتری دارد، در خودکارسازی آزمون هم موفق بوده است. به منظور بررسی نتایج و پوشش مسیرهای بیشتر برنامه در زمان کوتاه تر، دو رویکرد جستجوی موضعی متفاوت جهت تلفیق با الگوریتم جایگزین متغیر معرفی می گردد. آنالیز تیوریکی زمان اجرا ثابت می کند که تحت شرایط خاص استفاده از این جستجوها موجب کارایی بهتری نسبت به استفاده از الگوریتم جایگزین متغیر اولیه می گردد. نتایج فوق از طریق مطالعه ی حاضر تایید می گردد.

کلیدواژه ها:

آزمون نرم افزار ، خودکارسازی آزمون ، تولید داده آزمون ، پوشش مسیر ، الگوریتم های جستجو ، روش جایگزین متغیر