Home // ICSEA 2012, The Seventh International Conference on Software Engineering Advances // View article

Abstract State Machines Mutation Operators

Authors:
Jameleddine Hassine

Keywords: Mutation testing; specification; mutation operator; Abstract State Machines (ASM); CoreASM

Abstract:
Mutation testing is a well established fault-based technique for assessing and improving the quality of test suites. Mutation testing can be applied at different levels of abstraction, e.g., the unit level, the integration level, and the specification level. Designing mutation operators represents the cornerstone towards conducting effective mutation testing and analysis. While mutation operators are well defined for a number of programming and specification languages, to the best of our knowledge, mutation operators have not been defined for the Abstract State Machines (ASM) formalism. In this paper, we define and classify mutation operators for the Abstract State Machines (ASM) formalism. The proposed ASM mutation operators are illustrated using examples written in the CoreASM language. Furthermore, we have developed a tool for automatic generation of mutants from CoreASM specifications.

Pages: 436 to 441

Copyright: Copyright (c) IARIA, 2012

Publication date: November 18, 2012

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-230-1

Location: Lisbon, Portugal

Dates: from November 18, 2012 to November 23, 2012