Información del autor
Documentos disponibles escritos por este autor (7)
Añadir el resultado a su cesta Hacer una sugerencia Refinar búsqueda
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
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
Specification mutation involves mutating a specification, and for each mutation a test is derived that distinguishes the behaviours of the mutated and original specifications. This approach has been applied with finite state machine based models[...]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
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
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
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 [...]
