Title :
A test generation tool for specifications in the form of state machines
Author :
Tan, Q.M. ; Petrenko, A. ; von Bochmann, G.
Author_Institution :
Dept. d´´Inf. et de Recherche Oper., Montreal Univ., Que., Canada
Abstract :
This paper describes a software tool, TAG (test automatic generation), that automatically generates test cases for an FSM specification. It implements the so-called transition identification approach for test derivation, and may output test cases in the form of an SDL skeleton. The description focuses on the functions of the tool and the methods implemented in the tool, especially, the heuristic solution to the minimization of state identification sequences
Keywords :
automatic test software; conformance testing; finite state machines; protocols; software tools; specification languages; FSM specification; SDL skeleton; communication protocols; conformance testing; heuristic solution; minimization; software tool; state identification sequences; state machines; test automatic generation; test derivation; test generation tool; transition identification approach; Automata; Automatic testing; Minimization methods; Protocols; Skeleton; Software testing; Software tools; System testing; Tail; Technical Activities Guide -TAG;
Conference_Titel :
Communications, 1996. ICC '96, Conference Record, Converging Technologies for Tomorrow's Applications. 1996 IEEE International Conference on
Conference_Location :
Dallas, TX
Print_ISBN :
0-7803-3250-4
DOI :
10.1109/ICC.1996.542187
