Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/14257
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Hierons, RM | - |
dc.contributor.author | Nunez, M | - |
dc.date.accessioned | 2017-03-15T14:42:45Z | - |
dc.date.available | 2017-03-15T14:42:45Z | - |
dc.date.issued | 2017-03-22 | - |
dc.identifier.citation | Hierons, R.M. and Núñez, M. (2017) 'Implementation relations and probabilistic schedulers in the distributed test architecture', Journal of Systems and Software, 132, pp. 319-335. doi: 10.1016/j.jss.2017.03.011. | en_US |
dc.identifier.issn | 0164-1212 | - |
dc.identifier.uri | https://bura.brunel.ac.uk/handle/2438/14257 | - |
dc.description.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. | en_US |
dc.description.sponsorship | Research partially supported by the MINECO/FEDER project DArDOS (TIN2015- 65845-C3-1-R) and the Comunidad de Madrid project SICOMORo-CM (S2013/ICE-3006). | en_US |
dc.description.sponsorship | MINECO/FEDER project DArDOS (TIN2015- 65845-C3-1-R); Comunidad de Madrid project SICOMORo-CM (S2013/ICE-3006). | - |
dc.format.medium | Print-Electronic | - |
dc.language.iso | en | en_US |
dc.publisher | Elsevier | - |
dc.subject | model-based testing | en_US |
dc.subject | probabilistic systems | en_US |
dc.subject | distributed systems | en_US |
dc.title | Implementation relations and probabilistic schedulers in the distributed test architecture | en_US |
dc.type | Article | en_US |
dc.identifier.doi | https://doi.org/10.1016/j.jss.2017.03.011 | - |
dc.relation.isPartOf | Journal of Systems and Software | - |
pubs.publication-status | Published | - |
dc.identifier.eissn | 1873-1228 | - |
Appears in Collections: | Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
FullText.pdf | 325.76 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.