Title :
A valuation measure of the protocol implementation
Author :
Yuehui, Chen ; Xinming, Ye
Author_Institution :
Coll. of Comput. Sci., Inner Mongolia Univ., Huhhot, Mongolia
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;
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
DOI :
10.1109/APCC.1999.820473
