RT Book, Section
T1 Passive Testing of Timed Systems
A1 García Merayo, María De Las Mercedes
A1 Andrés Sánchez, César
A1 Núñez García, Manuel
A2 Cha, S
A2 Choi, JY
A2 Kim, M
A2 Lee, I
A2 Viswanathan, M
AB This paper presents a methodology to perform passive testing based on invariants for systems that present temporal restrictions. Invariants represent the mostrelevant expected properties of the implementation under test. Intuitively, an invariant expresses the fact that each time the implementation under test performs a givensequence 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
PB SPRINGER-VERLAG BERLIN
SN 978-3-540-88386-9
YR 2008
FD 2008-10
LK https://hdl.handle.net/20.500.14352/53125
UL https://hdl.handle.net/20.500.14352/53125
LA eng
NO 6th International Symposium on Automated Technology for Verification and Analysis. OCT 20-23, 2008. Seoul, SOUTH KOREA.
NO MEC
DS Docta Complutense
RD 6 abr 2025