|
The existing protocol verification methods can be divided into
two ty-pes: static analysis and physical measurement. The
defect of the former is that it can be applied to local protocol
verification only. The defect of the latter is that it can be
applied a-fter protocol implementation. The advantage of the
latter is that it is capable of proceeding with integral
verification. To mitigate the defects of current protocol
verification methods, this thesis proposes a new network
protocol verification method called "dyna-mic analysis method".
This method develops a simulation program to simulate execution
proce-ss and measure verification parameters of the protocol to
be verified. To make the simulation result as similar as
possible to the real world result, the simulation scope must
include (1) required execution proces-ses and parameter
measurements of the protocol under test and (2) proto-col
related network functions and mechanism. To make the dynamic
analysis method practical, this thesis do the fol-lowing two
things:(1)define a set of verification parameters: the param-
eter set includes most important verification parameters, and
(2)related simulation environment: the simulation environment is
a framework to an-alyze present important ATM protocol. The
framework includes an object-oriented architecture and related
program code.The designer can effecti-vely generate a simulation
program by the pre-defined parameters and pre-built framework.
The proposed method has the following characteristics and
advantages: 1. We present a new ATM protocol verification
parameter method to com- bine the advantages of both static
analysis and physical measureme- nt to help designers to do
ATM protocol verification. 2. We define a set of measurement
parameters derived from the general parameters, ATM network
parameters, and special parameters to veri- fy most
protocols. 3. We define the basic components of ATM network.
The functional requ- irements of these components must be
provided by the simulation pr- ogram. 4. We define an
object-oriented framework of ATM simulation programs. The
framework includes the functional simulation of basic componen-
t, measurement mechanism of verification parameter, simulation
con- trol, and user interface. Using such an object-oriented
architectu- re, the designer can take advantage of object-
oriented programming (i.e., inheritance, polymorphism, and
encapsulation) to effectivel- y develop desired simulation
programs.
|