0% Complete
English
صفحه اصلی
/
شانزدهمین کنفرانس بین المللی فناوری اطلاعات و دانش
مقایسه اثربخشی و سودمندی معیارهای پوشش آزمون نرم افزارهای مبتنی بر گرامر
نویسندگان :
عطیه منعمی بیدگلی
1
1- دانشگاه خوارزمی
کلمات کلیدی :
نرم افزار مبتنی برگرامر،آزمون مبتنی بر گرامر،معیارهای آزمون مبتنی بر گرامر،سودمندی،اثربخشی
چکیده :
نرم افزارهای مبتنی بر گرامر، به نرم افزارهایی اطلاق می شوند که ورودی آن بر اساس گرامر قابل بیان است؛ برای مثال، نرم افزارهای مهندسی معکوس، محاسبات تکاملی، برنامه نویسی انطباق پذیر در خط محصول و کنترل کننده های XMLاین گونه هستند؛ بنابراین می توان از این قابلیت نرم افزار، در آزمون آن استفاده کرد. در حیطه معیارهای پوششِ مخصوص آزمون نرم افزارهایِ مبتنی بر گرامر، معیارهایی از جمله، معیار پوشش قاعده، معیار پوشش قاعده مبتنی بر زمینه، معیار پوشش قواعد متوالی با طول N، معیار پوشش حلقه های با طول K و معیار پوشش کامل ارائه شده است، که هر کدام دارای مزایا و معایبی است از طرفی آزمون نرم افزار، یکی از پرهزینه ترین مراحل ساخت نرم افزار می باشد که این هزینه از نظر زمان و نیروی انسانی اهمیت بیشتری دارد در این مقاله، متریک هایی برای مقایسه سودمندی و اثربخشی معیارهای پوشش آزمونِ نرم افزارهای مبتنی بر گرامر، بر اساس ویژگی های درخت اشتقاق در طیِ فرآیندِ تولید موارد آزمون، معرفی شده است برای ارزیابی متریک های ارائه شده، علاوه بر استفاده از مورد مطالعه و مقایسه با فرآیند آزمون مبتنی بر موتاسیون، نتایج اعمال متریک ها روی نمونه ها برای روشهای تحلیلی موجود نیز مقایسه شده است نتایج نشان می دهد که روش ارائه شده در مقایسه با فرآیند آزمون مبتنی بر موتاسیون، کاهش قابل توجهی در زمان دارد.
لیست مقالات
لیست مقالات بایگانی شده
سنجش داده محور ارزش ویژه برند کارکنان
علیرضا برادران - سپیده نصیری
Establishing security using cryptography and biometric authentication to counter cyber-attacks
Mohammed ADIL AKABR - Mehdi Hamidkhani - Mostafa Sadeghi
طبقه بندی روش های شناسایی داده های تکراری در جهت تسهیل فرایند پاکسازی داده ها
مهدی جعفری - احمد عبدالله زاده بار فروش
ارائه یک مدل تصمیم گیری چند معیاره فازی به منظور بهبود دقت فرایند تصمیم گیری به هنگام اختلال هوانوردی
فاطمه عطا عبدالرزاق - نگار مجمع
SPA Bot: Smart Price-Action Trading Bot for Cryptocurency Market
Dr Hamid Jazayeriy - Mohammad Daryani
Detection and Identification of Cyber-Attacks in Cyber-Physical Systems Based on Machine Learning Methods
Zohre Nasiri Zarandi
بررسی امنیت وفقی در اینترنت وسایل نقلیه
سیده یگانه غیور باغبانی - دکتر سعید جلیلی سیده یگانه غیور باغبانی - سعید جلیلی -
Revolutionizing Credit Scoring: The Synergy of Mamba State Space and CNN Models
Behnam Sabzalian
پیاده سازی سیستم پیش بیمارستانی یافت آمبولانس مناسب در محیط رایانش ابری با استفاده از شبیه ساز کلودسیم
ریحانه حسن رحیمی - فهیمه یزدان پناه
An LLM-Based Approach for Clarifying the Decisions of Vision Models in Autonomous Vehicles
Omid Mosalmani - Mohammad Javad Rashti - Seyed Enayat Alavi
بیشتر
ثمین همایش، سامانه مدیریت کنفرانس ها و جشنواره ها - نگارش 43.8.0