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

fYear

2006

fDate

7-10 Nov. 2006

Firstpage

7

Lastpage

7

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Mutation Analysis, 2006. Second Workshop on

Conference_Location

Raleigh, NC

Print_ISBN

0-7695-2897-X

Type

conf

DOI

10.1109/MUTATION.2006.14

Filename

4144726