An acyclic expansion algorithm for fast protocol validation
Abstract
For the development of communications software composed of many modules, protocol validation is considered essential to detect errors in the interactions among the modules. Protocol validation techniques previously proposed have required validation time that is too long for many actual protocols. The authors propose a novel fast protocol validation technique to overcome this drawback. The proposed technique is to construct the minimum acyclic form of state transitions in individual processes of the protocol, and to detect protocol errors such as system deadlocks and channel overflows fast. The authors also present a protocol validation system based on the technique to confirm its feasibility and show validation results for some actual protocols. As a result, the protocol validation system is expected to improve productivity in the development and maintenance of communications software.>
Related Papers
- → A User-oriented Protocol for Integrating Heterogeneous Communication Systems of Medical Facilities Using Ports(1989)6 cited
- Review of journal of construction of modern and contemporary times in China(2005)
- The Generic Cabling System of Construct(2005)
- Realization of Object Oriented Technology and Communication Protocol(2001)
- → The Development of Leader-Member Exchange Construct and the Emergence of Algorithmic Leader-Member Exchange Construct in the Gig Economy(2023)