Synchronous Programs Testing Language (SPTL)

Résumé : SPTL est un langage de test pour les logiciels synchrones. L'objectif est de générer des séquences d'entrée de test en conformité avec les spécifications du fonctionnement externe du logiciel et avec des directives pour guider ces tests telles que des profils et des scénarios. Dans ce document, nous présentons un aperçu du langage avec un exemple simple d'un test d'un système réactif.
Type de document :
Document associé à des manifestations scientifiques
MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France
Liste complète des métadonnées

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

https://hal.inria.fr/hal-00876654
Contributeur : Hervé Marchand <>
Soumis le : vendredi 25 octobre 2013 - 11:27:49
Dernière modification le : lundi 9 avril 2018 - 12:22:18
Document(s) archivé(s) le : lundi 27 janvier 2014 - 12:56:24

Fichier

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

Identifiants

  • HAL Id : hal-00876654, version 1

Collections

Citation

Mouna Tka Mnad, Christophe Deleuze, Ioannis Parissis. Synchronous Programs Testing Language (SPTL). MSR 2013 - Modélisation des Systèmes Réactifs, 2013, Rennes, France. 〈hal-00876654〉

Partager

Métriques

Consultations de la notice

235

Téléchargements de fichiers

115