RT Journal Article
T1 Passive Testing of Stochastic Timed Systems
A1 García Merayo, María De Las Mercedes
A1 Núñez García, Manuel
A1 Andrés Sánchez, César
AB In this paper we introduce a formal Methodology to perforin passive testing, based on invariants, for systems where the passing of time is represented in probabilistic terms by means of probability distributions functions. In our approach, invariants express the fact that each time the implementation under test performs a given sequence of actions, then it must exhibit a behavior according to the probability distribution functions reflected it? the invariant. We present algorithms to decide the correctness of the proposed invariants with respect to a given specification. Once we know that an invariant is correct, we check whether the execution traces observed from the implementation respect the invariant. In addition to the theoretical framework we have developed a tool., called PASTE, that helps in the automation of our passive testing approach. We have used the tool to obtain experimental results front the application of our methodology.
PB IEEE COMPUTER SOC
SN 978-1-4244-3775-7
YR 2009
FD 2009
LK https://hdl.handle.net/20.500.14352/49995
UL https://hdl.handle.net/20.500.14352/49995
LA eng
NO 2nd International Conference on Software Testing, Verification and Validation Workshops. APR 01-04, 2009.  Denver, CO.
NO MEC
DS Docta Complutense
RD 15 abr 2025