A Sophisticated Environment for Protocol Simulation and Testing
Number of Authors: 3
1986 (English)Report (Refereed)
This paper describes a protocol development environment aimed at simplifying the development and testing of communication protocols. Protocols are defined in the development environment in a specification language, called BDL, which is based on the process algebra CCS. The behavior of a system is thus expressed in terms of communicating processes, and a rich set of analytical theories for verification are available. The BDL language and the simulator for the language are outlined in the paper. The interactive user interface, implemented on a graphical workstation, is presented. Further the paper describes an interface to the development environment which allows the simulator to interact with protocol implementations directly, and therefore enables protocol testing based on formal definitions.
Place, publisher, year, edition, pages
Swedish Institute of Computer Science , 1986, 1. , 18 p.
SICS Research Report, ISSN 0283-3638 ; R86:04
Computer and Information Science
IdentifiersURN: urn:nbn:se:ri:diva-14016OAI: oai:DiVA.org:ri-14016DiVA: diva2:1035299
Original report number R86004.2016-10-132016-10-13