Error-preserving local transformations on communication protocols
Software Testing, Verification & Reliability
| Hi-index | 0.00 |
Common logical design errors in communication protocols are typically detected through reachability analysis or state-based model checking techniques. These techniques suffer from a state explosion problem and a variety of methods have been explored to deal with it. In this paper, two transformation rules are proposed to be applied specifically on the specifications of communication protocols to reduce their sizes while preserving common logical design errors. These rules are applied on the specification of each individual process in the protocols before state exploration and thus can be combined with most of the existing reachability analysis or model checking techniques applied during state exploration. Copyright © 2007 John Wiley & Sons, Ltd.