Synchronous Programs Testing Language (SPTL)

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.

[1]  M.L. Rocha,et al.  ZigBee for building control wireless sensor networks , 2007, 2007 SBMO/IEEE MTT-S International Microwave and Optoelectronics Conference.

[2]  Pascal Raymond,et al.  The synchronous data flow programming language LUSTRE , 1991, Proc. IEEE.

[3]  Ioannis Parissis,et al.  Revisiting the Steam-Boiler Case Study with LUTESS : Modeling for Automatic Test Generation , 2009 .

[4]  Gusztáv Adamis,et al.  A New Approach in Model-Based Testing: Designing Test Models in TTCN-3 , 2011, SDL Forum.

[5]  Ioannis Parissis,et al.  Using CLP to Automatically Generate Test Sequences for Synchronous Programs with Numeric Inputs and Outputs , 2006, 2006 17th International Symposium on Software Reliability Engineering.

[6]  Krzysztof R. Apt,et al.  Logics and Models of Concurrent Systems , 1989, NATO ASI Series.

[7]  John D. Musa,et al.  Operational profiles in software-reliability engineering , 1993, IEEE Software.

[8]  Pascal Raymond,et al.  Case studies with Lurette V2 , 2004, International Journal on Software Tools for Technology Transfer.

[9]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[10]  John M. Carroll,et al.  Five reasons for scenario-based design , 2000, Interact. Comput..

[11]  Bruno Marre,et al.  Test Selection Strategies for Lustre Descriptions in GATeL , 2005, Electron. Notes Theor. Comput. Sci..

[12]  Amir Pnueli,et al.  On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.