Title :
A protocol software application generator
Author_Institution :
AT&T Bell Lab., Naperville, IL, USA
Abstract :
An approach to generating protocol software from the validated protocol specifications is presented. Using this approach, the protocol application generator PAGE was developed. Using PAGE, an internet protocol was implemented as a set of automatically generated device driver routines and shown to run in a testbed simulating a real network environment. Protocol software thus generated is shown to serve as complete or nearly complete routines or as prototype routines for the protocol, depending upon the protocol software application generator and its application environment. The approach helps improve substantially the reliability of protocol software and the productivity of protocol software development.<>
Keywords :
Unix; application generators; program testing; protocols; telecommunications computing; C language; Unix; automatically generated device driver routines; communication protocols; internet protocol; nearly complete routines; productivity; protocol software application generator; prototype routines; reliability; testbed; validated protocol specifications; Application software; Automatic programming; Communication system software; Costs; High level languages; Productivity; Program processors; Protocols; Software systems; Specification languages;
Conference_Titel :
Communications, Computers and Signal Processing, 1989. Conference Proceeding., IEEE Pacific Rim Conference on
Conference_Location :
Victoria, BC, Canada
DOI :
10.1109/PACRIM.1989.48348
