0% Complete
English
صفحه اصلی
/
یازدهمین کنفرانس بین المللی فناوری اطلاعات و دانش
مکانیابی خطاهای کاربردها و خدمات نرمافزاری با کمک تولید داده آزمون با نامتغیرهای محتمل
نویسندگان :
محمد نصرتی مقدم
1
حسن حقیقی
2
مجتبی وحیدی اصل
3
1- دانشگاه شهید بهشتی
2- دانشگاه شهید بهشتی
3- دانشگاه شهید بهشتی
کلمات کلیدی :
مکانیابی خطا، تولید داده آزمون، نامتغیرهای محتمل
چکیده :
در روشهای رایج مکانیابی خودکار خطاهای کاربردها و خدمات نرمافزاری (از جمله روشهای مبتنی بر طیف)، فرض بر این است که تعداد زیادی آزمون موفق و ناموفق مشابه وجود دارد تا بتوان به کمک آنها تحلیل آماری و مقایسه بین پوششها را انجام داد. اما در عمل، موارد آزمون غنی نیستند و معمولا فقط تعداد اندکی آزمون ناموفق وجود دارد که کاربرد این روشها را با محدودیت مواجه کرده است. با در دسترس بودن یک مجموعه آزمون غنی شده شامل آزمونهای موفق یا ناموفق، از طریق مقایسه آزمونهای موفق و ناموفق، میتوان مکانیابی خطا را به نحو مؤثرتری انجام داد. در این پژوهش روشی را برای مکانیابی خطا معرفی میکنیم که از تولید داده آزمون با استفاده از نامتغیرهای محتمل بهره میگیرد. بهکارگیری این روش سبب میشود که با افزایش کارایی الگوریتم تولید داده آزمون، احتمال پوشش خطوط حاوی خطا بیشتر شود. برای ارزیابی روش پیشنهادی، از چندین برنامه خطادار پایتون به عنوان بنچمارک بهره گرفته شده است. نتایج آزمایشها نشان میدهد که دقت و کارایی مکانیابی خطا با تولید داده آزمون با استفاده از این روش نسبت به روشهای تصادفی و نمادین افزایش مییابد.
لیست مقالات
لیست مقالات بایگانی شده
طراحی و کنترل تطبیقی اورتز رباتیک پایین تنه با استفاده کنترلر منطقی قابل برنامه ریزی و رابط انسان با ماشین
فرهاد عظیمی فر - ستایش کرمی - نیایش امینی
Dealing with Black-hole Attacks in Inter-vehicle Networks Using the Packet Delivery Rate Algorithm
Marzieh Sedighi - Mehdi Hamidkhani - Mostafa Sadeghi
Violence detection using one-dimensional convolutional networks
Narges Honarjoo - Ali Abdari - Dr Azadeh Mansouri
Information Technology Risk Management Model for Remote Control Vehicles
Hamid Reza Naji - Aref Ayati
Writer-Independent Signature Verification with Enhanced AlexNet and Preprocessing Analysis
Mohammadreza Gholipour Shahraki - Mohammad Ghasemzadeh
A qualitative spoofing detection system based on LSTMs for IoMT
Iman Jafarian - Amirmasoud Sepehrian - Siavash Khorsandi
Automatic Analysis of Inconsistencies in Inter-Enterprise Business Processes: Introducing a Formal Adaptation Patterns Catalog
Somayeh Ashourian - Shohreh َAjoudanian
SBST challenges from the perspective of the test techniques
Sepideh Kashefi Gargari - Dr Mohammad Reza Keyvanpour
پیشنهادات کالیبره شده براساس احساسات استخراج شده از متون مرتبط با آیتم ها
شیوا پارساراد - دکتر سامان هراتی زاده شیوا پارساراد - سامان هراتی زاده -
تحلیل سازههای موثر بر پذیرش فناوری بلاکچین و استفاده از آن در صنعت بیمه ایران با استفاده از تکنیک معادلات ساختاری (مطالعه موردی: شرکت کارگزاری رسمی بیمه زندگی خوب)
احسان هنری - آفرین اخوان
بیشتر
ثمین همایش، سامانه مدیریت کنفرانس ها و جشنواره ها - نگارش 42.5.2