0% Complete
فارسی
Home
/
یازدهمین کنفرانس بین المللی فناوری اطلاعات و دانش
مکانیابی خطاهای کاربردها و خدمات نرمافزاری با کمک تولید داده آزمون با نامتغیرهای محتمل
Authors :
محمد نصرتی مقدم
1
حسن حقیقی
2
مجتبی وحیدی اصل
3
1- دانشگاه شهید بهشتی
2- دانشگاه شهید بهشتی
3- دانشگاه شهید بهشتی
Keywords :
مکانیابی خطا، تولید داده آزمون، نامتغیرهای محتمل
Abstract :
در روشهای رایج مکانیابی خودکار خطاهای کاربردها و خدمات نرمافزاری (از جمله روشهای مبتنی بر طیف)، فرض بر این است که تعداد زیادی آزمون موفق و ناموفق مشابه وجود دارد تا بتوان به کمک آنها تحلیل آماری و مقایسه بین پوششها را انجام داد. اما در عمل، موارد آزمون غنی نیستند و معمولا فقط تعداد اندکی آزمون ناموفق وجود دارد که کاربرد این روشها را با محدودیت مواجه کرده است. با در دسترس بودن یک مجموعه آزمون غنی شده شامل آزمونهای موفق یا ناموفق، از طریق مقایسه آزمونهای موفق و ناموفق، میتوان مکانیابی خطا را به نحو مؤثرتری انجام داد. در این پژوهش روشی را برای مکانیابی خطا معرفی میکنیم که از تولید داده آزمون با استفاده از نامتغیرهای محتمل بهره میگیرد. بهکارگیری این روش سبب میشود که با افزایش کارایی الگوریتم تولید داده آزمون، احتمال پوشش خطوط حاوی خطا بیشتر شود. برای ارزیابی روش پیشنهادی، از چندین برنامه خطادار پایتون به عنوان بنچمارک بهره گرفته شده است. نتایج آزمایشها نشان میدهد که دقت و کارایی مکانیابی خطا با تولید داده آزمون با استفاده از این روش نسبت به روشهای تصادفی و نمادین افزایش مییابد.
Papers List
List of archived papers
OENMOP: Loss-Aware 4×4 and 5×5 and Scalable Non‑blocking Optical Switches Designed for Odd-Even Routing Algorithm for Chip-Scale Interconnection Networks
Negin Bagheri Renani - Elham Yaghoubi - Mina Mohammadirad
Leveraging Retrieval-Augmented Generation for Persian University Knowledge Retrieval
Arshia Hemmat - Mohammad Hassan Heydari - Kianoosh Vadaei - Afsaneh Fatemi
ارائه یک الگوریتم سلسله مراتبی جهت تشخیص نفوذ در شبکه های کامپیوتری
دکتر باقر رحیم پور کامی - سیدمحمد سیدی برشی باقر رحیم پور کامی - سیدمحمد سیدی برشی -
بهبود عنواننگاری تصویر با استفاده از روشهای یادگیری عمیق
مهدی صیادجو - محمدجواد فدائی اسلام
SBST challenges from the perspective of the test techniques
Sepideh Kashefi Gargari - Dr Mohammad Reza Keyvanpour
Electrophysiological Modeling and Interactive Approaches of Electrical Circuits and Hypergraphs for Understanding Neural Circuit Dynamics
Arian Baymani - Maryam Naderi Soorki
Establishing security using cryptography and biometric authentication to counter cyber-attacks
Mohammed ADIL AKABR - Mehdi Hamidkhani - Mostafa Sadeghi
A New Method Based on Deep Learning and Time Stabilization of the Propagation Path for Fake News Detection
Fatemeh Torgheh - Dr Mohammad Reza Keyvanpour - Dr Behrooz Masoumi
A perceptual loss for screen content image super-resolution
Hossein Sekhavaty-Moghadam - Marzieh Hosseinkhani - Dr Azadeh Mansouri
A Potential Solutions-Based Parallelized GA for Application Graph Mapping in Reconfigurable Hardware
Seyed Mehdi Mohtavipour - Hadi Shahriar Shahhoseini
more
Samin Hamayesh - Version 42.5.2