Información del autor
Autor Núñez García, Manuel |
Documentos disponibles escritos por este autor (35)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Selecciones disponibles](./images/orderby_az.gif)
![]()
texto impreso
García Merayo, María de las Mercedes ; Núñez García, Manuel ; Pareja Flores, Cristobal ; García Ruiz, Yolanda ; Estévez Martín, Sonia ; Martínez Torres, Rafael ; Camacho Magriñán, María Azahara ; Cerro Cañizares, Pablo ; Marco González, Juán Carlos | 2017En este proyecto se ha desarrollado un corrector automático de consultas SQL. Aunque estas herramientas suelen ser de propósito general, en este caso tiene un carácter docente, permitiendo a los estudiantes perfeccionar y afianzar los conocimien[...]![]()
texto impreso
García Merayo, Mercedes ; Hwang, Iksoon ; Núñez García, Manuel ; Cavalli, Ana | SPRINGER-VERLAG BERLIN | 2009In this paper we introduce a formal framework to test systems where non-deterministic decisions are probabilistically quantified and temporal information is defined by using random variables. We define an appropriate extension of the classical f[...]![]()
texto impreso
Testing has become an integral part of innovation, production and operation of systems. The activity of testing is already a flourishing area with the active participation of a large community of researchers and experts who are highly aware of i[...]![]()
texto impreso
Stream X-machines have been used to specify real systems requiring to represent complex data structures. One of the advantages of using stream X-machines to specify a system is that it is possible to produce a test set that, under certain condit[...]![]()
texto impreso
García Merayo, Mercedes ; Núñez García, Manuel ; Rodríguez Laguna, Ismael | SPRINGER-VERLAG BERLIN | 2007In 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 [...]![]()
texto impreso
In this paper we present a method for testing a system against a non-deterministic stochastic finite state machine. As usual, we assume that the functional behaviour of the system under test (SUT) is deterministic but we allow the timing to be n[...]![]()
texto impreso
![]()
texto impreso
Stream X-machines have been used to specify real systems where complex data structures. They are a variety of extended finite state machine where a shared memory is used to represent communications between the components of systems. In this pape[...]![]()
texto impreso
García Merayo, Mercedes ; Núñez García, Manuel ; Rodríguez Laguna, Ismael | SPRINGER-VERLAG BERLIN | 2008THOTL represents a conservative extension of HOTL (Hypotheses and Observations Testing Logic) to deal with systems where time plays a fundamental role. We adapt some of the HOTL rules to cope with the new framework. In addition, we introduce sev[...]![]()
texto impreso
Núñez, Alberto ; García Merayo, Mercedes ; Hierons, Robert M. ; Núñez García, Manuel | Springer-Verlag | 2013-02The generation of test data for state-based specifications is a computationally expensive process. This problem is magnified if we consider that time constraints have to be taken into account to govern the transitions of the studied system. The [...]