%0 Conference Proceedings
%T Automatic Execution of Test Cases on UML Models of Embedded Systems
%+ Universidade Tecnológica Federal do Paraná [Curitiba, Brasil] = Federal Technological University of Paraná [Curitiba, Brazil] = Université technologique fédérale du Paraná [Curitiba, Brésil] (UTFPR)
%+ Santa Catarina State University (UDESC)
%A Wehrmeister, Marco, A.
%A Berkenbrock, Gian, R.
%Z Part 1: Design Methodologies
%< avec comité de lecture
%( IFIP Advances in Information and Communication Technology
%B 4th International Embedded Systems Symposium (IESS)
%C Paderborn, Germany
%Y Gunar Schirner
%Y Marcelo Götz
%Y Achim Rettberg
%Y Mauro C. Zanella
%Y Franz J. Rammig
%I Springer
%3 Embedded Systems: Design, Analysis and Verification
%V AICT-403
%P 39-48
%8 2013-06-17
%D 2013
%R 10.1007/978-3-642-38853-8_4
%K Model-Driven Engineering
%K UML
%K testing
%K test cases execution
%K simulation
%Z Computer Science [cs]Conference papers
%X During the design of an embedded system, fixing errors discovered only in later stages is a very expensive activity. In order to decrease such costs, the engineers have to identify and fix the introduced errors as soon as possible. Therefore, it makes sense to facilitate the errors detection during the whole the design cycle, including the initial specification stages. This work proposed a test-based approach to aid the early verification of embedded and real-time systems. The proposed approach applies test cases on the system behavior described in the high-level specifications. A tool to automate the execution of the test cases upon UML models has been created. Its initial goal is to improve the errors detection on the system behavior before the implementation phase, since test cases are based on the system requirements. Test cases are platform independent and describe: runtime scenarios; the behaviors to be tested along with their input; and the expected results. The tool executes automatically each test case, in which the specified behavior is simulated Thereafter, the obtained results are compared with the expected ones, indicating the success or failure of the test case. A case study was performed to validate the proposed approach. The achieved results demonstrate that it is feasible to test the system behavior even though when the implementation is still not available.
%G English
%Z TC 10
%2 https://inria.hal.science/hal-01466692/document
%2 https://inria.hal.science/hal-01466692/file/978-3-642-38853-8_4_Chapter.pdf
%L hal-01466692
%U https://inria.hal.science/hal-01466692
%~ IFIP
%~ IFIP-AICT
%~ IFIP-TC
%~ IFIP-TC10
%~ IFIP-AICT-403
%~ IFIP-IESS