SCTL: A StateChart Transformation Language for Test Sets Reduction
English
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) >]
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.