Reference : SCTL: A StateChart Transformation Language for Test Sets Reduction

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/1102

Title :	SCTL: A StateChart Transformation Language for Test Sets Reduction
Language :	English
Author, co-author :	Guelfi, Nicolas [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
	Ries, Benoît [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	2005
Main document title :	ERCIM Workshop on Dependable Software Intensive Embedded Systems, workshop of the 31st EUROMICRO Conference on Software Engineering and Advanced Appli
Publisher :	ERCIM
Collection and collection volume :	Workshop Proceedings
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	ERCIM Workshop on Dependable Software Intensive Embedded Systems, workshop of the 31st EUROMICRO Conference on Software Engineering and Advanced Appli
Event date :	2005
Event place (city) :	Porto
Event country :	Portugal
Keywords :	[en] Statecharts ; Transformation ; Test ; Specification ; Embedded Systems
Abstract :	[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.
Permalink :	http://hdl.handle.net/10993/1102

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Limited access 2005_Euromicro_ERCIM_SCTL_Test_Sets_Reduction.pdf Author postprint 159.15 kB Request a copy

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map