Synchronous Programs Testing Language (SPTL)

Tka Mouna 1 Christophe Deleuze 1 Ioannis Parissis 1
1 CTSYS - Conception et Test de SYStèmes embarqués
LCIS - Laboratoire de Conception et d'Intégration des Systèmes
Abstract : SPTL is a language designed to test applications developed for synchronous controllers. It makes possible to provide a specification of the software external environment. This specification can then be processed to generate test input sequences guided by directives such as profiles of use and scenarios. We introduce a definition and an overview of the language through a simple example of a reactive system that we present in this paper.
Type de document :
Communication dans un congrès
International Conference on Computational Science and Its Applications (ICCSA 2014), 2014, Guimarae, Portugal. 13 p., 2014
Liste complète des métadonnées

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

http://hal.univ-grenoble-alpes.fr/hal-01023037
Contributeur : Christophe Deleuze <>
Soumis le : vendredi 11 juillet 2014 - 14:03:41
Dernière modification le : lundi 9 avril 2018 - 12:22:49
Document(s) archivé(s) le : samedi 11 octobre 2014 - 12:35:56

Fichier

sptl.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01023037, version 1

Collections

UGA | LCIS

Citation

Tka Mouna, Christophe Deleuze, Ioannis Parissis. Synchronous Programs Testing Language (SPTL). International Conference on Computational Science and Its Applications (ICCSA 2014), 2014, Guimarae, Portugal. 13 p., 2014. 〈hal-01023037〉

Partager

Métriques

Consultations de la notice

164

Téléchargements de fichiers

156