کنفرانس بین المللی فناوری اطلاعات و دانش

English

صفحه اصلی / پانزدهمین کنفرانس بین المللی فناوری اطلاعات و دانش

Enhancing Mutation Testing through Grammar Fuzzing and Parse Tree-Driven Mutation Generation

نویسندگان :

Mohamad Khorsandi¹ Alireza Dastmalchi Saei² Mohammadreza Sharbaf³

1- University of Isfahan 2- University of Isfahan 3- University of Isfahan

کلمات کلیدی :

Software Testing،Mutation Testing،Parse Tree،Grammar Fuzzer

چکیده :

Mutation testing is a technique used to assess the effectiveness of software test suites. It works by deliberately introducing small, controlled changes, called mutations, into the code of the software under test (SUT). A robust and thorough test suite should be able to identify and detect these intentionally seeded errors. The key point is to ensure that the resulting mutant program can still be successfully loaded and executed, without causing compilation or runtime errors. The effectiveness of mutation testing directly depends on the nature and scope of the introduced mutations, as more advanced mutations and even targeted mutations can pose additional challenges to the test suite. This paper presents a novel approach leveraging parse trees and grammar fuzzing to create syntactically valid mutations. By generating a parse tree from the SUT’s source code, our method allows precise selection of target nodes and controls mutation granularity through Lexar and parser rules. A custom grammar fuzzer generates new code fragments, which are then semantically validated by a language-specific analyzer to ensure correctness. To address potential compilation issues, we propose selecting deeper parse tree nodes for mutations. Our approach enhances mutation testing precision, flexibility, and automation, ensuring valid and contextually appropriate code mutations.

لیست مقالات

لیست مقالات بایگانی شده

Enhancing Employee Promotion Prediction with a Novel Hybrid Model Integrating Convolutional Neural Networks and Random Forest

Pouya Ardehkhani - Seyyed Reza Moslemi - Hanieh Hooshmand

تخلیه‌بار محاسباتی ریزدانه تحرک‌آگاه در رایانش لبه برای اینترنت اشیاء

شکوفه نوروزی - دکتر زینب موحدی شکوفه نوروزی - زینب موحدی -

تشخیص خودکار اختلال عروقی ماکولا با عنوان عروق گسترش یافته در تصاویر آنژیوگرافی حاصل از تصویربرداری OCTA

راضیه گنجی - دکتر محسن ابراهیمی مقدم - دکتر رامین نوری نیا

Presenting an Edge-based Air Quality Management System for Smart City Scenarios

Tina Samizadeh Nikoui - Ali Balador - Amir Masoud Rahmani - Hooman Tabarsaied

AI-based Secure Intrusion Detection Framework for Digital Twin-enabled Critical Infrastructure

Tanisha Patel - Nilesh Kumar Jadav - Tejal Rathod - Sudeep Tanwar - Deepak Garg - Hossein Shahinzadeh

طرحی برای تبدیل نمودارهای رفتاری BPMN به نمودار UML و تولید کد از آن

مهدیس صفری - احمد عبدالله زاده بارفروش

طراحی نرم افزاری مبتنی بر واقعیت افزوده با کاربرد فروش عینک

مینا علیانژاد - نسترن زنجانی - زهرا عسکری نژاد امیری

ارائه یک مدل جهت تخصیص منابع به توابع مجازی شبکه (VNF) باهدف حفظ درجه تعادل بار در شبکه های چند دامنه ای مبتنی بر نرم‌افزار(multi-SDN)

امین زنداقطاعی - دکتر وحید ستاری نائینی امین زنداقطاعی - وحید ستاری نائینی -

Improving Long-Term Engagement of Insurance Brokerages by Providing Gamified Configurations Based on The Delphi Method

Hosein Bayati - Fattaneh Taghiyareh - Sahand Hashemi

BMPA- DSL: Binary Marine Predators Algorithm to Identify Driver's Different Levels of Stress

Mahtab Vaezi - Mehdi Nasri - Farhad Azimifar - Mahdi Mosleh

بیشتر

ثمین همایش، سامانه مدیریت کنفرانس ها و جشنواره ها - نگارش 42.5.2