Génération de Tests pour les Systèmes Temps-Réel à partir de Modèles SysML: Contexte, Motivations et Objectifs

Jean-Marie Gauthier (1)

1 FEMTO-ST - Franche-Comté Électronique Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174)

This paper presents an approach of Model-Based Testing for real-time and embedded systems using SysML. This work is based on an existing approach that has been proposed during the VETESS project. This approach aims to generate tests for embedded systems. In this paper, we identify areas of improvement, which permit to evolve the initial approach by taking into account the real-time aspects. These areas, which are presented in the form of research questions, aim to propose an automated Model-Based-Testing toolchain for real-time and embedded systems. Finally, the proposed approach is briefly included in the related works.

Domaines: Génie logiciel [cs.SE]; Modélisation et simulation

Jean-Marie Gauthier. Génération de Tests pour les Systèmes Temps-Réel à partir de Modèles SysML: Contexte, Motivations et Objectifs. CIEL 2013, 2ème Conférence en Ingénierie du Logiciel, Jan 2013, France. ⟨hal-00956579⟩