Brunel University Research Archive(BURA) preserves and enables easy and open access to all
types of digital content. It showcases Brunel's research outputs.
Research contained within BURA is open access, although some publications may be subject
to publisher imposed embargoes. All awarded PhD theses are also archived on BURA.
Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/339| Title: | Automated unique input output sequence generation for conformance testing of FSMs |
| Authors: | Derderian, K Hierons, RM Harman, M Qiang, G |
| Keywords: | Finite state machine;Unique input output sequence;State verification;Conformance testing;Genetic algorithm |
| Issue Date: | 2006 |
| Publisher: | Brunel University Information Systems and Computing PhD Theses |
| Citation: | The Computer Journal 49(3):331-344, Jan 2006 |
| 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. |
| URI: | http://comjnl.oxfordjournals.org/cgi/content/abstract/49/3/331 http://bura.brunel.ac.uk/handle/2438/339 |
| 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.