Información del autor
Documentos disponibles escritos por este autor (10)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
texto impreso
García Merayo, Mercedes ; Andrés Sánchez, César ; Molinero Brizuela, Carlos | IEEE Computer SOC | 2009-04This paper presents an empirical study of the mutation techniques used by the tool PASTE. This tool allows the automation of our passive testing methodology for systems that present stochastic-time information. In our proposal, invariants expres[...]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
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
This paper presents a methodology to perform passive testing of timed systems. In passive testing, the tester does not interact with the implementation under test. On the contrary, execution traces are observed without interfering with the behav[...]texto impreso
In this paper it is presented the features and behavior of the tutoring-training system MACRO-SYS. This system allows students to simulate experiments with complex macroeconomic environments. Users have to show their knowledge level by solving t[...]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
La tesis doctoral presentada recoge diferentes extensiones de formalismos utilizados en las metodologías para el testing de aquellos sistemas, de modo que estos puedan describir por ejemplo información probabilística con respecto a la frecuencia[...]
