Please use this identifier to cite or link to this item: http://buratest.brunel.ac.uk/handle/2438/13077
Full metadata record
DC FieldValueLanguage
dc.contributor.authorHierons, RM-
dc.contributor.authorTurker, UC-
dc.date.accessioned2016-08-11T15:19:20Z-
dc.date.available2016-08-11T15:19:20Z-
dc.date.issued2016-
dc.identifier.citationComputer Journal, 2016en_US
dc.identifier.issn1460-2067-
dc.identifier.urihttp://bura.brunel.ac.uk/handle/2438/13077-
dc.identifier.urihttp://comjnl.oxfordjournals.org/content/early/2016/09/10/comjnl.bxw069-
dc.description.abstractThere has been long-standing interest in automatically generating test sequences from a finite state machine (FSM) and more recently this has been extended to the case where there are multiple physically distributed testers and so we are testing from a multi-port FSM. This paper explores the problem of generating a controllable preset distinguishing sequence (PDS) from a multi-port FSM, motivated by the fact that many FSM-based test generation algorithms use PDSs. We prove that it is generally undecidable whether a multi-port FSM has a controllable PDS but provide a class of multi-port FSMs for which the problem is decidable. We also consider the important case where there is an upper bound ` on the length of PDSs of interest, proving that controllable PDS existence is PSPACE-hard and in EXPSPACE. In practice the upper bound ` is likely to be a polynomial in terms of the size of the multi-port FSM and in this case controllable PDS existence is NP- Complete.en_US
dc.language.isoenen_US
dc.publisherOxford University Press (OUP)-
dc.subjectFinite state machineen_US
dc.subjectDistributed test architectureen_US
dc.subjectPreset distinguishing sequenceen_US
dc.titleDistinguishing Sequences for Distributed Testing: Preset Distinguishing Sequencesen_US
dc.typeArticleen_US
dc.identifier.doihttp://dx.doi.org/10.1093/comjnl/bxw069-
dc.relation.isPartOfThe Computer Journal-
pubs.publication-statusAccepted-
Appears in Collections:Dept of Computer Science Research Papers

Files in This Item:
File Description SizeFormat 
FullText.pdfFile is embargoed until 12/09/2017747.09 kBAdobe PDFView/Open


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