Universidad Complutense de Madrid
E-Prints Complutense

Implementation relations and test generation for systems with distributed interfaces.



Último año

García Merayo, Mercedes y Nuñez García, Manuel y Hierons, Robert M. (2012) Implementation relations and test generation for systems with distributed interfaces. Distributed Computing, 25 (1). pp. 35-62. ISSN 0178-2770

[img] PDF
Restringido a Sólo personal autorizado del repositorio hasta 31 Diciembre 2020.


URL Oficial: http://www.springerlink.com/content/u505716t4j6q4t04/fulltext.pdf

URLTipo de URL


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 reduces our ability to distinguish different systems in testing or in use. In this paper we explore notions of conformance for an input output transition system that has multiple ports, adapting the widely used ioco implementation relation to this situation. We consider two different scenarios. In the first scenario the agents at the different ports are entirely independent. Alternatively, it may be feasible for some external agent to receive information from more than one of the agents at the ports of the system, these local behaviours potentially being brought together and here we require a stronger implementation relation. We define implementation relations for these scenarios and prove that in the case of a single-port system the new implementation relations are equivalent to ioco. In addition, we define what it means for a test case to be controllable and give an algorithm that decides whether this condition holds. We give a test generation algorithm to produce sound and complete test suites. Finally, we study two implementation relations to deal with partially specified systems.

Tipo de documento:Artículo
Palabras clave:Formal approaches to testing; Systems with distributed ports; Formal methodologies to develop distributed software systems
Materias:Ciencias > Matemáticas > Investigación operativa
Código ID:15445
Depositado:31 May 2012 10:35
Última Modificación:06 Feb 2014 10:24

Descargas en el último año

Sólo personal del repositorio: página de control del artículo