Synchronous Programs Testing Language (SPTL) - Archive ouverte HAL Access content directly
Conference Papers Year : 2014

Synchronous Programs Testing Language (SPTL)

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

Dates and versions

hal-01023037 , version 1 (11-07-2014)

Identifiers

  • HAL Id : hal-01023037 , version 1

Cite

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. ⟨hal-01023037⟩

Collections

UGA LCIS
84 View
243 Download

Share

Gmail Facebook Twitter LinkedIn More