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
fDate :
7/1/1993 12:00:00 AM
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;
Journal_Title :
Software Engineering Journal