Synchronous Programs Testing Language (SPTL) - Modélisation des Systèmes Réactifs - MSR'13 Accéder directement au contenu
Document Associé À Des Manifestations Scientifiques Année : 2013

Synchronous Programs Testing Language (SPTL)

Résumé

SPTL is a testing language for synchronous software. The goal is to generate test input sequences in conformance with a specification of the software external behavior and of guiding directives such as profiles and scenarios. In this document we present an overview of the language with a simple example of a reactive system testing.
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.

Domaines

Génie logiciel [cs.SE]
Fichier principal
Vignette du fichier
TKA.pdf (21.81 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Hervé Marchand  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-00876654

Soumis le : vendredi 25 octobre 2013-11:27:49

Dernière modification le : jeudi 4 avril 2024-21:36:55

Archivage à long terme le : lundi 27 janvier 2014-12:56:24

Télécharger pour visualiser

Dates et versions

hal-00876654 , version 1 (25-10-2013)

Identifiants

  • HAL Id : hal-00876654 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA MSR2013 LCIS
136 Consultations
146 Téléchargements

Partager

Gmail Facebook X LinkedIn More