تولید آرایه پوشش با استفاده از الگوریتم های فرا ابتکاری نوین و وارسی مدل جهت واکشی خودکار (اتوماتیک) اطلاعات

در دهه های اخیر، توسعه روشهای آزمون ترکیبی برای ارزیابی کیفیت نرمافزارها اهمیت بسیاری پیداکرده است. در این راستا، ابزارهای وارسی مدل مانند GROOVE ، توانایی استخراج متغیرها ومقادیرشان را از مدلها دارند. هدف این پایان نامه، استخراج و بهبود راهکار آزمون ترکیبی با استفاده ازالگوریتم فرامکاشفه ای جغرافیای زیستی در وارسی مدل است . ابتدا، با استفاده از ابزار GROOVE ، یکمدل اولیه را دریافت می کنیم. سپس، متغیرها و مقادیرشان را از این مدل استخراج می کنیم. با در اختیارداشتن این متغیرها و مقادیر، یک آزمون ترکیبی را طراحی و اجرا میکنیم. بعد از آن، با استفاده ازالگوریتم فرامکاشفه ای جغرافیای زیستی، دنباله آزمون کمینه را برای آرایه پوشش با قوه متغیر(VSCA) تولید می کنیم .نتایج ارزیابی نشان می دهد که راهکار پیشنهادی در این پایان نامه، قدرت بسیار بالاتری نسبت بهراهکارهای قبلی در ارزیابی کیفیت نرم افزارها دارد. با استفاده از وارسی مدل و الگوریتم فرامکاشفه ایجغرافیای زیستی، میتوان بهبود قابل توجهی در روشهای آزمون ترکیبی دستیافت و کیفیت نرم افزارهارا بهبود داد . در نتیجه، این پایان نامه به عنوان یک مطالعه پیشرو در حوزه استخراج متغیرها ومقادیرشان از مدلها و بهبود راهکارهای آزمون ترکیبی با استفاده از الگوریتم فرامکاشفه ای جغرافیایزیستی در وارسی مدل، ضروری و قابل توجه است. نتایج این پژوهش میتوانند به ارتقای کیفیتنرم افزارها و بهبود فرآیند توسعه نرمافزارها کمک شایانی کنند.

کلیدواژه ها:

آزمون ترکیبی ، وارسی مدل ، الگوریتم جغرافیای زیستی