Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/7570
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Cavalcanti, A | - |
dc.contributor.author | Gaudel, MC | - |
dc.contributor.author | Hierons, RM | - |
dc.date.accessioned | 2013-07-10T13:29:11Z | - |
dc.date.available | 2013-07-10T13:29:11Z | - |
dc.date.issued | 2011 | - |
dc.identifier.citation | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 7019: 48 - 63, 2011 | en_US |
dc.identifier.isbn | 978-3-642-24579-4 | - |
dc.identifier.issn | 0302-9743 | - |
dc.identifier.uri | http://link.springer.com/chapter/10.1007%2F978-3-642-24580-0_5 | en |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/7570 | - |
dc.description | Copyright @ 2011 Springer Berlin Heidelberg | en_US |
dc.description.abstract | CSP is a well established process algebra that provides comprehensive theoretical and practical support for refinement-based design and verification of systems. Recently, a testing theory for CSP has also been presented. In this paper, we explore the problem of testing from a CSP specification when observations are made by a set of distributed testers. We build on previous work on input-output transition systems, but the use of CSP leads to significant differences, since some of its conformance (refinement) relations consider failures as well as traces. In addition, we allow events to be observed by more than one tester. We show how the CSP notions of refinement can be adapted to distributed testing. We consider two contexts: when the testers are entirely independent and when they can cooperate. Finally, we give some preliminary results on test-case generation and the use of coordination messages. © 2011 IFIP International Federation for Information Processing. | en_US |
dc.language.iso | en | en_US |
dc.publisher | Springer Berlin Heidelberg | en_US |
dc.title | Conformance relations for distributed testing based on CSP | en_US |
dc.type | Article | en_US |
dc.identifier.doi | http://dx.doi.org/10.1007/978-3-642-24580-0_5 | - |
pubs.organisational-data | /Brunel | - |
pubs.organisational-data | /Brunel/Brunel Active Staff | - |
pubs.organisational-data | /Brunel/Brunel Active Staff/School of Info. Systems, Comp & Maths | - |
pubs.organisational-data | /Brunel/Brunel Active Staff/School of Info. Systems, Comp & Maths/IS and Computing | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups/Centre for Information and Knowledge Management | - |
Appears in Collections: | Publications Computer Science Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
distributedConformance.pdf | 158.55 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.