Universidad Complutense de Madrid
E-Prints Complutense

Testing finite state machines presenting stochastic time and timeouts

Impacto

Downloads

Downloads per month over past year

García Merayo, Mercedes and Núñez García, Manuel and Rodríguez Laguna, Ismael (2007) Testing finite state machines presenting stochastic time and timeouts. In Formal Methods and Stochastic Models for Performance Evaluation. Lecture Notes in Computer Science (4748). SPRINGER-VERLAG BERLIN, Berlín, pp. 97-111. ISBN 978-3-540-75210-3

[img]
Preview
PDF
516kB

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


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


Abstract

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.


Item Type:Book Section
Additional Information:

4th European Performance Engineering Workshop. SEP 27-28, 2007. Berlin, GERMANY.

Uncontrolled Keywords:Systems; Automata
Subjects:Sciences > Mathematics > Operations research
ID Code:15800
Deposited On:02 Jul 2012 11:31
Last Modified:22 Aug 2018 11:34

Origin of downloads

Repository Staff Only: item control page