0% Complete
English
صفحه اصلی
/
یازدهمین کنفرانس بین المللی فناوری اطلاعات و دانش
مکانیابی خطاهای کاربردها و خدمات نرمافزاری با کمک تولید داده آزمون با نامتغیرهای محتمل
نویسندگان :
محمد نصرتی مقدم
1
حسن حقیقی
2
مجتبی وحیدی اصل
3
1- دانشگاه شهید بهشتی
2- دانشگاه شهید بهشتی
3- دانشگاه شهید بهشتی
کلمات کلیدی :
مکانیابی خطا، تولید داده آزمون، نامتغیرهای محتمل
چکیده :
در روشهای رایج مکانیابی خودکار خطاهای کاربردها و خدمات نرمافزاری (از جمله روشهای مبتنی بر طیف)، فرض بر این است که تعداد زیادی آزمون موفق و ناموفق مشابه وجود دارد تا بتوان به کمک آنها تحلیل آماری و مقایسه بین پوششها را انجام داد. اما در عمل، موارد آزمون غنی نیستند و معمولا فقط تعداد اندکی آزمون ناموفق وجود دارد که کاربرد این روشها را با محدودیت مواجه کرده است. با در دسترس بودن یک مجموعه آزمون غنی شده شامل آزمونهای موفق یا ناموفق، از طریق مقایسه آزمونهای موفق و ناموفق، میتوان مکانیابی خطا را به نحو مؤثرتری انجام داد. در این پژوهش روشی را برای مکانیابی خطا معرفی میکنیم که از تولید داده آزمون با استفاده از نامتغیرهای محتمل بهره میگیرد. بهکارگیری این روش سبب میشود که با افزایش کارایی الگوریتم تولید داده آزمون، احتمال پوشش خطوط حاوی خطا بیشتر شود. برای ارزیابی روش پیشنهادی، از چندین برنامه خطادار پایتون به عنوان بنچمارک بهره گرفته شده است. نتایج آزمایشها نشان میدهد که دقت و کارایی مکانیابی خطا با تولید داده آزمون با استفاده از این روش نسبت به روشهای تصادفی و نمادین افزایش مییابد.
لیست مقالات
لیست مقالات بایگانی شده
A method for image steganography based on chaotic maps and advanced compression algorithms
Mohammad Yousefi Sorkhi
3D Mesh ONoC: Design of low Insertion Loss and Non-blocking Optical Router and Efficient Routing Algorithm
Sanaz Asadinia - Elham Yaghoubi - Mostafa Sadeghi - Mahdi Mehrabi
An Efficient Link Prediction Method using Community Structures
Dr Hadi Shakibian - Setareh Mokhtari
شناسایی کمپلکس های پروتئینی با استفاده از داده های زیستی و خوشه بندی فازی
مریم مولی وردیخانی - دکتر سعید جلیلی مریم مولی وردیخانی - سعید جلیلی -
Smart City Standardized Evaluation :Use Case of Mashhad
Dr ُSeyed Mohammadreza Mirsarraf - Dr Alireza Yari - Dr Navid Zohdi - Ali Motevalizadeh
Leveraging Retrieval-Augmented Generation for Persian University Knowledge Retrieval
Arshia Hemmat - Mohammad Hassan Heydari - Kianoosh Vadaei - Afsaneh Fatemi
BMPA- DSL: Binary Marine Predators Algorithm to Identify Driver's Different Levels of Stress
Mahtab Vaezi - Mehdi Nasri - Farhad Azimifar - Mahdi Mosleh
Challenges of Specification Mining-based Test Oracle for Cyber-Physical Systems
Maryam Raiyat Aliabadi - Dr Mojtaba Vahidi - Dr Ramak Ghavamizadeh
مدیریت توأم منابع و خواب ایستگاه پایه مبتنی بر یادگیری تقویتی در شبکه های فوق متراکم با ارتباطات دو طرفه
طاهره رحمتی - بهروز شاهقلی قهفرخی
یک سیستم پاسخ به نفوذ در شبکه های اینترنت اشیاء با استفاده از شبکه های مبتنی بر نرم افزار
احسان شاهرخی مینا - رضا محمدی - محمد نصیری
بیشتر
ثمین همایش، سامانه مدیریت کنفرانس ها و جشنواره ها - نگارش 42.0.3