Constructing Error-free Designs of Communication Protocols via Adaptive Testing

摘要：

Reverse engineering in distributed systems is essential for the recovery of the designs of large and complex distributed systems that often evolve without proper documentation. We propose a method to obtain design specit>cations in term of Communicating Finite State Machines from the observations of the executions of existing communication protocols that are free from common logical errors. By employing adaptive testing into the reverse engineering procedure, we are able to obtain design specifications that conform to the given implementation and are free from deadlocks and unspecited receptions.

作者: Lihua Duan Jessica Chen Wei Yan

作者单位: School of Software and Microelectronics, Peking University, China School of Computer Science, University of Windsor, Canada

会议类型: 国际会议

会议名称: 2011 3rd International Conference on Computer and Network Technology(ICCNT 2011)(2011第三届IEEE计算机与网络技术国际会议)

会议地点: 太原

会议语种:英文

页码: 470-477

在线出版日期: 2011-02-26（万方平台首次上网日期，不代表论文的发表时间）