Passive Testing of Timed Systems

  • César Andrés
  • Mercedes G. Merayo
  • Manuel Núñez
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5311)

Abstract

This paper presents a methodology to perform passive testing based on invariants for systems that present temporal restrictions. Invariants represent the most relevant expected properties of the implementation under test. Intuitively, an invariant expresses the fact that each time the implementation under test performs a given sequence of actions, then it must exhibit a behavior in a lapse of time reflected in the invariant. In particular, the algorithm presented in this paper are fully implemented.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Cavalli, A., Gervy, C., Prokopenko, S.: New approaches for passive testing using an extended finite state machine specification. Journal of Information and Software Technology 45, 837–852 (2003)CrossRefGoogle Scholar
  2. 2.
    Bayse, E., Cavalli, A., Núñez, M., Zaïdi, F.: A passive testing approach based on invariants: Application to the WAP. Computer Networks 48(2), 247–266 (2005)CrossRefMATHGoogle Scholar
  3. 3.
    Andrés, C., Merayo, M., Núñez, M.: Passive testing of timed systems (2008), http://kimba.mat.ucm.es/~manolo/papers/atva08-passive-extended.pdf
  4. 4.
    Merayo, M., Núñez, M., Rodríguez, I.: Formal testing of systems presenting soft and hard deadlines. In: Arbab, F., Sirjani, M. (eds.) FSEN 2007. LNCS, vol. 4767, pp. 160–174. Springer, Heidelberg (2007)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • César Andrés
    • 1
  • Mercedes G. Merayo
    • 1
  • Manuel Núñez
    • 1
  1. 1.Dept. Sistemas Informáticos y ComputaciónUniversidad Complutense de MadridMadridSpain

Personalised recommendations