DocumentCode
3524073
Title
A valuation measure of the protocol implementation
Author
Yuehui, Chen ; Xinming, Ye
Author_Institution
Coll. of Comput. Sci., Inner Mongolia Univ., Huhhot, Mongolia
Volume
2
fYear
1999
fDate
18-22 Oct. 1999
Firstpage
1176
Abstract
A method based on a finite state machine (FSM) that assesses the correctness of a protocol implementation with respect to its specification is proposed. A value is calculated based on the errors in the implementation model.
Keywords
conformance testing; error analysis; finite state machines; formal specification; formal verification; protocols; FSM; conformance testing; finite state machine; formal description language; implementation model errors; protocol implementation; protocol specification; valuation measure; Computer errors; Computer science; Cost accounting; Educational institutions; Formal specifications; ISO standards; Postal services; Protocols; Standardization; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Communications, 1999. APCC/OECC '99. Fifth Asia-Pacific Conference on ... and Fourth Optoelectronics and Communications Conference
Conference_Location
Beijing, China
Print_ISBN
7-5635-0402-8
Type
conf
DOI
10.1109/APCC.1999.820473
Filename
820473
Link To Document