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