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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Benveniste, A., Berry, G.: The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 1270–1282 (1991)
Carroll, J.: Five reasons for scenario-based design. Interacting with computers 13(1), 43–60 (2000), http://archive.itee.uq.edu.au/~comp3503/Resources/_pdf/CarrollScenariosIwC.pdf
Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data flow programming language Lustre. Proceedings of the IEEE 79(9), 1305–1320 (1991)
Harel, D., Pnueli, A.: On the development of reactive systems. In: Logics and Models of Concurrent Systems, pp. 477–498. Springer-Verlag New York, Inc., New York (1985), http://dl.acm.org/citation.cfm?id=101969.101990
Jahier, E., Raymond, P., Baufreton, P.: Case studies with lurette v2. STTT 8(6), 517–530 (2006), http://dblp.uni-trier.de/db/journals/sttt/sttt8.html#JahierRB06
Marre, B., Blanc, B.: Test selection strategies for lustre descriptions in gatel. Electr. Notes Theor. Comput. Sci. 111, 93–111 (2005), http://dblp.uni-trier.de/db/journals/entcs/entcs111.html#MarreB05
Musa, J.D.: Operational profiles in software-reliability engineering. IEEE Softw. 10(2), 14–32 (1993), http://dx.doi.org/10.1109/52.199724
Papailiopoulou, V., Seljimi, B., Parissis, I.: Revisiting the Steam-Boiler Case Study with LUTESS: Modeling for Automatic Test Generation. In: Proceedings of the 12th European Workshop on Dependable Computing, EWDC 2009, Helène Waeselynck, Toulouse, France, p. 8 pages (2009), http://hal.archives-ouvertes.fr/hal-00381548
Seljimi, B., Parissis, I.: Using clp to automatically generate test sequences for synchronous programs with numeric inputs and outputs. In: Proceedings of the 17th International Symposium on Software Reliability Engineering, ISSRE 2006, pp. 105–116. IEEE Computer Society, Washington, DC (2006), http://dx.doi.org/10.1109/ISSRE.2006.49
Wu-Hen-Chang, A., Adamis, G., Erős, L., Kovács, G., Csöndes, T.: A new approach in model-based testing: Designing test models in TTCN-3. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol. 7083, pp. 90–105. Springer, Heidelberg (2011), http://dx.doi.org/10.1007/978-3-642-25264-8_9
Zucatto, F., Biscassi, C., Monsignore, F., Fidelix, F., Coutinho, S., Rocha, M.: Zigbee for building control wireless sensor networks. In: Microwave and Optoelectronics Conference, IMOC 2007, pp. 511–515. SBMO/IEEE MTT-S International (November 2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Mnad, M.T., Deleuze, C., Parissis, I. (2014). Synchronous Programs Testing Language (SPTL). In: Murgante, B., et al. Computational Science and Its Applications – ICCSA 2014. ICCSA 2014. Lecture Notes in Computer Science, vol 8579. Springer, Cham. https://doi.org/10.1007/978-3-319-09144-0_47
Download citation
DOI: https://doi.org/10.1007/978-3-319-09144-0_47
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-09143-3
Online ISBN: 978-3-319-09144-0
eBook Packages: Computer ScienceComputer Science (R0)