Wodel-Test：一个基于模型的框架，用于工程语言特定的突变测试工具

IF 2.4 4区计算机科学 Q2 COMPUTER SCIENCE, SOFTWARE ENGINEERING

SoftwareX Pub Date : 2025-06-03 DOI:10.1016/j.softx.2025.102195

Pablo Gómez-Abajo, Esther Guerra, Juan de Lara

{"title":"Wodel-Test：一个基于模型的框架，用于工程语言特定的突变测试工具","authors":"Pablo Gómez-Abajo, Esther Guerra, Juan de Lara","doi":"10.1016/j.softx.2025.102195","DOIUrl":null,"url":null,"abstract":"<div><div>Mutation testing (MuT) is a well-known technique for assessing the quality of software test suites. It relies on the artificial injection of errors into the source code, which results in a collection of variations called <em>mutants</em>. These can be used to improve a given test suite, i.e., those mutants not detected by the test suite reveal missing test cases. However, creating MuT tools from scratch for each language and domain is costly and error-prone.</div><div>To fill this gap, we propose <span>Wodel-Test</span>, a tool based on Model-driven Engineering principles that facilitates the creation of domain-specific MuT tools, reducing the effort compared to ad-hoc coding. We have applied this framework to create MuT tools for a variety of languages, including logic circuits, automata, Java, the Atlas Transformation Language (ATL), and task-oriented chatbots, showing its versatility and usefulness.</div></div>","PeriodicalId":21905,"journal":{"name":"SoftwareX","volume":"31 ","pages":"Article 102195"},"PeriodicalIF":2.4000,"publicationDate":"2025-06-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Wodel-Test: A model-based framework for engineering language-specific mutation testing tools\",\"authors\":\"Pablo Gómez-Abajo, Esther Guerra, Juan de Lara\",\"doi\":\"10.1016/j.softx.2025.102195\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><div>Mutation testing (MuT) is a well-known technique for assessing the quality of software test suites. It relies on the artificial injection of errors into the source code, which results in a collection of variations called <em>mutants</em>. These can be used to improve a given test suite, i.e., those mutants not detected by the test suite reveal missing test cases. However, creating MuT tools from scratch for each language and domain is costly and error-prone.</div><div>To fill this gap, we propose <span>Wodel-Test</span>, a tool based on Model-driven Engineering principles that facilitates the creation of domain-specific MuT tools, reducing the effort compared to ad-hoc coding. We have applied this framework to create MuT tools for a variety of languages, including logic circuits, automata, Java, the Atlas Transformation Language (ATL), and task-oriented chatbots, showing its versatility and usefulness.</div></div>\",\"PeriodicalId\":21905,\"journal\":{\"name\":\"SoftwareX\",\"volume\":\"31 \",\"pages\":\"Article 102195\"},\"PeriodicalIF\":2.4000,\"publicationDate\":\"2025-06-03\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"SoftwareX\",\"FirstCategoryId\":\"94\",\"ListUrlMain\":\"https://www.sciencedirect.com/science/article/pii/S2352711025001621\",\"RegionNum\":4,\"RegionCategory\":\"计算机科学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"COMPUTER SCIENCE, SOFTWARE ENGINEERING\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"SoftwareX","FirstCategoryId":"94","ListUrlMain":"https://www.sciencedirect.com/science/article/pii/S2352711025001621","RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"COMPUTER SCIENCE, SOFTWARE ENGINEERING","Score":null,"Total":0}

引用次数: 0

摘要

突变测试（MuT）是一种众所周知的用于评估软件测试套件质量的技术。它依赖于人为地在源代码中注入错误，从而产生一系列称为突变体的变体。这些可以用来改进给定的测试套件，也就是说，那些没有被测试套件检测到的突变揭示了缺失的测试用例。然而，从头开始为每种语言和领域创建MuT工具是昂贵且容易出错的。为了填补这一空白，我们提出了Wodel-Test，这是一种基于模型驱动工程原则的工具，它促进了特定领域的MuT工具的创建，减少了与临时编码相比的工作量。我们已经应用这个框架为各种语言创建了MuT工具，包括逻辑电路、自动机、Java、Atlas转换语言（ATL）和面向任务的聊天机器人，展示了它的多功能性和实用性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Wodel-Test: A model-based framework for engineering language-specific mutation testing tools

Mutation testing (MuT) is a well-known technique for assessing the quality of software test suites. It relies on the artificial injection of errors into the source code, which results in a collection of variations called mutants. These can be used to improve a given test suite, i.e., those mutants not detected by the test suite reveal missing test cases. However, creating MuT tools from scratch for each language and domain is costly and error-prone.

To fill this gap, we propose Wodel-Test, a tool based on Model-driven Engineering principles that facilitates the creation of domain-specific MuT tools, reducing the effort compared to ad-hoc coding. We have applied this framework to create MuT tools for a variety of languages, including logic circuits, automata, Java, the Atlas Transformation Language (ATL), and task-oriented chatbots, showing its versatility and usefulness.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

SoftwareX COMPUTER SCIENCE, SOFTWARE ENGINEERING-

CiteScore

5.50

自引率

2.90%

发文量

184

审稿时长

9 weeks

期刊介绍： SoftwareX aims to acknowledge the impact of software on today''s research practice, and on new scientific discoveries in almost all research domains. SoftwareX also aims to stress the importance of the software developers who are, in part, responsible for this impact. To this end, SoftwareX aims to support publication of research software in such a way that: The software is given a stamp of scientific relevance, and provided with a peer-reviewed recognition of scientific impact; The software developers are given the credits they deserve; The software is citable, allowing traditional metrics of scientific excellence to apply; The academic career paths of software developers are supported rather than hindered; The software is publicly available for inspection, validation, and re-use. Above all, SoftwareX aims to inform researchers about software applications, tools and libraries with a (proven) potential to impact the process of scientific discovery in various domains. The journal is multidisciplinary and accepts submissions from within and across subject domains such as those represented within the broad thematic areas below: Mathematical and Physical Sciences; Environmental Sciences; Medical and Biological Sciences; Humanities, Arts and Social Sciences. Originating from these broad thematic areas, the journal also welcomes submissions of software that works in cross cutting thematic areas, such as citizen science, cybersecurity, digital economy, energy, global resource stewardship, health and wellbeing, etcetera. SoftwareX specifically aims to accept submissions representing domain-independent software that may impact more than one research domain.