0% Complete
English
صفحه اصلی
/
شانزدهمین کنفرانس بین المللی فناوری اطلاعات و دانش
مقایسه اثربخشی و سودمندی معیارهای پوشش آزمون نرم افزارهای مبتنی بر گرامر
نویسندگان :
عطیه منعمی بیدگلی
1
1- دانشگاه خوارزمی
کلمات کلیدی :
نرم افزار مبتنی برگرامر،آزمون مبتنی بر گرامر،معیارهای آزمون مبتنی بر گرامر،سودمندی،اثربخشی
چکیده :
نرم افزارهای مبتنی بر گرامر، به نرم افزارهایی اطلاق می شوند که ورودی آن بر اساس گرامر قابل بیان است؛ برای مثال، نرم افزارهای مهندسی معکوس، محاسبات تکاملی، برنامه نویسی انطباق پذیر در خط محصول و کنترل کننده های XMLاین گونه هستند؛ بنابراین می توان از این قابلیت نرم افزار، در آزمون آن استفاده کرد. در حیطه معیارهای پوششِ مخصوص آزمون نرم افزارهایِ مبتنی بر گرامر، معیارهایی از جمله، معیار پوشش قاعده، معیار پوشش قاعده مبتنی بر زمینه، معیار پوشش قواعد متوالی با طول N، معیار پوشش حلقه های با طول K و معیار پوشش کامل ارائه شده است، که هر کدام دارای مزایا و معایبی است از طرفی آزمون نرم افزار، یکی از پرهزینه ترین مراحل ساخت نرم افزار می باشد که این هزینه از نظر زمان و نیروی انسانی اهمیت بیشتری دارد در این مقاله، متریک هایی برای مقایسه سودمندی و اثربخشی معیارهای پوشش آزمونِ نرم افزارهای مبتنی بر گرامر، بر اساس ویژگی های درخت اشتقاق در طیِ فرآیندِ تولید موارد آزمون، معرفی شده است برای ارزیابی متریک های ارائه شده، علاوه بر استفاده از مورد مطالعه و مقایسه با فرآیند آزمون مبتنی بر موتاسیون، نتایج اعمال متریک ها روی نمونه ها برای روشهای تحلیلی موجود نیز مقایسه شده است نتایج نشان می دهد که روش ارائه شده در مقایسه با فرآیند آزمون مبتنی بر موتاسیون، کاهش قابل توجهی در زمان دارد.
لیست مقالات
لیست مقالات بایگانی شده
جانمایی توزیعشده محتوا برای ذخیرهسازی موقت در شبکههای سلولی کوچک با حضور کاربران مخرب
زهرا رشیدی - دکتر وصال حکمی - حانیه سلمانطاهری زهرا رشیدی - وصال حکمی - حانیه سلمانطاهری -
Silicon photonic microring resonators: A Novel optical router based on Negative-First routing algorithm
Negin Bagheri Renani - Elham Yaghoubi
روش مهاجرت خوشهای برای بهبود بستربندی به مشتری در گردشکارهای بدون سرویسدهنده
محمدامین قسوری جهرمی - مهرداد آشتیانی - فاطمه بخشی
تشخیص و جلوگیری از حمله انعکاسی/تقویتی SSDP در شبکه های نرم افزار محور مبتنی بر 4P با استفاده از الگوریتم های یادگیری ماشین
امیرحسین کرمی - رضا محمدی
رویکرد تطبیقی-ترکیبی در پیادهسازی مشارکت الکترونیکی پایدار: درسآموختههای بینالمللی و مدل پیشنهادی ایران
عاطفه فرازمند - فاطمه پاک مهر
A New Routing Protocol in Internet of Vehicles Inspired of Spread Model of the Covid-19 Virus
Taha Yasin Rezapour - Esmaeil Zeinali - Reza Ebrahimi Atani - Mohammad Mehdi Gilanian Sadeghi
پیشبینی بستری مجدد بیماران با استفاده از استخراج مفاهیم زیستپزشکی از متون بالینی
فهیمه شاهرخ شهرکی - رسول سامانی - دکتر ناصر قدیری فهیمه شاهرخ شهرکی - رسول سامانی - ناصر قدیری -
تشخیص خودکار اختلال عروقی ماکولا با عنوان عروق گسترش یافته در تصاویر آنژیوگرافی حاصل از تصویربرداری OCTA
راضیه گنجی - دکتر محسن ابراهیمی مقدم - دکتر رامین نوری نیا
Impact of ICT and Digital Evolution on Capital Structure in Companies
Ali Noori
DRL-Based Phase Optimization for O-RIS in Dual-Hop Hard Switching FSO/RIS-aided RF and UWOC Systems
Aboozar Heydaribeni - Hamzeh Beyranvand - Sahar Eslami
بیشتر
ثمین همایش، سامانه مدیریت کنفرانس ها و جشنواره ها - نگارش 43.8.0