Reference : SESAME: a Model-Driven Process for the Test Selection of Small-size Safety-related Em...
Dissertations and theses : Doctoral thesis
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/1443
SESAME: a Model-Driven Process for the Test Selection of Small-size Safety-related Embedded Software
English
Ries, Benoît mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
7-May-2009
University of Luxembourg, ​Luxembourg, ​​Luxembourg
Docteur en Informatique
xvii, 263
Guelfi, Nicolas mailto
Bouvry, Pascal mailto
Buchs, Didier
Le Traon, Yves mailto
Schieferdecker, Ina
Schoos, Aloyse
Wiseman, David
[en] Test Selection ; Model-driven Engineering ; Process ; Automotive ; Embedded Software ; Methodology ; Alloy
[en] Embedded software applications are part of our daily lives, some of which have safety implications on human beings. It is thus important to trust this type of software. In our industrial context, testing is the most widely-spread technique used for that purpose. The state of practice is divided in two main categories. Explicit test selection techniques that enumerate the test cases to be exercised, but do not offer large coverage of the system’s behavior; and implicit techniques that encompass fully automated test generation techniques, which tend to hide the test selection information from engineers. The problem that we aim at solving in this thesis is the definition of a test selection approach that is capable of helping test engineers to better reach a delimited and verifiable test set with respect to some given test requirements and project specificities taking into account different test stakeholders.<br /><br />The SESAME process is composed of the four following tasks: specification of the system for testing purposes; specification of a test selection that constrains the system specification; evaluation of the test selection; generation of test cases derived from the constrained system specification. As a validation of our approach, we apply the SESAME process to a case study taken from an industrial project. This industrial application has shown the applicability of our approach on a small-size safety-related embedded system.
http://hdl.handle.net/10993/1443
also: http://hdl.handle.net/10993/15515

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
Ries_2009_PHD_SESAME_model_driven_test_selection.pdfPublisher postprint4.96 MBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.