1988 Fiscal Year Annual Research Report
| Project/Area Number |
63580018
|
|---|
| Research Institution | Tohoku University |
|---|
Principal Investigator |
白鳥 則郎 東北大学, 電気通信研究所, 助教授 (60111316)
|
|---|
| Keywords | 通信ソフトウェア;知識型システム;ソフトウェア自動生成;仕様記述言語;プロトコル検証 |
|---|
| Research Abstract |
本研究では、対象を通信ソフトウェアに絞り、我々の過去5年間の成果および知識ベースに基づいた新しい方法論を用いて、知識型の自動形成システムについて研究し、その技術を開発することを目的とする。まず、通信ソフトウェアの要求仕様記述から検証、論理設計、プログラミング、試験まで円滑に一貫して開発するための知識型開発支援システムを構成する。次に、このシステムを用いて国際標準であるOSIプロトコルの設計により実証実験を繰り返し、通信ソフトウェアの知識型自動形成システムを開発する。
63年度では、知識型自動形成システムの核となる次の2項目に重点を置き諸研究を推進した。
(1)知的な開発支援システムの構成
プロトコルと通信ソフトウェアのライフサイクルに注目し、プロトコルの仕様記述からプログラミング、試験まで円滑に開発するために、知的なヒューマンインタフェースを持つ知識型開発支援システムを構成した。
(2)(1)の構成要素の開発
これまで我々が開発したプロトコルと通信ソフトウェア向きの、(a)仕様記述言語NESDELおよび国際標準言語LOTOS、ESTELLE、(b)高級プログラミング言語IDL、(c)検証法EXPAをもとに、(1)を実現する上で核となる以下の構成要素〓、〓と〓を設計した。〓(a)の知識型エディタ、〓(a)と(b)および(a)と(c)間、さらに(a)内の言語間の変換アルゴリズム、〓(a)からテストシナリオの生成アルゴリズム。
|
-
[Publications] N.Shiratori.;K.Takahashi.;S.Noguchi.: J.Computer Networks. Vol.15. 245-267 (1988)
-
[Publications] N.Shiratori.;K.Takahashi.;S.Noguchi.: Proc.of Eighth ISP. 257-268 (1988)
-
[Publications] Y.X.Zhang.;K.Takahashi.;N.Shiratori.;S.Noguchi.: IEEE Trans SE. Vol.14. 394-404 (1988)
-
[Publications] K.Takahashi.;N.Shiratori.;S.Noguchi.: IEEE Journal SAC. Vol.6. 842-849 (1988)
-
[Publications] T.Kinoshita.;K.Sugawara.;N.Shiratori.: IEEE Journal SAC. Vol.6. 850-861 (1988)
-
[Publications] Yao-Xue Zhang.;K.Takahashi.;N.Shiratori.;S.Noguchi.: IEEE Journal SAC. Vol.6. 874-883 (1988)
