Title :
The SESAME Experience: from Assembly Languages to Declarative Models
Author :
Crouzet, Yves ; Waeselynck, Hélène ; Lussier, Benjamin ; Powell, David
Author_Institution :
LAAS-CNRS, Univ. of Toulouse, Toulouse
Abstract :
SESAME (Software Environment for Software Analysis by Mutation Effects) is a fault injection tool using mutation as the target fault model. It has been used for 15 years to support dependability research at LAAS-CNRS. A salient feature of SESAME is that it is multi-language. This made it possible to inject faults into software written in assembly languages, procedural languages (Pascal, C), a data-flow language (LUSTRE), as well as in a declarative language for temporal planning in robotics. This paper provides an overview of the tool, and reports on its use in experimental research addressing either fault removal or fault tolerance topics.
Keywords :
program diagnostics; software fault tolerance; SESAME; Software Environment for Software Analysis by Mutation Effects; assembly languages; data-flow language; declarative language; fault injection tool; fault removal; fault tolerance; procedural languages; robotics; Fault tolerance; Fault tolerant systems; Genetic mutations; Hardware; Robotic assembly; Robots; Software testing; Software tools; System testing; Yield estimation;
Conference_Titel :
Mutation Analysis, 2006. Second Workshop on
Conference_Location :
Raleigh, NC
Print_ISBN :
0-7695-2897-X
DOI :
10.1109/MUTATION.2006.14
