0% Complete
فارسی
Home
/
شانزدهمین کنفرانس بین المللی فناوری اطلاعات و دانش
مقایسه اثربخشی و سودمندی معیارهای پوشش آزمون نرم افزارهای مبتنی بر گرامر
Authors :
عطیه منعمی بیدگلی
1
1- دانشگاه خوارزمی
Keywords :
نرم افزار مبتنی برگرامر،آزمون مبتنی بر گرامر،معیارهای آزمون مبتنی بر گرامر،سودمندی،اثربخشی
Abstract :
نرم افزارهای مبتنی بر گرامر، به نرم افزارهایی اطلاق می شوند که ورودی آن بر اساس گرامر قابل بیان است؛ برای مثال، نرم افزارهای مهندسی معکوس، محاسبات تکاملی، برنامه نویسی انطباق پذیر در خط محصول و کنترل کننده های XMLاین گونه هستند؛ بنابراین می توان از این قابلیت نرم افزار، در آزمون آن استفاده کرد. در حیطه معیارهای پوششِ مخصوص آزمون نرم افزارهایِ مبتنی بر گرامر، معیارهایی از جمله، معیار پوشش قاعده، معیار پوشش قاعده مبتنی بر زمینه، معیار پوشش قواعد متوالی با طول N، معیار پوشش حلقه های با طول K و معیار پوشش کامل ارائه شده است، که هر کدام دارای مزایا و معایبی است از طرفی آزمون نرم افزار، یکی از پرهزینه ترین مراحل ساخت نرم افزار می باشد که این هزینه از نظر زمان و نیروی انسانی اهمیت بیشتری دارد در این مقاله، متریک هایی برای مقایسه سودمندی و اثربخشی معیارهای پوشش آزمونِ نرم افزارهای مبتنی بر گرامر، بر اساس ویژگی های درخت اشتقاق در طیِ فرآیندِ تولید موارد آزمون، معرفی شده است برای ارزیابی متریک های ارائه شده، علاوه بر استفاده از مورد مطالعه و مقایسه با فرآیند آزمون مبتنی بر موتاسیون، نتایج اعمال متریک ها روی نمونه ها برای روشهای تحلیلی موجود نیز مقایسه شده است نتایج نشان می دهد که روش ارائه شده در مقایسه با فرآیند آزمون مبتنی بر موتاسیون، کاهش قابل توجهی در زمان دارد.
Papers List
List of archived papers
A Novel Resource Allocation Scheme for Underlaying NOMA-Based Multi-Channel Cognitive D2D Communications
Anahita Akbari - Dr Javad Zeraatkar Moghaddam - Dr Mehrdad Ardebilipour
Epileptic Seizure Detection based on Statistical and Wavelet Features and Siamese Network
Zahra Hossein-Nejad - Mehdi Nasri
پیش بینی بیماری قلبی با استفاده از روش تحلیل شبکه ای
هدیه مشتاقی محمدزاده - فاطمه باقری
Effective Classifier for Predicting Churn in Payment Terminals Using RFM model and Deep Neural Network
Dr Mahila Dadfarnia - Ali Alemi Matinpour - Dr Monireh Abdoos
تشخیص بیماری مزمن کلیوی با استفاده از یادگیرندههای گروهی و انتخاب ویژگیهای مؤثر مبتنی بر الگوریتم بهینهسازی تبادل حرارتی
صبا عارفنیا - مهدی هاشمزاده - امین گلزاری اسکوئی
سیستم تشخیص نفوذ مبتنی برشبکه عصبی کانولوشن برای تشخیص حمله انکارسرویس در اینترنت وسایل نقلیه
زهرا جانفدا - سید امین حسینی سنو
A Multi-Task Framework Using Mamba for Identity, Age, and Gender Classification from Hand Images
Amirabbas Rezasoltani - Alireza Hosseini - Ramin Toosi - MohammadAli Akhaee
Heart Sound Classification based on Group-based Sparse Features of PCG Signal
Zahra Hossein-Nejad - Mehdi Nasri
Human Resource Allocation to the Credit Requirement Process, A Process Mining Approach
Omid Mahdi Ebadati - Mohammad Mehrabioun - Shokoofeh Sadat Hosseini
ارائۀ چارچوب هستانشناسی برای شهر هوشمند مبتنی بر سیستمهای سایبر-فیزیکی
علی اصغر قائمی - جعفر حبیبی - سید حسن میریان
more
Samin Hamayesh - Version 44.5.0