Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/339
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Derderian, K | - |
dc.contributor.author | Hierons, RM | - |
dc.contributor.author | Harman, M | - |
dc.contributor.author | Qiang, G | - |
dc.coverage.spatial | 13 | en |
dc.date.accessioned | 2006-11-03T15:11:41Z | - |
dc.date.available | 2006-11-03T15:11:41Z | - |
dc.date.issued | 2006 | - |
dc.identifier.citation | The Computer Journal 49(3):331-344, Jan 2006 | en |
dc.identifier.uri | http://comjnl.oxfordjournals.org/cgi/content/abstract/49/3/331 | en |
dc.identifier.uri | http://bura.brunel.ac.uk/handle/2438/339 | - |
dc.description.abstract | This paper describes a method for automatically generating unique input output (UIO) sequences for FSM conformance testing. UIOs are used in conformance testing to verify the end state of a transition sequence. UIO sequence generation is represented as a search problem and genetic algorithms are used to search this space. Empirical evidence indicates that the proposed method yields considerably better (up to 62% better) results compared with random UIO sequence generation. | en |
dc.format.extent | 811793 bytes | - |
dc.format.mimetype | application/pdf | - |
dc.language.iso | en | - |
dc.publisher | Brunel University Information Systems and Computing PhD Theses | en |
dc.subject | Finite state machine | en |
dc.subject | Unique input output sequence | en |
dc.subject | State verification | en |
dc.subject | Conformance testing | en |
dc.subject | Genetic algorithm | en |
dc.title | Automated unique input output sequence generation for conformance testing of FSMs | en |
dc.type | Research Paper | en |
dc.identifier.doi | http://dx.doi.org/10.1093/comjnl/bxl003 | - |
Appears in Collections: | Computer Science Dept of Computer Science Research Papers Software Engineering (B-SERC) |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Automated Unique.pdf | 792.77 kB | Adobe PDF | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.