Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/8524
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Hierons, RM | - |
dc.date.accessioned | 2014-05-30T10:05:29Z | - |
dc.date.available | 2014-05-30T10:05:29Z | - |
dc.date.issued | 2012 | - |
dc.identifier.citation | Theoretical Computer Science, 451, 70 - 82, 2012 | en_US |
dc.identifier.issn | 0304-3975 | - |
dc.identifier.uri | http://www.sciencedirect.com/science/article/pii/S0304397512005324 | en |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/8524 | - |
dc.description | This is the post-print version of the final paper published in Theoretical Computer Science. The published article is available from the link below. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. Copyright @ 2012 Elsevier B.V. | en_US |
dc.description.abstract | In model based testing (MBT), testing is based on a model MM that typically is expressed using a state-based language such as an input output transition system (IOTS). Most approaches to MBT assume that communications between the system under test (SUT) and its environment are synchronous. However, many systems interact with their environment through asynchronous channels and the presence of such channels changes the nature of testing. In this paper we investigate the situation in which the SUT interacts with its environment through asynchronous channels and the problems of producing test cases to reach a state, execute a transition, or to distinguish two states. In addition, we investigate the Oracle Problem. All four problems are explored for both FIFO and non-FIFO channels. It is known that the Oracle Problem can be solved in polynomial time for FIFO channels but we also show that the three test case generation problems can also be solved in polynomial time in the case where the IOTS is observable but the general test generation problems are EXPTIME-hard. For non-FIFO channels we prove that all of the test case generation problems are EXPTIME-hard and the Oracle Problem in NP-hard, even if we restrict attention to deterministic IOTSs. | en_US |
dc.language.iso | en | en_US |
dc.publisher | Elsevier | en_US |
dc.subject | Software testing | en_US |
dc.subject | Asynchronous channels | en_US |
dc.subject | Model based testing | en_US |
dc.subject | Input output transition system | en_US |
dc.title | The complexity of asynchronous model based testing | en_US |
dc.type | Article | en_US |
dc.identifier.doi | http://dx.doi.org/10.1016/j.tcs.2012.05.038 | - |
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: | Publications Computer Science Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Fulltext.pdf | 312.67 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.