Brunel University Research Archive (BURA) >
Research Areas >
Computer Science >

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
Publication 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
Software Engineering (B-SERC)
Dept of Computer Science Research Papers

Files in This Item:

File Description SizeFormat
Automated Unique.pdf792.77 kBAdobe PDFView/Open

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