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
Some systems interact with their environment at physically distributed interfaces called ports and we separately observe sequences of inputs and outputs at each port. As a result we cannot reconstruct the global sequence that occurred and this r[...]![]()
texto impreso
We present a timed extension of the classical finite state machines model where time is introduced in two ways. On the one hand, timeouts can be specified, that is, we can express that if an input action is not received before a fix amount of ti[...]![]()
texto impreso
We present a new testing semantics, called friendly testing, whose main property is that the induced preorder between processes v fr is consistent with the conformance relation, and so we have, for instance, a \Phi b v fr a v fr a + b. The new t[...]![]()
texto impreso
To ensure the conformance of an implementation under test (IUT) with respect to a specification requires, in general, the application of an infinite number of tests. In order to use finite test suites, most testing methodologies add some feasibl[...]![]()
texto impreso
In this paper we introduce a formal Methodology to perforin passive testing, based on invariants, for systems where the passing of time is represented in probabilistic terms by means of probability distributions functions. In our approach, invar[...]![]()
texto impreso
García Merayo, Mercedes ; Andrés Sánchez, César ; Núñez García, Manuel | SPRINGER-VERLAG BERLIN | 2008-10This paper presents a methodology to perform passive testing based on invariants for systems that present temporal restrictions. Invariants represent the most relevant expected properties of the implementation under test. Intuitively, an invaria[...]![]()
texto impreso
Distributed systems are usually composed of several distributed components that communicate with their environment through specific ports. When testing such a system we separately observe sequences of inputs and outputs at each port rather than [...]![]()
texto impreso
En esta tesis presentamos un algebra de procesos que ha sido extendida con información probabilística. Definimos una semántica operacional para nuestro lenguaje, y a continuación definimos una semántica de pruebas parametrizadas por una cierta f[...]![]()
texto impreso
The target of the special issue was to receive submissions contributing to the hot topics on formal approaches for active and passive testing of distributed and networked systems. With this aim and after a careful selection, four papers have bei[...]![]()
texto impreso
García Merayo, María de las Mercedes ; Núñez García, Manuel ; Estévez Martín, Sonia ; Martínez Torres, Rafael ; Ibias Martínez, Alfredo ; Pareja Flores, Cristobal ; Rincón Martínez, Santiago ; Correas Fernández, Jesús | 2019-03-14Extensión de la plataforma SQLab con nuevas funcionalidades que permitan a estudiantes de Bases de Datos evaluar sus conocimientos de diseño de instrucciones DML del lenguaje SQL y a los docentes hacer un seguimiento de la evolucion de sus alumnos.![]()
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 [...]