Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/351
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Hierons, RM | - |
dc.coverage.spatial | 9 | en |
dc.date.accessioned | 2006-11-06T12:21:52Z | - |
dc.date.available | 2006-11-06T12:21:52Z | - |
dc.date.issued | 1997 | - |
dc.identifier.citation | IEE Proceedings - Software Engineering, 144(5-6): 291-295, Oct 1997 | en |
dc.identifier.uri | http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=655598 | en |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/351 | - |
dc.description.abstract | Some systems may be modelled as a set of communicating finite state machines with a slow environment. These machines communicate through the exchange of values. While it is possible to convert such a model into one finite state machine, from which test cases can be derived, this process may lead to an explosion in the number of states. Alternatively it is possible to utilise any independence that exists. The problem of producing a minimal test set, in the presence of certain types of independence and unique input/output sequences, can be represented as a variant of the vehicle routing problem. Possible heuristics for solving this problem are outlined and the method is applied to an example. | en |
dc.format.extent | 337301 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | Institution of Engineering and Technology | en |
dc.subject | Directed graphs | en |
dc.subject | Finite state machines | en |
dc.subject | Testing | en |
dc.subject | Transportation | en |
dc.subject | Vehicles | en |
dc.title | Testing from semi-independent communicating finite state machines with a slow environment | en |
dc.type | Research Paper | en |
dc.identifier.doi | http://dx.doi.org/10.1049/ip-sen:19971789 | - |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers Software Engineering (B-SERC) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Testing From Semi-indepenedent.pdf | 329.4 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.