0% Complete
فارسی
Home
/
پانزدهمین کنفرانس بین المللی فناوری اطلاعات و دانش
Enhancing Mutation Testing through Grammar Fuzzing and Parse Tree-Driven Mutation Generation
Authors :
Mohamad Khorsandi
1
Alireza Dastmalchi Saei
2
Mohammadreza Sharbaf
3
1- University of Isfahan
2- University of Isfahan
3- University of Isfahan
Keywords :
Software Testing،Mutation Testing،Parse Tree،Grammar Fuzzer
Abstract :
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.
Papers List
List of archived papers
NFV-Based Distributed Service Function Chaining with Imperfect Information
Mahsa Alikhani - Marzieh Sheikhi - Dr Vesal Hakami
تحلیل کتابسنجی از مقالات حوزه دوقلوهای دیجیتال
فاطمه مکی زاده - سارا صراف - مصطفی شیرالی
Establishing security using cryptography and biometric authentication to counter cyber-attacks
Mohammed ADIL AKABR - Mehdi Hamidkhani - Mostafa Sadeghi
بررسی تأثیر استقرار استاندارد COBIT در افزایش بهره وری سازمانها (مطالعه موردی: شعب نمایندگیهای همراه اول، ایرانسل، رایتل)
دکتر محمد ابراهیم سمیع - ساره رحمانیان محمد ابراهیم سمیع - ساره رحمانیان -
Prompt-Based Composed Fashion Image Retrieval via Gated Detail-Enhanced Dual Cross-Attention Difference Modeling
Kosar Keshavarz - Reza Azmi
بررسی روش یادگیری انتقالی جهت پیشبینی پیوند
علی روحانی فر - کمال میرزایی بدرآبادی
مدیریت توأم منابع و خواب ایستگاه پایه مبتنی بر یادگیری تقویتی در شبکه های فوق متراکم با ارتباطات دو طرفه
طاهره رحمتی - بهروز شاهقلی قهفرخی
Agentic Username Suggestion and Multimodal Gender Detection in Online Platforms: Introducing the PNGT-26K Dataset
Farbod Bijary - Mohsen Ebadpour - Amirhosein Tajbakhsh
تشخیص حمله تزریق داده کاذب با روش OCD در شبکه هوشمند برق
محدثه جلیلی سنجرانی - سعید جلیلی - محمدکاظم شیخ الاسلامی
Leveraging Retrieval-Augmented Generation for Persian University Knowledge Retrieval
Arshia Hemmat - Mohammad Hassan Heydari - Kianoosh Vadaei - Afsaneh Fatemi
more
Samin Hamayesh - Version 42.5.2