Abstract
Distributed real-time systems are of one important type of real-time systems. They are usually characterized by both reactive and real-time factors and it has long been recognized that how to automatically check such systems’ correctness at run time is still an unaddressed problem. As one of the main solutions, test oracle is a method usually used to check whether the system under test has behaved correctly on a particular execution. Test oracle is not only the indispensable stage of software testing, but also the weak link of the software testing research. In this paper, real-time specifications are adopted to describe the properties of distributed real-time systems and a real-time specification-based method for automatic run-time test oracles generating is proposed. The method proposed here is based on tableau construction theory of real-time model checking, automatically generates timed automata as test oracles, which can automatically check system behaviors’ correctness from real-time specifications written in MITL_[0,d].
This work is supported by the National Natural Science Foundation of China under Grant No. 60233020 and No. 90104007; the National High Technology Development 863 Program of China under Grant No. 2001AA113202.
The original version of this chapter was revised: The copyright line was incorrect. This has been corrected. The Erratum to this chapter is available at DOI: 10.1007/978-3-540-30232-2_24
Chapter PDF
References
Baresi, L., Young, M.: Test Oracles. Technical Report, CIS-TR01-02, Dept. of Computer and Information Science, Univ. of Oregon (August 2001)
Stankovic, J.A.: Misconceptions about real-time computing - a serious problem for next generation systems. IEEE Computer (1998)
Geilen, M.: Formal Techniques for Verification of Complex Real-Time Systems. PhD thesis, Eindhoven University of Technology (2002)
Dillon, L., Yu, Q.: Oracles for checking temporal properties of concurrent systems. In: Proceedings of the ACM SIGSOFT 1994 Symposium on the Foundations of Software Engineering (1994)
Dillon, L., Ramakrishna, Y.: Generating oracles from your favorite temporal logic specifications. In: Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering (1996)
Geilen, M.: On the construction of monitors for temporal logic properties. In: Havelund, K., Rosu, G. (eds.) Proceedings of RV’01 - FirstWorkshop on Runtime Verification. Satellite Workshop of CAV 2001, Paris, France. Electronic Notes in Theoretical Computer Science, vol. 55(2), Elsevier Science, Amsterdam (2001)
Drusinsky, D.: The temporal rover and the atg rover. In: SPIN Model Checking and Software Verification. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol. 1885, Springer, Heidelberg (2000)
Håkansson, J.: Automated generation of test scripts from temporal logic specification. Master’s thesis, Uppsala University (2000)
Alur, R., Henzinger, T.F., The, T.: benefits of relaxing punctuality. Journal of the ACM 43, 116–146 (1996)
Alur, R.: Techniques of Automatic Verification of Real-Time Systems. PhD thesis, Stanford University (1991)
IEEE: ANSI/IEEE 802.3, ISO/DIS 8802/3. IEEE Computer Society Press (1985)
Tanenbaum, A.S.: Computer Networks, 2nd edn. Prentice-Hall, Englewood Cliffs (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 IFIP International Federation for Information Processing
About this paper
Cite this paper
Wang, X., Wang, J., Qi, ZC. (2004). Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems. In: de Frutos-Escrig, D., Núñez, M. (eds) Formal Techniques for Networked and Distributed Systems – FORTE 2004. FORTE 2004. Lecture Notes in Computer Science, vol 3235. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30232-2_13
Download citation
DOI: https://doi.org/10.1007/978-3-540-30232-2_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23252-0
Online ISBN: 978-3-540-30232-2
eBook Packages: Springer Book Archive