Mutation analysis to verify feature matrices for isolating errors in simulation models

Authors:
Simon Carter;Malcolm Graham;Paul Strooper;Zhiguo Yuan
Affiliations:
Advanced Wastewater Management Centre and School of Information Technology and Electrical Engineering, The University of Queensland, Queensland;Advanced Wastewater Management Centre, The University of Queensland, Queensland;School of Information Technology and Electrical Engineering, The University of Queensland, Queensland;Advanced Wastewater Management Centre, The University of Queensland, Queensland
Venue:
ACSC '03 Proceedings of the 26th Australasian computer science conference - Volume 16
Year:
2003

Citing 6
Cited 0

Relative debugging: a new methodology for debugging scientific applications

Communications of the ACM
Software fault injection: inoculating programs against errors

Software fault injection: inoculating programs against errors
Simplifying failure-inducing input

Proceedings of the 2000 ACM SIGSOFT international symposium on Software testing and analysis
Simplifying and Isolating Failure-Inducing Input

IEEE Transactions on Software Engineering
Isolating cause-effect chains from computer programs

Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Automated Debugging: Are We Close

Computer

Quantified Score

Hi-index	0.01

Visualization

Abstract

Software simulation models are computer programs that need to be verified and debugged like any other software. In previous work, a method for error isolation in simulation models has been proposed. The method relies on a set of feature matrices that can be used to determine which part of the model implementation is responsible for deviations in the output of the model. Currently these feature matrices have to be generated by hand from the model implementation, which is a tedious and error-prone task. In this paper, a method based on mutation analysis, as well as prototype tool support for the verification of the manually generated feature matrices is presented. The application of the method and tool to a model for wastewater treatment shows that the feature matrices can be verified effectively using a minimal number of mutants.