利用模擬方式驗證ATM協定

Abstract

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.