IBM Journal of Research and Development
IBM Skip to main content
  Home     Products & services     Support & downloads     My account  

  Select a country  
Journals Home  
  Systems Journal  
Journal of Research
and Development
    Current Issue  
    Recent Issues  
    Papers in Progress  
    Recent publications  
    Author's Guide  
  Contact Us  
  Related links:  
     IBM Research  

IBM Journal of Research and Development  
Volume 22, Number 4, Page 393 (1978)
Solar Energy Conversion
  Full article: arrowPDF   arrowCopyright info


General Technique for Communications Protocol Validation

by C. H. West
A technique for the validation of protocols in communications systems is described. It can be used for systems composed of processes that can be modeled as finite directed graphs. The validation exhaustively exercises the interaction domain of a system and identifies all occurrences of a number of well-defined error conditions. The method can detect when individual processes have no predefined response to incoming messages, as well as system deadlocks and potential loss of messages due to overflow conditions.
Related Subjects: Algorithms; Communications and communication networks