Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/8524
Title: | The complexity of asynchronous model based testing |
Authors: | Hierons, RM |
Keywords: | Software testing;Asynchronous channels;Model based testing;Input output transition system |
Issue Date: | 2012 |
Publisher: | Elsevier |
Citation: | Theoretical Computer Science, 451, 70 - 82, 2012 |
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. |
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. |
URI: | http://www.sciencedirect.com/science/article/pii/S0304397512005324 http://bura.brunel.ac.uk/handle/2438/8524 |
DOI: | http://dx.doi.org/10.1016/j.tcs.2012.05.038 |
ISSN: | 0304-3975 |
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.