0% Complete
English
صفحه اصلی
/
شانزدهمین کنفرانس بین المللی فناوری اطلاعات و دانش
مقایسه اثربخشی و سودمندی معیارهای پوشش آزمون نرم افزارهای مبتنی بر گرامر
نویسندگان :
عطیه منعمی بیدگلی
1
1- دانشگاه خوارزمی
کلمات کلیدی :
نرم افزار مبتنی برگرامر،آزمون مبتنی بر گرامر،معیارهای آزمون مبتنی بر گرامر،سودمندی،اثربخشی
چکیده :
نرم افزارهای مبتنی بر گرامر، به نرم افزارهایی اطلاق می شوند که ورودی آن بر اساس گرامر قابل بیان است؛ برای مثال، نرم افزارهای مهندسی معکوس، محاسبات تکاملی، برنامه نویسی انطباق پذیر در خط محصول و کنترل کننده های XMLاین گونه هستند؛ بنابراین می توان از این قابلیت نرم افزار، در آزمون آن استفاده کرد. در حیطه معیارهای پوششِ مخصوص آزمون نرم افزارهایِ مبتنی بر گرامر، معیارهایی از جمله، معیار پوشش قاعده، معیار پوشش قاعده مبتنی بر زمینه، معیار پوشش قواعد متوالی با طول N، معیار پوشش حلقه های با طول K و معیار پوشش کامل ارائه شده است، که هر کدام دارای مزایا و معایبی است از طرفی آزمون نرم افزار، یکی از پرهزینه ترین مراحل ساخت نرم افزار می باشد که این هزینه از نظر زمان و نیروی انسانی اهمیت بیشتری دارد در این مقاله، متریک هایی برای مقایسه سودمندی و اثربخشی معیارهای پوشش آزمونِ نرم افزارهای مبتنی بر گرامر، بر اساس ویژگی های درخت اشتقاق در طیِ فرآیندِ تولید موارد آزمون، معرفی شده است برای ارزیابی متریک های ارائه شده، علاوه بر استفاده از مورد مطالعه و مقایسه با فرآیند آزمون مبتنی بر موتاسیون، نتایج اعمال متریک ها روی نمونه ها برای روشهای تحلیلی موجود نیز مقایسه شده است نتایج نشان می دهد که روش ارائه شده در مقایسه با فرآیند آزمون مبتنی بر موتاسیون، کاهش قابل توجهی در زمان دارد.
لیست مقالات
لیست مقالات بایگانی شده
Design of low-latency Floating-Point units for Softmax Computation in Transformer-based Large Language Models
Hoda Ghabeli - Amir Sabbagh Molahosseini
AI-based Secure Intrusion Detection Framework for Digital Twin-enabled Critical Infrastructure
Tanisha Patel - Nilesh Kumar Jadav - Tejal Rathod - Sudeep Tanwar - Deepak Garg - Hossein Shahinzadeh
Design and Simulation of an Accident Prevention System Based on Weather Conditions and Internet of Things
Forouzan Dastbaz - Abdolah Chalechale
A Multi-Task Framework Using Mamba for Identity, Age, and Gender Classification from Hand Images
Amirabbas Rezasoltani - Alireza Hosseini - Ramin Toosi - MohammadAli Akhaee
A Topic Based Method to Classify the Question Clarity in CQA Networks
Alireza Khabbazan - Dr Ahmad Ali Abin
Wireless Virtual-Reality by considering Hybrid Beamforming in IEEE802.11ay standard
Nasim Alikhani - Abbas Mohammadi
ارائه یک سیستم توصیهگر آگاه به زمینه مبتنی بر رفتار کاربر در شبکه اجتماعی با استفاده از پیامهای برچسب شده جغرافیایی
زهرا امینی - سید علیرضا هاشمی گلپایگانی - علی میرزائی
Improving Long-Term Engagement of Insurance Brokerages by Providing Gamified Configurations Based on The Delphi Method
Hosein Bayati - Fattaneh Taghiyareh - Sahand Hashemi
Web Service Ranking based on QoS and Use Prefer
Seyed Hossein Siadat - Danial Ramezani - Fatemeh Ahani
A parallel approach to the fractional time delay model for predicting the spread of COVID-19
Mahdi Movahedian Moghaddam - Kourosh Parand
بیشتر
ثمین همایش، سامانه مدیریت کنفرانس ها و جشنواره ها - نگارش 44.5.0