Synchronous Programs Testing Language (SPTL) - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Documents Associated With Scientific Events Year :

Synchronous Programs Testing Language (SPTL)

Abstract

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.
Fichier principal
Vignette du fichier
TKA.pdf (21.81 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00876654 , version 1

Cite

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⟩

Collections

UGA MSR2013 LCIS
136 View
141 Download

Share

Gmail Facebook Twitter LinkedIn More