Accession Number : ADA138160

Title :   An Automated Computer Communication Network Protocol Verification System.

Descriptive Note : Master's thesis,

Corporate Author : AIR FORCE INST OF TECH WRIGHT-PATTERSON AFB OH SCHOOL OF ENGINEERING

Personal Author(s) : Martin,K R , Jr

PDF Url : ADA138160

Report Date : Dec 1983

Pagination or Media Count : 220

Abstract : An automated tool for computer network communication protocol validation was developed and implemented. The method utilyzes the Program Modeling Language (PPML) to specify the protocol and an automated procedure to convert the PPML description into an equivalent Evaluation Net in order to evaluate the protocol. Simulation techniques are used to exercise the Evaluation Net presenting data on message transmission times and global state generation. (Author)

Descriptors :   *Computer program verification, *Systems engineering, *Computer communications, *Communications networks, *Data links, Validation, Automation, Requirements, Test and evaluation, Computerized simulation, Man computer interface, Modules(Electronics), Test and evaluation, Theses

Subject Categories : Computer Programming and Software
      Non-radio Communications

Distribution Statement : APPROVED FOR PUBLIC RELEASE