Reference : SCTL: A StateChart Transformation Language for Test Sets Reduction
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/1102
SCTL: A StateChart Transformation Language for Test Sets Reduction
English
Guelfi, Nicolas mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Ries, Benoît mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2005
ERCIM Workshop on Dependable Software Intensive Embedded Systems, workshop of the 31st EUROMICRO Conference on Software Engineering and Advanced Appli
ERCIM
Workshop Proceedings
Yes
No
International
ERCIM Workshop on Dependable Software Intensive Embedded Systems, workshop of the 31st EUROMICRO Conference on Software Engineering and Advanced Appli
2005
Porto
Portugal
[en] Statecharts ; Transformation ; Test ; Specification ; Embedded Systems
[en] Specification and testing activities are key phases in embedded systems development life cycles. In specification-based testing approaches, test cases are solely generated from the system specification. Test cases are often too numerous to be executed exhaustively. In practice, test engineers often select test cases based on informal approximations. We aim at improving these activities by formulating abstraction hypotheses on system specifications, to reduce generated test sets. Our general application framework is the automotive industry, and we aim the specific domain of small-sized real-time embedded systems that must be highly reliable. The main result presented in this paper is a model transformation language that helps test engineers to select test cases based on system specifications.
http://hdl.handle.net/10993/1102

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
2005_Euromicro_ERCIM_SCTL_Test_Sets_Reduction.pdfAuthor postprint159.15 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.