DocumentCode
3411806
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
fYear
1993
fDate
1993
Firstpage
774
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/INFCOM.1993.253292
Filename
253292
Link To Document