SODA

A Sophisticated Environment for Protocol Simulation and Testing

Karjoth, Günter and Sjödin, Peter and Weckner, Steffen (1986) A Sophisticated Environment for Protocol Simulation and Testing. [SICS Report]

[img]
Preview
PDF
1885Kb

Abstract

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.

Item Type:SICS Report
Additional Information:Original report number R86004.
ID Code:2020
Deposited By:Vicki Carleson
Deposited On:23 Oct 2007
Last Modified:18 Nov 2009 15:59

Repository Staff Only: item control page