Información del autor
Autor Núñez García, Manuel |
Documentos disponibles escritos por este autor (35)
texto impreso
Núñez Covarrubias, Alberto ; Pickin, Simon James ; Lavín Puente, Víctor ; Llana Díaz, Luis Fernando ; Bartolomé Sandoval, Ana Isabel ; Cerro Cañizares, Pablo ; Cambronero Piqueras, María Emilia ; Núñez García, Manuel ; Vaca Vargas, Bryan Raúl ; Gómez-Zamalloa Gil, Miguel | 2019-06-19Una parte fundamental de la asignatura PSD es el desarrollo de aplicaciones distribuidas. En concreto, la programación de aplicaciones paralelas utilizando MPI tiene un peso considerable, tanto en la parte práctica, como en la parte teórica de l[...]texto impreso
We present a new testing semantics, called friendly testing, whose main property is that the induced preorder between processes ?fr is consistent with the conformance relation, and so we have, for instance,a ?b ?fr a ?fr a +b. The new theory is [...]texto impreso
García Merayo, Mercedes ; Andrés Sánchez, César ; Maag, Stéphane ; Cavalli, Ana ; Núñez García, Manuel | IEEE Computer Society | 2009-12In this paper we apply a passive testing methodology to the analysis of a non-trivial system. In our framework, so-called invariants provide us with a formal representation of the requirements of the system. In order to precisely express new pro[...]texto impreso
García Merayo, Mercedes ; Andrés Sánchez, César ; Núñez García, Manuel | IEEE Computer SOC | 2009-11In this paper we present a formal passive testing framework and use it to analyze time aspects in the Stream Control Transmission Protocol (SCTP). This protocol presents different phases where time aspects are critical. In order to represent tem[...]texto impreso
This special issue contains the revised and extended versions of three papers presented in the 4th Workshop on Advances in Model-Based Testing (A-MOST 2008). In addition to an executive summary of these three papers, this preface briefly reviews[...]texto impreso
García Merayo, Mercedes ; Núñez García, Manuel ; Rodríguez Laguna, Ismael | SPRINGER-VERLAG BERLIN | 2007In this paper we extend HOTL (Hypotheses and Observations Testing Logic) to provide a formal framework to test timed systems. The main idea underlying HOTL is to infer whether a set of observations (i.e., results of test applications) allows to [...]texto impreso
García Merayo, Mercedes ; Núñez García, Manuel ; Rodríguez Laguna, Ismael | Institute of Electrical and Electronics Engineers | 2008-06In this paper, we introduce a timed extension of the extended finite state machines model. On one hand, we consider that (output) actions take time to be performed. This time may depend on several factors, such as the value of variables. On the [...]texto impreso
In this paper we introduce a timed extension of the extended finite state machines model. On the one hand, we consider that output actions take time to be performed. This time may depend on several factors such as the value of variables. On the [...]texto impreso
Stream X-machines are a kind of extended finite state machine used to specify real systems where communication between the components is modeled by using a shared memory. In this paper we introduce an extension of the Stream X-machines formalism[...]texto impreso
In this paper we extend our previous work on passive testing of timed systems to establish a formal criterion to determine correctness of an implementation under test. In our framework, an invariant expresses the fact that if the implementation [...]texto impreso
García Merayo, Mercedes ; Núñez García, Manuel ; Rodríguez Laguna, Ismael | Wiley-Blackwell | 2012-12This paper introduces a formal framework to specify and test systems presenting both soft and hard deadlines. While hard deadlines must always be met on time, soft deadlines can be sometimes met in a different time, usually greater, from the spe[...]texto impreso
García Merayo, Mercedes ; Núñez García, Manuel ; Rodríguez Laguna, Ismael | SPRINGER-VERLAG BERLIN | 2007The behavior of e-commerce agents can be defined at different levels of abstraction. A formalism allowing to define them in terms of their economic activities, Utility State Machines, has been proposed. Due to its high level of abstraction, this[...]texto impreso
In this paper we present a formal methodology to test both the functional and temporal behaviors in systems where temporal aspects are critical. We extend the classical finite state machines model with features to represent timed systems. Our fo[...]texto impreso
García Merayo, Mercedes ; Núñez García, Manuel ; Rodríguez Laguna, Ismael | SPRINGER-VERLAG BERLIN | 2007We present a formal framework to specify and test systems presenting both soft and hard deadlines. While hard deadlines must be always met on time, soft deadlines can be sometimes met in a different time, usually higher, from the specified one. [...]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 feasib[...]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.