Automatic Execution of Test Cases on UML Models of Embedded Systems

Abstract : 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.
Type de document :
Communication dans un congrès
Gunar Schirner; Marcelo Götz; Achim Rettberg; Mauro C. Zanella; Franz J. Rammig. 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. Springer, IFIP Advances in Information and Communication Technology, AICT-403, pp.39-48, 2013, Embedded Systems: Design, Analysis and Verification. 〈10.1007/978-3-642-38853-8_4〉
Liste complète des métadonnées

Littérature citée [13 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01466692
Contributeur : Hal Ifip <>
Soumis le : lundi 13 février 2017 - 16:39:38
Dernière modification le : vendredi 1 décembre 2017 - 01:09:42
Document(s) archivé(s) le : dimanche 14 mai 2017 - 14:52:47

Fichier

978-3-642-38853-8_4_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Marco Wehrmeister, Gian Berkenbrock. Automatic Execution of Test Cases on UML Models of Embedded Systems. Gunar Schirner; Marcelo Götz; Achim Rettberg; Mauro C. Zanella; Franz J. Rammig. 4th International Embedded Systems Symposium (IESS), Jun 2013, Paderborn, Germany. Springer, IFIP Advances in Information and Communication Technology, AICT-403, pp.39-48, 2013, Embedded Systems: Design, Analysis and Verification. 〈10.1007/978-3-642-38853-8_4〉. 〈hal-01466692〉

Partager

Métriques

Consultations de la notice

187

Téléchargements de fichiers

76