Please use this identifier to cite or link to this item:
Title: Testing from a finite state machine: Extending invertibility to sequences
Authors: Hierons, RM
Keywords: Computer testing;Finite state machine;Transmission protocol
Issue Date: 1997
Publisher: Oxford University Press
Citation: The Computer Journal 40(4): 220-230
Abstract: When testing a system modelled as a finite state machine it is desirable to minimize the effort required. It has been demonstrated that it is possible to utilize test sequence overlap in order to reduce the test effort and this overlap has been represented by using invertible transitions. In this paper invertibility will be extended to sequences in order to reduce the test effort further and encapsulate a more general type of test sequence overlap. It will also be shown that certain properties of invertible sequences can be used in the generation of state identification sequences.
Appears in Collections:Computer Science
Dept of Computer Science Research Papers
Software Engineering (B-SERC)

Files in This Item:
File Description SizeFormat 
Testing from a finite.pdf436.86 kBAdobe PDFView/Open

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