Advertisement

Automatic Generation of Run-Time Test Oracles for Distributed Real-Time Systems

  • Xin Wang
  • Ji Wang
  • Zhi-Chang Qi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3235)

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].

Keywords

Model Check Temporal Logic Software Testing Linear Temporal Logic Time Automaton 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
  2. 2.
    Baresi, L., Young, M.: Test Oracles. Technical Report, CIS-TR01-02, Dept. of Computer and Information Science, Univ. of Oregon (August 2001)Google Scholar
  3. 3.
    Stankovic, J.A.: Misconceptions about real-time computing - a serious problem for next generation systems. IEEE Computer (1998)Google Scholar
  4. 4.
    Geilen, M.: Formal Techniques for Verification of Complex Real-Time Systems. PhD thesis, Eindhoven University of Technology (2002)Google Scholar
  5. 5.
    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)Google Scholar
  6. 6.
    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)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    Håkansson, J.: Automated generation of test scripts from temporal logic specification. Master’s thesis, Uppsala University (2000)Google Scholar
  10. 10.
    Alur, R., Henzinger, T.F., The, T.: benefits of relaxing punctuality. Journal of the ACM 43, 116–146 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Alur, R.: Techniques of Automatic Verification of Real-Time Systems. PhD thesis, Stanford University (1991)Google Scholar
  12. 12.
    IEEE: ANSI/IEEE 802.3, ISO/DIS 8802/3. IEEE Computer Society Press (1985)Google Scholar
  13. 13.
    Tanenbaum, A.S.: Computer Networks, 2nd edn. Prentice-Hall, Englewood Cliffs (1989)zbMATHGoogle Scholar

Copyright information

© IFIP International Federation for Information Processing 2004

Authors and Affiliations

  • Xin Wang
    • 1
  • Ji Wang
    • 1
  • Zhi-Chang Qi
    • 1
  1. 1.National Laboratory for Parallel and Distributed ProcessingChangshaChina

Personalised recommendations