Universidad Complutense de Madrid
E-Prints Complutense

Passive Testing of Timed Systems

Impacto

Downloads

Downloads per month over past year

García Merayo, Mercedes and Andrés Sánchez, César and Núñez García, Manuel (2008) Passive Testing of Timed Systems. In Automated Technology for Verification and Analysis. Lecture Notes in Computer Science (5311). SPRINGER-VERLAG BERLIN, Berlín, pp. 418-427. ISBN 978-3-540-88386-9

[img]
Preview
PDF
210kB

Official URL: http://www.springerlink.com/content/75336n003w032743/fulltext.pdf


URLURL Type
http://www.springerlink.com/Publisher


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


Item Type:Book Section
Additional Information:

6th International Symposium on Automated Technology for Verification and Analysis. OCT 20-23, 2008. Seoul, SOUTH KOREA.

Uncontrolled Keywords:Computer Science, Theory & Methods
Subjects:Sciences > Mathematics > Operations research
ID Code:15726
Deposited On:22 Jun 2012 08:20
Last Modified:22 Aug 2018 11:12

Origin of downloads

Repository Staff Only: item control page