並行型プログラム従属性理論に基づく統合的ソフトウェア開発支援環境の構築

1998 Fiscal Year Annual Research Report

• Project/Area Number: 09480056
• Research Institution: Kyushu University
• Principal Investigator: 牛島 和夫 九州大学, 大学院システム情報科学研究科, 教授 (40037750)
• Co-Investigator(Kenkyū-buntansha): 乃村 能成 九州大学, 大学院システム情報科学研究科, 助手 (70274496) ; 程 京徳 九州大学, 大学院システム情報科学研究科, 教授 (30217228)
• Keywords: 統合開発環境 / Ada95 / プログラム従属性 / ASIS / 並行型プログラム / 定義使用ネット / システム従属ネット

Research Abstract

プログラムから、プログラム言語に依存しない本質的な概念--変数の使用・定義、制御の流れ、並行プログラムの同期や通信--を陽に現わす概念として、定義使用ネットを提案してきた。また、定義使用ネットから、プログラムの文間に存在する従属性を表現する概念として、システム従属ネットを提案し、それに基づいて、本研究は、並行型プログラムの統合的支援環境を構築することを目的としている。
Ada95はISO国際標準に認められた、最初の並行型オブジェクト指向言語である。このAda95についての従属性を考察した。また、Ada95プログラムのデッドロック検出法について提案し、ツールを実装した。さらに、実用規模のAda95プログラムから定義使用ネットを生成する技法を提案し、ツールを作成した。その際に、我々がこれまでに提案した並行型・逐次型のプログラムを統一的に表現する定義使用ネットを拡張した。
定義使用ネット生成ツールは、コンパイラ作成と同じ、文法解釈部分、意味解釈部分を持たねばならない。したがって、本来はコンパイラ自身の解釈している文法/意味情報に基づいて定義使用ネットを生成することが望ましい。Ada95では、文法/意味問い合わせインターフェイスASISをコンパイラに持たせることが提案されており、標準化されつつある。
我々は、ASIS規格に準拠したコンパイラからASISインターフェイスによって文法、意味情報を取り出すことによって定義使用ネット生成ツールを開発した。ASISはAdaに特化されたインターフェイスであるが、意味問い合わせ機能は多くの手続型言語に共通することが分かった。統合環境がサポートする他言語について、ASISと同等なインターフェイスの設計について考察した。
さらに、上記ツール群と、これまでに開発したツールとの統合を行った。拡張された定義使用ネットから並行型・逐次型のプログラム従属性を統一的に表現するシステム従属ネットを生成する手法を提案し、そのツールを実装した。

Research Products

• [Publications] Y.NONAKA,J.Chong,K.Ushijima: "ATasking Dead lock Detector for Ada95 Programs" Ada User Journal. VOL20・1. (1999)
• [Publications] 片山徹郎.古川善吾.牛島和夫: "タスク型を含む並行処理プログラムのテストケース生成法について" 電子情報通信学会論文誌. J81‐D‐1・6. 809-818 (1998)
• [Publications] T.KATAYAMA,Z FURUKAWA, K.Usijima: "Pesignand Implementation of Test‐case Generation for concuwent Programs" Proc 1998 Asia‐Pacific Softw.Eng.Conf (APSEC'98). 262-269 (1998)