|
本研究では、通信ソフトウエアの自動形成を目的とした支援システムの開発を行っている。本支援システムは、プロトコルの仕様記述から、そのインプリメンテ-ションまでを一貫して矛盾なく利用者に支援する機能の提供を目指したものである。
本年度は以下の研究を行った。
(1)プロトコル仕様の記述エディタの設計と製作
仕様記述言語LOTOSを対象として、高度なヒュ-マンインタフェ-スを備えたグラフィックエディタを開発した。
(2)試験シ-ケンスの導出法
LOTOS仕様から、対応する製品を試験するための試験シ-ケンスを効果的に導出する方法について研究を行った。
(3)通信ソフトウエアの自動インプリメンテ-ション
プロトコルをLOTOSを用いて仕様化し、対応する実行可能なプログラムを得るためのインプリメンテ-ション法を研究した。具体的には、LOTOS仕様からCプログラムに変換するアルゴリズムを設計し、それをワ-クステ-ション上に試作した。
|
