Brunel University Research Archive (BURA) >
Research Areas >
Information Systems and Computing >

Please use this identifier to cite or link to this item: http://bura.brunel.ac.uk/handle/2438/343

Title: Separating sequence overlap for automated test sequence
Authors: Hierons, RM
Keywords: Test sequence generation
Finite state machine
Separating sequence
Characterizing set
Overlap
Publication Date: 2006
Publisher: Springer
Citation: Automated Software Engineering, 13(2): 283-301, Apr 2006
Abstract: Finite state machines have been used to model a number of classes of system and there has thus been much interest in the automatic generation of test sequences from finite state machines. Many finite state machine based test techniques utilize sequences that check the final states of transitions, the most general such sequence being a separating sequence: an input sequence that distinguishes between two states of an FSM. When using such techniques the test sequence length can be reduced by utilizing overlap. This paper investigates overlap for separating sequences and shows how this can be incorporated into test sequence generation.
URI: http://www.ingentaconnect.com/content/klu/ause/2006/00000013/00000002/00007739
http://bura.brunel.ac.uk/handle/2438/343
DOI: http://dx.doi.org/10.1007/s10515-006-7739-3
Appears in Collections:B-SERC Research Papers
Information Systems and Computing
School of Information Systems, Computing and Mathematics Research Papers

Files in This Item:

File Description SizeFormat
Separating Sequence 2006.pdf665.61 kBAdobe PDFView/Open

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

 


Library (c) Brunel University.    Powered By: DSpace
Send us your
Feedback. Last Updated: September 14, 2010.
Managed by:
Hassan Bhuiyan