Skip to Main content Skip to Navigation
Documents associated with scientific events

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.
Document type :
Documents associated with scientific events
Complete list of metadata

Cited literature [4 references]  Display  Hide  Download

https://hal.inria.fr/hal-00876654
Contributor : Hervé Marchand <>
Submitted on : Friday, October 25, 2013 - 11:27:49 AM
Last modification on : Friday, November 6, 2020 - 4:37:50 AM
Long-term archiving on: : Monday, January 27, 2014 - 12:56:24 PM

File

TKA.pdf
Files produced by the author(s)

Identifiers

  • 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⟩

Share

Metrics

Record views

302

Files downloads

306