DocumentCode
926989
Title
A test generation algorithm for systems modelled as non-deterministic FSMs
Author
AboElFotoh, Hosam ; Abou-rabia, Osman ; Ural, Hasan
Author_Institution
Dept. of Comput. Sci., American Univ., Cairo, Egypt
Volume
8
Issue
4
fYear
1993
fDate
7/1/1993 12:00:00 AM
Firstpage
184
Lastpage
188
Abstract
A variety of systems can be modelled as finite-state machines (FSM). Several formal methods have been proposed for testing the conformance of an implementation to a given FSM-based specification. However, all of these methods assume that the specification is modelled by a deterministic FSM. The paper presents an efficient algorithm that generates a set of adaptive all state-pair optimised distinguishing sequences for testing systems modelled as non-deterministic FSMs
Keywords
conformance testing; finite state machines; formal specification; adaptive all state-pair optimised distinguishing sequences; conformance; finite-state machines; formal methods; nondeterministic FSMs; test generation algorithm;
fLanguage
English
Journal_Title
Software Engineering Journal
Publisher
iet
ISSN
0268-6961
Type
jour
Filename
225553
Link To Document