Please use this identifier to cite or link to this item: http://buratest.brunel.ac.uk/handle/2438/11260
Title: A more precise implementation relation for distributed testing
Authors: Hierons, RM
Keywords: Distributed testing;Model-based testing;Software testing
Issue Date: 2015
Publisher: Oxford University Press
Citation: The Computer Journal, (2015)
Abstract: There has been significant interest in distributed testing from an input output transition system. Previous work introduced an implementation relation $\dioco$ that was defined in terms of an equivalence relation on traces (sequences of observations). This paper considers an alternative approach in which an observation made in testing is a tuple of local traces, one for each tester. This paper defines such an implementation relation $\newdioco$ in terms of the possible observations regarding the system under test and the specification. It shows that $\newdioco$ is strictly weaker than $\dioco$ but is equivalent to $\dioco$ if processes cannot be output-divergent. Interestingly, this shows that the previous definition of $\dioco$ is too strong for output-divergent processes. We also prove that the Oracle problem is NP-complete but can be solved in polynomial time if there is an upper bound on the number of local testers.
URI: http://comjnl.oxfordjournals.org/content/early/2015/08/05/comjnl.bxv057
http://bura.brunel.ac.uk/handle/2438/11260
DOI: http://dx.doi.org/10.1093/comjnl/bxv057
ISSN: 1460-2067
Appears in Collections:Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
Fulltext.pdf380.81 kBAdobe PDFView/Open


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