Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/14257
Title: Implementation relations and probabilistic schedulers in the distributed test architecture
Authors: Hierons, RM
Nunez, M
Keywords: Model-based testing;Probabilistic systems;Distributed systems
Issue Date: 2017
Citation: Journal of Systems and Software, (2017)
Abstract: We present a complete framework to formally test systems with distributed ports where some choices are probabilistically quantified while other choices are non-deterministic. We define different implementation relations, that is, relations that state what it means for a system to be a valid implementation of a specification. We also study how these relate. In order to define these implementation relations we use probabilistic schedulers, a more powerful version, including probabilistic choices, of a notion of scheduler introduced in our previous work. Probabilistic schedulers, when applied to either a specification or an implementation, resolve all the possible non-determinism, so that we can compare purely probabilistic systems.
URI: http://bura.brunel.ac.uk/handle/2438/14257
ISSN: 0164-1212
Appears in Collections:Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
Fulltext.pdfFile is embargoed 325.76 kBAdobe PDFView/Open


Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.