Automatic test case generation for Estelle

Author

Wang, Chang-Jia ; Liu, Ming T.

Author_Institution

Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA

fYear

1993

fDate

19-22 Oct 1993

Firstpage

225

Lastpage

232

Abstract

An automatic test case generation method for Estelle is proposed. A formal model is introduced to describe the dynamic properties of Estelle specifications so as to verify the difference between the behavior of the specification and the behavior of its models. Based on the difference, an algorithm is presented to produce test cases that can detect such implementation faults. The algorithm can generate test cases not only for single module specifications but also for systems containing multiple modules that run concurrently. In addition, heuristics are suggested to improve the performance of the test case generation process

Keywords

automatic testing; conformance testing; formal specification; protocols; specification languages; Estelle; Estelle specifications; ISO; algorithm; automatic test case generation; dynamic properties; finite state machine; formal model; heuristics; implementation faults; module specifications; protocol conformance testing; Automata; Automatic testing; Communication networks; Computer aided software engineering; Fault detection; Hardware; Information science; Protocols; System testing; Telecommunication network reliability;

fLanguage

English

Publisher

ieee

Conference_Titel

Network Protocols, 1993. Proceedings., 1993 International Conference on

Conference_Location

San Francisco, CA

Print_ISBN

0-8186-3670-X

Type

conf

DOI

10.1109/ICNP.1993.340915

Filename

340915