Abstract
We present a testing tool for synchronous reactive software, an interesting subclass of critical real-time software. Its aim is to provide a new means for critical software validation since formal verification techniques are often impracticable. For the particular domain of synchronous reactive software, we have designed specific testing techniques which are loosely related to techniques proposed for sequential programming languages. One of the main characteristics of synchronous reactive software is the importance of the environment behavior in the validation process. Moreover, software requirements are usually expressed by means of temporal properties. The tool comprises random testing and specification-based testing techniques which have been designed to take into account these particularities. A structure-based testing technique well adapted to data-flow languages is also described.
Chapter PDF
Similar content being viewed by others
References
Akers, S. (1978). Binary Decision Diagrams. IEEE Transactions on Computers, C-27: 509–516.
Atlee, J. and Gannon, J. (1993). State-Based Model Checking of Event-Driven System Requirements. IEEE Transactions on Software Engineering, pages 24–40.
Benveniste, A. and Berry, G. (1991). The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79 (9): 1270–1282.
Bouajjani, A., Fernandez, J., and Halbwachs, N. (1990). Minimal model generation. In Workshop on Computer-Aided Vérification Rutgers (N.J.).
Boussinot, F. and De Simone, R. (1991). The Esterel language. Proceedings of the IEEE, 79 (9): 1293–1304.
Bryant, R. (1986). Graph-based algorithms for boolean functions manipulation. IEEE Transactions on Computers, pages 667–692.
Dauchy, P. and Marre, B. (1991). Test data selection from algebric specifications: application to an automatic subway module. In 3rd European Software Engineering Conference, pages 80–100, Milan, Italy. Springer-Verlag L.N.C.S. 550.
Halbwachs, N., Caspi, P., Raymond, P., and Pilaud, D. (1991a). The Synchronous Data Flow Programming Language LUSTRE. Proceedings of the IEEE, 79 (9): 1305–1320.
Halbwachs, N., Lagnier, F., and Ratel, C. (1992). Programming and Verifying Real-Time Systems by Means of the Synchronous Data-Flow Programming Language LUSTRE. IEEE Transactions on Software Engineering, Special Issue on the Specification and Analysis of Real-Time Systems, pages 785–793.
Halbwachs, N., Raymond, P., and Ratel, C. (199 lb). Generating efficient code from data-flow programs. In Third International Symposium on Programming Language Implementation and Logic Programming Passau (Germany).
Ntafos, S. (1988). A comparison of some structural testing strategies. IEEE Transactions on Software Engineering, pages 868–874.
Ouabdesselam, F. and Parissis, I. (1994a). Testing Safety Properties of Synchronous Reactive Software. In 7th International Software Quality Week,San Francisco, USA.
Ouabdesselam, F. and Parissis., I. (1994b). Testing Synchronous Critical Software. In 5th International Symposium on Software Reliability Engineering, pages 239–248, Monterey, USA.
Pilaud, D. and Halbwachs, N. (1988). From a synchronous declarative language to a temporal logic dealing with multifonn time. In Symposium on Formal Techniques in Real Time and Fault Tolerant Systems,Warwick. Springer Verlag.
Richardson, D. (1992). Specification-based Test Oracles for Reactive Systems. In 14th Int’l Confon Software Engineering, pages 105–118, Melbourne, Australia.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 Springer Science+Business Media Dordrecht
About this chapter
Cite this chapter
Parissis, I. (1996). A tool for testing synchronous software. In: Bologna, S., Bucci, G. (eds) Achieving Quality in Software. IFIP — The International Federation for Information Processing. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-34869-8_29
Download citation
DOI: https://doi.org/10.1007/978-0-387-34869-8_29
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-4392-0
Online ISBN: 978-0-387-34869-8
eBook Packages: Springer Book Archive