RT Book, Section
T1 Testing finite state machines presenting stochastic time and timeouts
A1 García Merayo, María De Las Mercedes
A1 Núñez García, Manuel
A1 Rodríguez Laguna, Ismael
A2 Wolter, K
AB In this paper we define a formal framework to test implementations that can be represented by the class of finite state machines introduced in [10]. First, we introduce an appropriate notion of test. Next, we provide an algorithm to derive test suites from specifications such that the constructed test suites are sound and complete with respect to two of the conformance relations introduced in [10]. In fact, the current paper together with [10] constitute a complete formal theory to specify and test the class of systems covered by the before mentioned stochastic finite state machines.
PB SPRINGER-VERLAG BERLIN
SN 978-3-540-75210-3
YR 2007
FD 2007
LK https://hdl.handle.net/20.500.14352/53132
UL https://hdl.handle.net/20.500.14352/53132
LA eng
NO 4th European Performance Engineering Workshop. SEP 27-28, 2007. Berlin, GERMANY.
NO MEC
NO Marie Curie
DS Docta Complutense
RD 5 abr 2025