0% Complete
English
صفحه اصلی
/
یازدهمین کنفرانس بین المللی فناوری اطلاعات و دانش
مکانیابی خطاهای کاربردها و خدمات نرمافزاری با کمک تولید داده آزمون با نامتغیرهای محتمل
نویسندگان :
محمد نصرتی مقدم
1
حسن حقیقی
2
مجتبی وحیدی اصل
3
1- دانشگاه شهید بهشتی
2- دانشگاه شهید بهشتی
3- دانشگاه شهید بهشتی
کلمات کلیدی :
مکانیابی خطا، تولید داده آزمون، نامتغیرهای محتمل
چکیده :
در روشهای رایج مکانیابی خودکار خطاهای کاربردها و خدمات نرمافزاری (از جمله روشهای مبتنی بر طیف)، فرض بر این است که تعداد زیادی آزمون موفق و ناموفق مشابه وجود دارد تا بتوان به کمک آنها تحلیل آماری و مقایسه بین پوششها را انجام داد. اما در عمل، موارد آزمون غنی نیستند و معمولا فقط تعداد اندکی آزمون ناموفق وجود دارد که کاربرد این روشها را با محدودیت مواجه کرده است. با در دسترس بودن یک مجموعه آزمون غنی شده شامل آزمونهای موفق یا ناموفق، از طریق مقایسه آزمونهای موفق و ناموفق، میتوان مکانیابی خطا را به نحو مؤثرتری انجام داد. در این پژوهش روشی را برای مکانیابی خطا معرفی میکنیم که از تولید داده آزمون با استفاده از نامتغیرهای محتمل بهره میگیرد. بهکارگیری این روش سبب میشود که با افزایش کارایی الگوریتم تولید داده آزمون، احتمال پوشش خطوط حاوی خطا بیشتر شود. برای ارزیابی روش پیشنهادی، از چندین برنامه خطادار پایتون به عنوان بنچمارک بهره گرفته شده است. نتایج آزمایشها نشان میدهد که دقت و کارایی مکانیابی خطا با تولید داده آزمون با استفاده از این روش نسبت به روشهای تصادفی و نمادین افزایش مییابد.
لیست مقالات
لیست مقالات بایگانی شده
پیش بینی گره های رهبر در شبکه های اجتماعی با استفاده از پیش بینی پیوند
روح اله رشیدی - فرساد زمانی بروجنی - محمد رضا سلطان آقایی - هادی فرهادی
بهبود کارایی بارسپاری در شبکه های سلولی با استفاده از ارتباطات مشارکتی در لایه MAC
نبیل الراشدی - رسول صادقی - وائل حسین اللامی - مهدی حمیدخانی
Automatic Analysis of Inconsistencies in Inter-Enterprise Business Processes: Introducing a Formal Adaptation Patterns Catalog
Somayeh Ashourian - Shohreh َAjoudanian
Stock Market Prediction Using Hard and Soft Data Fusion
Saeed Mohammadi Dashtaki - Masoud Alizadeh - Behzad Moshiri
PeCoQ: A Dataset for Persian Complex Question Answering over Knowledge Graph
Romina Etezadi - Mehrnoush Shamsfard
تحلیل سازههای موثر بر پذیرش فناوری بلاکچین و استفاده از آن در صنعت بیمه ایران با استفاده از تکنیک معادلات ساختاری (مطالعه موردی: شرکت کارگزاری رسمی بیمه زندگی خوب)
احسان هنری - آفرین اخوان
ارائه یک الگوریتم سلسله مراتبی جهت تشخیص نفوذ در شبکه های کامپیوتری
دکتر باقر رحیم پور کامی - سیدمحمد سیدی برشی باقر رحیم پور کامی - سیدمحمد سیدی برشی -
Energy–Aware Clustering Routing Protocol to Improve the Multi-hop WSN Lifetime
Alireza Gholamrezaee - Hoda Gholamrezaee - Mahtab Hadiyan
Targeted Vaccination for COVID-19 Using Mobile Communication Networks
Mohammadmohsen Jadidi - Pegah Moslemi - Saeed Jamshidiha - Iman Masroori - Abbas Mohammadi - Vahid Pourahmadi
Paths-oriented Test Data Generation using Genetic Algorithm
Mohammad Reza Hassanpour Charmchi - Dr Bagher Rahimpour cami
ثمین همایش، سامانه مدیریت کنفرانس ها و جشنواره ها - نگارش 40.3.1