Title :
Generating test cases for EFSM with given fault models
Author :
Wang, Chung-Jia ; Liu, Ming T.
Author_Institution :
Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Abstract :
A test case generation method is proposed for the conformance testing of communication protocols. Given a protocol specification and a fault model, both specified by extended finite state machines (EFSMs), the proposed method generates test cases that detect the given faults. A theoretical model is proposed to describe the dynamic properties of EFSMs. Test cases can be generated by analyzing the differences in the dynamic properties between the specification and the fault models
Keywords :
conformance testing; finite state machines; protocols; communication protocols; conformance testing; dynamic properties; extended finite state machines; fault models; protocol specification; test case generation method; theoretical model; Automata; Automatic testing; Computer aided software engineering; Computer network reliability; Computer networks; Fault detection; Information analysis; Information science; Protocols; Telecommunication network reliability;
Conference_Titel :
INFOCOM '93. Proceedings.Twelfth Annual Joint Conference of the IEEE Computer and Communications Societies. Networking: Foundation for the Future, IEEE
Conference_Location :
San Francisco, CA
Print_ISBN :
0-8186-3580-0
DOI :
10.1109/INFCOM.1993.253292
