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

Carter, S., Graham, M. L., Strooper, P. A. and Yuan, Z. (2003). Mutation analysis to verify feature matrices for isolating errors in simulation models. In: Michael J. Oudshoorn, Proceedings of the Twenty-Sixth Australasian Computer Science Conference (ACSC2003). Computer Science 2003: Twenty-Sixth Australasian Computer Science Conference, Adelaide, SA, Australia, (29-34). 4-7 February 2003.


Author Carter, S.
Graham, M. L.
Strooper, P. A.
Yuan, Z.
Title of paper Mutation analysis to verify feature matrices for isolating errors in simulation models
Conference name Computer Science 2003: Twenty-Sixth Australasian Computer Science Conference
Conference location Adelaide, SA, Australia
Conference dates 4-7 February 2003
Proceedings title Proceedings of the Twenty-Sixth Australasian Computer Science Conference (ACSC2003)
Place of Publication Sydney, Australia
Publisher Australian Computer Society Inc.
Publication Year 2003
Sub-type Fully published paper
ISBN 0-909-92594-1
ISSN 1445-1336
Editor Michael J. Oudshoorn
Volume 16
Start page 29
End page 34
Total pages 6
Collection year 2003
Language eng
Abstract/Summary 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. Currrently 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.
Subjects E1
280399 Computer Software not elsewhere classified
700199 Computer software and services not elsewhere classified
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Fri, 24 Aug 2007, 02:15:00 EST