Gutiérrez-Madroñal, Lorena, García-Domínguez, Antonio orcid.org/0000-0002-4744-9150 and Medina-Bulo, Inmaculada (2025) Tempus:An Evolutionary Mutation Testing System on Event-Based Systems With Profile-Based Individual Generation. Software Testing Verification and Reliability. e70005. ISSN: 0960-0833
Abstract
Mutation testing has been applied successfully to several programming languages. Despite its benefits for software testing, its high computational cost has prevented it from being widely used. Several refinements have been proposed to reduce its cost by decreasing the number of generated mutants, one of which is Evolutionary Mutation Testing. This refinement aims to generate a reduced set of mutants with an Evolutionary Algorithm, which searches for potentially equivalent and difficult to kill mutants that help improve the test suite. This study presents Tempus, a system that includes a Profile-Based individual generation version of Evolutionary Mutation Testing. Tempus has been applied to four case studies that process information in real time from Internet of Things systems. This huge volume of information arrives as events that need to be monitored and processed in real time: the case studies manage the events through Esper Event Processing Language queries. Given that the events used as input in the Internet of Things systems may need a reaction in a specific period of time, it is crucial to test that the system can trigger the expected responses on demand within the expected period. After applying Tempus to our test suite, 62 of the 80 experiments showed a reduction in cost over Evolutionary Mutation Testing.
Metadata
Item Type: | Article |
---|---|
Authors/Creators: |
|
Copyright, Publisher and Additional Information: | Publisher Copyright: © 2025 The Author(s). Software Testing, Verification and Reliability published by John Wiley & Sons Ltd. |
Keywords: | event processing languages,evolutionary algorithm,evolutionary programming,internet of things,mutation testing,testing strategies |
Dates: |
|
Institution: | The University of York |
Academic Units: | The University of York > Faculty of Sciences (York) > Computer Science (York) |
Date Deposited: | 22 Sep 2025 15:50 |
Last Modified: | 03 Oct 2025 23:10 |
Published Version: | https://doi.org/10.1002/stvr.70005 |
Status: | Published |
Refereed: | Yes |
Identification Number: | 10.1002/stvr.70005 |
Related URLs: | |
Open Archives Initiative ID (OAI ID): | oai:eprints.whiterose.ac.uk:232028 |
Download
Description: Software Testing Verif Rel - 2025 - Gutiérrez‐Madroñal - Tempus An Evolutionary Mutation Testing System on Event‐Based
Licence: CC-BY 2.5