0% Complete
فارسی
Home
/
شانزدهمین کنفرانس بین المللی فناوری اطلاعات و دانش
مقایسه اثربخشی و سودمندی معیارهای پوشش آزمون نرم افزارهای مبتنی بر گرامر
Authors :
عطیه منعمی بیدگلی
1
1- دانشگاه خوارزمی
Keywords :
نرم افزار مبتنی برگرامر،آزمون مبتنی بر گرامر،معیارهای آزمون مبتنی بر گرامر،سودمندی،اثربخشی
Abstract :
نرم افزارهای مبتنی بر گرامر، به نرم افزارهایی اطلاق می شوند که ورودی آن بر اساس گرامر قابل بیان است؛ برای مثال، نرم افزارهای مهندسی معکوس، محاسبات تکاملی، برنامه نویسی انطباق پذیر در خط محصول و کنترل کننده های XMLاین گونه هستند؛ بنابراین می توان از این قابلیت نرم افزار، در آزمون آن استفاده کرد. در حیطه معیارهای پوششِ مخصوص آزمون نرم افزارهایِ مبتنی بر گرامر، معیارهایی از جمله، معیار پوشش قاعده، معیار پوشش قاعده مبتنی بر زمینه، معیار پوشش قواعد متوالی با طول N، معیار پوشش حلقه های با طول K و معیار پوشش کامل ارائه شده است، که هر کدام دارای مزایا و معایبی است از طرفی آزمون نرم افزار، یکی از پرهزینه ترین مراحل ساخت نرم افزار می باشد که این هزینه از نظر زمان و نیروی انسانی اهمیت بیشتری دارد در این مقاله، متریک هایی برای مقایسه سودمندی و اثربخشی معیارهای پوشش آزمونِ نرم افزارهای مبتنی بر گرامر، بر اساس ویژگی های درخت اشتقاق در طیِ فرآیندِ تولید موارد آزمون، معرفی شده است برای ارزیابی متریک های ارائه شده، علاوه بر استفاده از مورد مطالعه و مقایسه با فرآیند آزمون مبتنی بر موتاسیون، نتایج اعمال متریک ها روی نمونه ها برای روشهای تحلیلی موجود نیز مقایسه شده است نتایج نشان می دهد که روش ارائه شده در مقایسه با فرآیند آزمون مبتنی بر موتاسیون، کاهش قابل توجهی در زمان دارد.
Papers List
List of archived papers
A Swarm Intelligence Approach to Design Optimal Repeaters in Multilayer Graphene Nanoribbon Interconnects
Majid Sanaeepur - Maryam Momeni
AI-Driven Approach to Detect Equivalent Elements within Domain Models
Mohammad-Sajad Kasaei - Mohammadreza Sharbaf - Afsaneh Fatemi - Bahman Zamani
KGLM-QA: A Novel Approach for Knowledge Graph-Enhanced Large Language Models for Question Answering
Alireza Akhavan safaei - Pegah Saboori - Reza Ramezani - Mohammadali Nematbakhsh
آرتمیا: پروتکل مسیریابی مبتنی بر انجمن و آگاه به نظم تماس در شبکة اجتماعی متحرک تأخیرپذیر
سعید مرادی - جمشید باقرزاده محاسفی
A Potential Solutions-Based Parallelized GA for Application Graph Mapping in Reconfigurable Hardware
Seyed Mehdi Mohtavipour - Hadi Shahriar Shahhoseini
A No-Code Platform for Developing Customizable Recommender Systems for Restaurants
Moein-Aldin AliHosseini - MohammadReza Sharbaf
Mamba-SAM: A Hybrid Architecture for Efficient Cardiac MRI Medical Image Segmentation
Mohammadreza Gholipour Shahraki - Mehdi Rezaeian - Mohammad Ghasemzadeh
Heart Sound Classification based on Group-based Sparse Features of PCG Signal
Zahra Hossein-Nejad - Mehdi Nasri
سیستم پیشنهاددهنده غذای سالم با استفاده از داده کاوی عادت های تغذیه ای کاربران
محمد عباسی - مریم حسینی پزوه - محمدرضا شمس
Presenting an Edge-based Air Quality Management System for Smart City Scenarios
Tina Samizadeh Nikoui - Ali Balador - Amir Masoud Rahmani - Hooman Tabarsaied
more
Samin Hamayesh - Version 42.5.2