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 SizeFormat 
Fulltext.pdf312.67 kBAdobe PDFView/Open


Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.