Academic Journal
MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-based Systems
| العنوان: | MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-based Systems |
|---|---|
| المؤلفون: | CUARTAS GRANADA, Jaime, Cortés, David, BETANCOURT ARIAS, Joan Sebastian, ARANDA BUENO, Jesus Alexander, Cordy, Maxime, Ortiz Vega, James Jerson, Perrouin, Gilles, Schobbens, Pierre-Yves |
| المصدر: | CUARTAS GRANADA , J , Cortés , D , BETANCOURT ARIAS , J S , ARANDA BUENO , J A , Cordy , M , Ortiz Vega , J J , Perrouin , G & Schobbens , P-Y 2024 , ' MUPPAAL: Efficient Elimination and Reduction of Useless Mutants in Real-Time Model-based Systems ' , Software Testing, Verification and Reliability , vol. 35 , no. 1 , e1907 . https://doi.org/10.1002/stvr.1907 |
| سنة النشر: | 2024 |
| المجموعة: | Research Portal - University of Namur / Portail de la recherche de l'Université de Namur |
| مصطلحات موضوعية: | model-based testing, mutation testing, timed automata, UPPAAL |
| الوصف: | To assess test quality, mutation testing (MT) creates mutants by injecting artificial faults into the system and evaluates the ability of tests to distinguish these mutants. Tests distinguishing more mutants have also been proven empirically to detect more real faults. MT has been applied to many domains. We focus on MT for timed safety-critical systems modelled as Timed Automata (TA). While powerful, MT usually yields equivalent and duplicate mutants, the former having the same behaviour as the original system and the latter other mutants. Such useless mutants bring no value, waste execution time and can be difficult to detect. We integrate useless mutant detection and removal strategies in our mutation framework MUPPAAL. MUPPAAL leverages existing equivalence-avoiding mutation operators and focuses on detecting mutant duplicates using a scalable bisimulation algorithm and a fast approximate one based on biased simulation. We also demonstrate how to design an operator that reduces the occurrence of mutant duplicates. We evaluate MUPPAAL on six systems, demonstrating that (1) mutant duplicates account for up to 32% of all generated mutants, (2) our bisimulation approach scales effectively with these systems and (3) biased simulations further enhance performance. Our heuristic is 10 times faster than bisimulation and limits the exploration to two times the number of exact duplicates compared to up to 10 times for the baseline. |
| نوع الوثيقة: | article in journal/newspaper |
| وصف الملف: | application/pdf |
| اللغة: | English |
| DOI: | 10.1002/stvr.1907 |
| الاتاحة: | https://researchportal.unamur.be/en/publications/5664f763-0fff-4ffb-a60f-529c5df92f9d https://doi.org/10.1002/stvr.1907 https://pure.unamur.be/ws/files/102978879/STVR_Journal_MUPPAAL_Final.pdf http://www.scopus.com/inward/record.url?scp=85208782810&partnerID=8YFLogxK |
| Rights: | info:eu-repo/semantics/openAccess |
| رقم الانضمام: | edsbas.468C8807 |
| قاعدة البيانات: | BASE |
| DOI: | 10.1002/stvr.1907 |
|---|