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]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...