高度通信ソフトウェアとそのテストスィートの自動生成に関する研究

1992 年度 実績報告書

• 研究課題/領域番号: 03650288
• 研究機関: 東北大学
• 研究代表者: 白鳥 則郎 東北大学, 工学部, 文部教官教授 (60111316)
• キーワード: プロトコル / 通信ソフトウェア / 適合性試験 / エキスパートシステム / ヒューマンインタフェース / テストスィート

研究概要

ソフトウェアの多様化・複雑化・大規模化に伴い、その開発コストの増大が大きな問題となっており、これを解決する方策の研究が急務となっている。本研究では、高度通信ソフトウェアに焦点を絞り、プロトコルの設計から高度通信ソフトウェアの自動生成を一貫して支援するシステム(これを、知識型自動生成システムと呼ぶ)の開発を目的とし、開発コスト増大の問題の解決に取り組む。このため、我々が過去長年にわたって研究を行ってきた通信ソフトウェア開発の方法論をベースにし、最新の知識処理技術やヒューマンインタフェース技術と有機的に融合させ、システムの利用者にとって極めて使いやすく、また開発のしやすい効果的な新しい開発環境を構築する。
本年度では、前年度に設計したプロトコルと高度通信ソフトウェアの知識型自動生成システムの個々の構成要素を具体的に計算機システム上に実装する。次に、これらを有機的に結合・統合し、一貫した知識型自動生成システムを構築した。さらにこれを用いて、(a)国際標準のOSIプロトコルの仕様記述、(b)プロトコルの仕様記述からの高度通信ソフトウェアの試験を行うため、仕様記述からのテストスィートとの知識型自動生成アルゴリズム、を実現した。

研究成果

• [文献書誌] N.Shiratori,Y.Zhang,K.Takahashi,S.Noguchi: "A User Friendly Software Environment for Protocol Synthesis" Trans.IEEE. 40-4. 477-486 (1991)
• [文献書誌] N.Shiratori,H.Yamamoto,K.Takahashi: "A User‐Friendly Software Environment for Designing and Verifying Communication Protocols" Distributed Environments. 187-208 (1991)
• [文献書誌] N.Shiratori: "コミュニケーションと人工知能" (情)学会・シンポジウム 「B‐ISDN時代におけるマルチメディア通信と分散処理」. 1-10 (1991)
• [文献書誌] T.Kinoshita,K.Sugawara N.Shiratori: "Knowledge‐Based Protocol Design Computer Communication Systems" Trans.IEICE. E75-D-1. 156-169 (1992)
• [文献書誌] N.Shiratori,E.LEE: "An Integrated User‐Friendly Specification Environment for LOTOS" Trans.IECE. E75-B. 931-941 (1992)
• [文献書誌] N.Okazaki,K.Takahashi,N.Shiratori,S.Noguchi: "LOTOS仕様からの効率的な試験系列の生成法" 電子情報通信学会論文誌B. J74-B-I. 733-747 (1991)