| Project/Area Number |
61460130
|
|---|
| Research Category |
Grant-in-Aid for General Scientific Research (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
電子通信系統工学
|
|---|
| Research Institution | University of Tokyo |
|---|
Principal Investigator |
SAITO Tadao Professor, Faculty of Engineering, University to Tokyo, 工学部, 教授 (30010789)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
TOMIYAMA Tadahiro Assustaut, Faculty of Engineering, University of Tokyo, 工学部, 助手 (80010932)
AIDA Hitoshi Lecturer, Faculty of Engineering, University of Tokyo (BABA,Hiroshi), 工学部, 講師 (00175712)
|
|---|
| Project Period (FY) |
1986 – 1987
|
| Project Status |
Completed (Fiscal Year 1987)
|
| Budget Amount *help |
¥5,100,000 (Direct Cost: ¥5,100,000)
Fiscal Year 1987: ¥2,700,000 (Direct Cost: ¥2,700,000)
Fiscal Year 1986: ¥2,400,000 (Direct Cost: ¥2,400,000)
|
|---|
| Keywords | Protocol / Event sequence expression / Protocol validation / ESTELLE / 適合性試験 / 通信プロトコル / 形式記述法 / 状態遷移図 / 検証 |
|---|
| Research Abstract |
Frotocol is a collection of predetermined rule for communication amoung computers and terminals. To maintain stable operation of a computer network, it is essential to establish a communication protocol and to confirm that all the components used in the network conform to the established protocol. For this purpose protocol validation should be made on all the products which is to be connected to the network. This is called protocol product validation.
One problem for protocol. product validation is how to describe the protocol, and how to qenerate the test sequence to be used for protocol validation. Conventionaly protocol itself is described in natural language, and the description is not suited for product validation.
In our study, a formal protocol description language called event sequence expression has been proposed as a expression well suited for conversion from natural language expression. We devised a conversion system of event sequence description to state transition table. Once state transition table is obtained, generation of test sequence for product valuidation is possible by a method studied by the researchers.
The method has been tested on various protocols including HDLC and the ISO standard transport layer protocol. The usefulness of the approach has been proved through the applications. In addition, conversion system from LOTOS to ESTELLE has also been studied. The conversion almost corresponds to the conversion from event sequence expression to state transition tawble expression. Some additional information was found to be needed to LOTOS for complete conversion.
|
