Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/6006
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Hierons, RM | - |
dc.date.accessioned | 2011-11-22T10:55:35Z | - |
dc.date.available | 2011-11-22T10:55:35Z | - |
dc.date.issued | 2011 | - |
dc.identifier.citation | IEEE Transactions on Computers, 60(12): 1818 - 1822, Dec 2011 | en_US |
dc.identifier.issn | 0018-9340 | - |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/6006 | - |
dc.description | Copyright @ 2011 IEEE | en_US |
dc.description.abstract | Some systems have physically distributed interfaces, called ports, at which they interact with their environment. We place a tester at each port and if the testers cannot directly communicate and there is no global clock then we are using the distributed test architecture. It is known that this test architecture introduces controllability problems when testing from a deterministic finite state machine. This paper investigates the problem of testing from a nondeterministic finite state machine in the distributed test architecture and explores controllability. It shows how we can decide in polynomial time whether an input sequence is controllable. It also gives an algorithm for generating such an input sequence bar{x} and shows how we can produce testers that implement bar{x}. | en_US |
dc.language.iso | en | en_US |
dc.publisher | IEEE Computer Society | en_US |
dc.subject | Software engineering/software/program verification | en_US |
dc.subject | Controllability | en_US |
dc.subject | Distributed test architecture | en_US |
dc.subject | Finite state machine | en_US |
dc.subject | Nondeterminism | en_US |
dc.subject | Software engineering/testing and debugging | en_US |
dc.title | Controllable testing from nondeterministic finite state machines with multiple ports | en_US |
dc.type | Article | en_US |
dc.identifier.doi | http://dx.doi.org/10.1109/TC.2010.238 | - |
pubs.organisational-data | /Brunel | - |
pubs.organisational-data | /Brunel/Brunel (Active) | - |
pubs.organisational-data | /Brunel/Brunel (Active)/School of Info. Systems, Comp & Maths | - |
pubs.organisational-data | /Brunel/Research Centres (RG) | - |
pubs.organisational-data | /Brunel/Research Centres (RG)/CIKM | - |
pubs.organisational-data | /Brunel/School of Information Systems, Computing and Mathematics (RG) | - |
pubs.organisational-data | /Brunel/School of Information Systems, Computing and Mathematics (RG)/CIKM | - |
Appears in Collections: | Publications Computer Science Dept of Computer Science Research Papers |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
dnfsm_final.pdf | 280.68 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.