Please use this identifier to cite or link to this item:
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.
Appears in Collections:Computer Science
Dept of Computer Science Research Papers
Software Engineering (B-SERC)

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.