Title :
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
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;
Conference_Titel :
Network Protocols, 1993. Proceedings., 1993 International Conference on
Conference_Location :
San Francisco, CA
Print_ISBN :
0-8186-3670-X
DOI :
10.1109/ICNP.1993.340915
