Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/8832
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Dan, H | - |
dc.contributor.author | Hierons, RM | - |
dc.date.accessioned | 2014-08-05T10:42:10Z | - |
dc.date.available | 2014-08-05T10:42:10Z | - |
dc.date.issued | 2012 | - |
dc.identifier.citation | The Computer Journal, 55(11), 1270 - 1287, 2012 | en_US |
dc.identifier.issn | 1460-2067 | - |
dc.identifier.uri | http://comjnl.oxfordjournals.org/content/55/11/1270 | en |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/8832 | - |
dc.description | This is a pre-copyedited, author-produced PDF of an article accepted for publication in The Computer Journal following peer review. The definitive publisher-authenticated version [Dan, H and Hierons, RM (2012), "Controllability Problems in MSC-Based Testing", The Computer Journal, 55(11), 1270-1287] is available online at: http://comjnl.oxfordjournals.org/content/55/11/1270. Copyright @ The Authors 2011. | en_US |
dc.description.abstract | In testing systems with distributed interfaces/ports, we may place a separate tester at each port. It is known that this approach can introduce controllability problems which have received much attention in testing from finite state machines. Message sequence charts (MSCs) form an alternative, commonly used, language for modelling distributed systems. However, controllability problems in testing from MSCs have not been thoroughly investigated. In this paper, controllability problems in MSC test cases are analysed with three notions of observability: local, tester and global. We identify two types of controllability problem in MSC-based testing. It transpires that each type of controllability problem is related to a type of MSC pathology. Controllability problems of timing are caused by races but not every race causes controllability problems; controllability problems of choice are caused by non-local choices and not every non-local choice causes controllability problems. We show that some controllability problems of timing are avoidable and some controllability problems of choice can be overcome when testers have better observational power. Algorithms are provided to tackle both types of controllability problems. Finally, we show how one can overcome controllability problems using a coordination service with status messages based on algorithms developed in this paper. | en_US |
dc.description.sponsorship | EPSRC | en_US |
dc.language.iso | en | en_US |
dc.publisher | Oxford University Press | en_US |
dc.subject | Testing | en_US |
dc.subject | Controllability problems | en_US |
dc.subject | Message sequence charts | en_US |
dc.subject | Race | en_US |
dc.subject | Non-local choice | en_US |
dc.title | Controllability problems in MSC-based testing | en_US |
dc.type | Article | en_US |
dc.identifier.doi | http://dx.doi.org/10.1093/comjnl/bxr125 | - |
pubs.organisational-data | /Brunel | - |
pubs.organisational-data | /Brunel/Administration and Support Staff | - |
pubs.organisational-data | /Brunel/Administration and Support Staff/Administration and Support Staff | - |
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/Computer Science | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/Brunel Business School - URCs and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/Brunel Business School - URCs and Groups/Centre for Research into Entrepreneurship, International Business and Innovation in Emerging Markets | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Arts - URCs and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Arts - URCs and Groups/Brunel Centre for Contemporary Writing | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Brunel Institute for Ageing Studies | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Brunel Institute of Cancer Genetics and Pharmacogenomics | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Health Sciences and Social Care - URCs and Groups/Centre for Systems and Synthetic Biology | - |
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 | - |
pubs.organisational-data | /Brunel/University Research Centres and Groups/School of Information Systems, Computing and Mathematics - URCs and Groups/Multidisclipary Assessment of Technology Centre for Healthcare (MATCH) | - |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Fulltext.pdf | 529.43 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.