Información del autor
Documentos disponibles escritos por este autor (35)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
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[...]
