Abstract | ||
---|---|---|
In this paper we study the problem of designing a Conformance Resolution Test (CRT) for computer communication protocols based on the Finite State Machine model. We have examined the existing conformance testing methods with reference to their fault resolution capabilities. Among these, the W(p) -method [FBK91] is found to have the best fault resolution capability when the implementation has almost one fault. We present a CRT method with a fault resolution capability better than the W(p)-method when the implementation has almost one fault and the specification meets certain conditions. This method is based on the W(p)-method. We report results of applying this method on a subset of a transport protocol. |
Year | Venue | Keywords |
---|---|---|
1992 | NETWORKS '92 Proceedings of the IFIP TC6 Working Conference on Computer Networks, Architecture, and Applications. on Computer networks, architecture and applications | fsm model,fault resolution,conformance test |
Field | DocType | Volume |
Computer science,Reliability engineering | Conference | 13 |
ISSN | ISBN | Citations |
0926-549X | 0-444-89968-5 | 2 |
PageRank | References | Authors |
0.39 | 1 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
T. Ramalingam | 1 | 13 | 1.76 |
Anindya Das | 2 | 219 | 31.78 |
Krishnaiyan Thulasiraman | 3 | 315 | 31.10 |