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. © 2014 Springer International Publishing.
CITATION STYLE
Mnad, M. T., Deleuze, C., & Parissis, I. (2014). Synchronous Programs Testing Language (SPTL). In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8579 LNCS, pp. 683–695). Springer Verlag. https://doi.org/10.1007/978-3-319-09144-0_47
Mendeley helps you to discover research relevant for your work.