Complutense University Library

Testing finite state machines presenting stochastic time and timeouts

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] PDF
Restricted to Repository staff only until 31 December 2020.

516kB

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

View download statistics for this eprint

==>>> Export to other formats

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
References:

Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126, 183–235 (1994)

Brandán, L., Brinksma, E.: Testing real-time multi input-output systems. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 264–279. Springer, Heidelberg (2005)

Brinksma, E., Tretmans, J.: Testing transition systems: An annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 187–195. Springer, Heidelberg (2001)

Clarke, D., Lee, I.: Automatic generation of tests for timing constraints from requirements. In: 3rd Workshop on Object-Oriented Real-Time Dependable Systems, WORDS 1997, pp. 199–206. IEEE Computer Society Press, Los Alamitos (1997)

En-Nouaary, A., Dssouli, R., Khendek, F.: Timed Wp-method: Testing real time systems. IEEE Transactions on Software Engineering 28(11), 1024–1039 (2002)

Krichen, M., Tripakis, S.: An expressive and implementable formal framework for testing real-time systems. In: Khendek, F., Dssouli, R. (eds.) TestCom 2005. LNCS, vol. 3502, pp. 209–225. Springer, Heidelberg (2005)

Larsen, K.G., Mikucionis, M., Nielsen, B.: Online testing of real-time systems using Uppaal. In: Grabowski, J., Nielsen, B. (eds.) FATES 2004. LNCS, vol. 3395, pp. 79–94. Springer, Heidelberg (2005)

Lee, D., Yannakakis, M.: Principles and methods of testing finite state machines: A survey. Proceedings of the IEEE 84(8), 1090–1123 (1996)

Mandrioli, D., Morasca, S., Morzenti, A.: Generating test cases for real time systems from logic specifications. ACM Transactions on Computer Systems 13(4), 356–398 (1995)

Merayo, M.G., Núñez, M., Rodríguez, I.: Implementation relations for stochastic finite state machines. In: Horváth, A., Telek, M. (eds.) EPEW 2006. LNCS, vol. 4054, pp. 123–137. Springer, Heidelberg (2006)

Núñez, M., Rodríguez, I.: Encoding PAMR into (timed) EFSMs. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol. 2529, pp. 1–16. Springer, Heidelberg (2002)

Núñez, M., Rodríguez, I.: Towards testing stochastic timed systems. In: König, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol. 2767, pp. 335–350. Springer, Heidelberg (2003)

Núñez, M., Rodríguez, I.: Conformance testing relations for timed systems. In: Grieskamp, W., Weise, C. (eds.) FATES 2005. LNCS, vol. 3997, pp. 103–117. Springer, Heidelberg (2006)

Petrenko, A.: Fault model-driven test derivation from finite state models: Annotated bibliography. In: Cassez, F., Jard, C., Rozoy, B., Dermot, M. (eds.) MOVEP 2000. LNCS, vol. 2067, pp. 196–205. Springer, Heidelberg (2001)

Rodríguez, I., Merayo, M.G., Núñez, M.: HOTL: Hypotheses and observations testing logic. In: Journal of Logic and Algebraic Programming (2007), http://dx.doi.org/10.1016/j.jlap.2007.03.002

Springintveld, J., Vaandrager, F., D’Argenio, P.R.: Testing timed automata. Theoretical Computer Science, 254(1-2):225–257, 2001. Previously appeared as Technical Report CTIT-97-17, University of Twente (1997)

Deposited On:02 Jul 2012 11:31
Last Modified:06 Feb 2014 10:31

Repository Staff Only: item control page