Biblioteca de la Universidad Complutense de Madrid

Testing finite state machines presenting stochastic time and timeouts

Impacto

García Merayo, Mercedes y Núñez García, Manuel y 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
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020.

516kB

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




Resumen

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.


Tipo de documento:Sección de libro
Información Adicional:

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

Palabras clave:Systems; Automata
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15800
Referencias:

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)

Depositado:02 Jul 2012 11:31
Última Modificación:06 Feb 2014 10:31

Sólo personal del repositorio: página de control del artículo