loading...
Verification and diagnosis of testing equivalence and reduction relation
Tokyo, Japan November 07-November 10
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICNP.1995.524814Third International Conference on Net ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Z.P. Tao, G. von Bochmann, R. Dssouli, "Verification and diagnosis of testing equivalence and reduction relation," Network Protocols, IEEE International Conference on, pp. 14, Third International Conference on Network Protocols (ICNP'95), 1995.
 
 
BibTex
x
 
@article{ 10.1109/ICNP.1995.524814,
author = {Z.P. Tao and G. von Bochmann and R. Dssouli},
title = {Verification and diagnosis of testing equivalence and reduction relation},
journal ={Network Protocols, IEEE International Conference on},
volume = {0},
year = {1995},
isbn = {0-8186-7216-1},
pages = {14},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICNP.1995.524814},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Network Protocols, IEEE International Conference on
TI - Verification and diagnosis of testing equivalence and reduction relation
SN - 0-8186-7216-1
SP
EP
A1 - Z.P. Tao,
A1 - G. von Bochmann,
A1 - R. Dssouli,
PY - 1995
KW - protocols; formal verification; equivalence classes; telecommunication computing; conformance testing; testing equivalence; reduction relation; protocol engineering; service specification; diagnostic information; refusal graph; deterministic machine
VL - 0
JA - Network Protocols, IEEE International Conference on
ER -
 
Z.P. Tao, Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
G. von Bochmann, Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
R. Dssouli, Dept. d'Inf. et de Recherche Oper., Montreal Univ., Que., Canada
In protocol engineering, a common approach for system design and implementation is to verify if an implementation specification (or any lower level specification) satisfies its service specification. If an implementation specification does not satisfy its service specification, it is necessary to find out the faults and correct them. In this paper, we present an efficient algorithm for verifying whether an implementation satisfies its service specification related by the testing equivalence and the reduction relation, and generating diagnostic information if an implementation does not satisfy its service specification, based on the transformation of the service specification into a special deterministic machine, called refusal graph, and the coupled product of the refusal graph and the implementation
Index Terms:
protocols; formal verification; equivalence classes; telecommunication computing; conformance testing; testing equivalence; reduction relation; protocol engineering; service specification; diagnostic information; refusal graph; deterministic machine
Citation:
Z.P. Tao, G. von Bochmann, R. Dssouli, "Verification and diagnosis of testing equivalence and reduction relation," icnp, pp.14, Third International Conference on Network Protocols (ICNP'95), 1995
Usage of this product signifies your acceptance of the Terms of Use.