عنوان
چارچوبي جهت توليد مدل در آزمون تبديل مدل با استفاده از الگوريتم‌هاي فراابتكاري
مقطع تحصيلي
دكتري
چكيده
تبديل مدل، يك جنبه‌ي كليدي در مهندسي مدل‌رانده براي ويرايش و ساخت مدل‌ها است و در نتيجه، صحت سيستم‌هاي نرم‌افزاري ساخته‌شده با رويكرد مهندسي مدل‌رانده عمدتاً بر صحت تبديل مدل متكي است؛ بنابراين، آزمون تبديل مدل از موضوعات تحقيقاتي رايج در سال‌هاي اخير بوده است. در آزمون تبديل مدل، توليد داده‌هاي آزمون از اهميت كليدي برخوردار است. مهم‌ترين اشكال اين است كه مجموعه‌هاي آزمون به‌راحتي در دسترس نيستند و بااينكه روش‌هاي متفاوتي كه براي توليد مدل اعم از روش‌هاي جعبه سفيد يا جعبه سياه در سال‌هاي اخير پيشنهاد شده است، رويكردهاي موجود براي توليد مدل نه‌تنها نيازمند ارائه‌ي فرامدلي است كه مدل‌ها بايد با آن مطابقت داشته باشند، بلكه برخي از مصنوعات خاص دامنه‌ي ديگر نيز نياز است. بااين‌حال، يك آزمونگر يا يك توسعه‌دهنده‌ي تبديل مدل كه قصد دارد پياده‌سازي تدريجي يك تبديل مدل را انجام دهد، ممكن است از همان ابتدا و درحالي‌كه تنها فرامدل را به عنوان ورودي در اختيار دارد، نياز داشته باشد تا يك مجموعه‌ي آزمون باكيفيت در اختيار داشته باشد، حتي قبل از اينكه همه‌ي الزامات تبديل مدل مشخص شوند. اين پژوهش، يك چارچوب جعبه سياه را براي توليد مدل‌هاي آزمون پيشنهاد مي‌كند كه در آن تنها فرامدلِ منبعِ تبديلِ مدل، يك ورودي اجباري است. در اين چارچوب، از دو الگوريتم بهينه‌سازي كلوني مورچه‌ها و بهينه‌ساز گرگ خاكستري به عنوان الگوريتم‌هاي فراابتكاري براي جستجوي مدل‌هاي آزمون در يك فضاي جستجو استفاده شده است كه دو هدف برازندگي، به نام‌هاي به حداكثر رساندن تنوع داخلي و به حداكثر رساندن تنوع خارجي را برآورده مي‌كنند. براي پشتيباني ابزاري و براي رسيدن به هدف موردنظر، نمونه‌ي اوليه چارچوبي به نام يكتا را ارائه مي‌كنيم كه اين رويكردها را پياده‌سازي كرده و مدل‌ها را در قالب XMI توليد مي‌كند. در آزمون تجربي، ارزيابي با بيش از 5000 تبديل مدل جهش‌يافته صورت گرفته و رويكرد پيشنهادي با دو ابزار شناخته‌شده در حوزه‌ي توليد مدل خودكار مقايسه شده است. مطالعه مقايسه‌اي با چارچوب‌هاي پيشرفته نشان مي‌دهد كه مدل‌ها در زمان‌هاي معقول با مصرف حافظه كم توليد مي‌شوند و يك امتياز كلي ارضاي جهش بالاي 80 درصد به دست آمده است كه برتري ابزار پيشنهادي در اين پژوهش را نسبت به روش‌هاي ديگر نشان مي‌دهد
شماره ركورد
227918
دانشگاه
دانشگاه اصفهان
رشته تحصيلي
مهندسي كامپيوتر - نرم افزار
استاد راهنما
شكوفه كلاه دوز رحيمي