Home // ICSEA 2011, The Sixth International Conference on Software Engineering Advances // View article

Devising Mutant Operators for Dynamic Systems Models by Applying the HAZOP Study

Authors:
Rodrigo Fraxino Araujo
Auri Marcelo Rizzo Vincenzi
François Delebecque
José Carlos Maldonado
Márcio Eduardo Delamaro

Keywords: Simulink, Scicos, HAZOP, mutation testing.

Abstract:
Embedded systems are increasingly present in many electronic devices. Therefore, it is necessary to use rigorous testing techniques aimed at ensuring that these systems behave as expected. Our contribution is the definition of mutant operators for the context of embedded systems models. We focus on dynamic systems models, specifically on Simulink and Scicos models, which are considered standards in many industrial application domains, such as avionics and automotive control. The HAZOP study was applied to investigate and analyze all the main features of such models, in order that the resulting mutant operators could be systematically generated. We developed a testing environment to support the mutation testing for dynamic system models, which was used to employ the defined mutant operators in a sample application.

Pages: 58 to 64

Copyright: Copyright (c) IARIA, 2011

Publication date: October 23, 2011

Published in: conference

ISSN: 2308-4235

ISBN: 978-1-61208-165-6

Location: Barcelona, Spain

Dates: from October 23, 2011 to October 29, 2011