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

Volume

1

fYear

1996

Firstpage

225

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/ICC.1996.542187

Filename

542187