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

1997 年度 実績報告書

• 研究課題/領域番号: 09480056
• 研究機関: 九州大学
• 研究代表者: 牛島 和夫 九州大学, 大学院・システム情報科学研究科, 教授 (40037750)
• 研究分担者: 乃村 能成 九州大学, 大学院・システム情報科学研究科, 助手 (70274496) ; 古川 善吾 九州大学, 情報処理教育センター, 助教授 (30190135) ; 程 京徳 九州大学, 大学院・システム情報科学研究科, 教授 (30217228)
• キーワード: プロセス従属ネット / プログラム従属性理論 / 統一的プログラム抽象表現 / 並行型プログラム開発支援環境 / スライシング / テストケース自動生成 / テスト充分性

研究概要

自然言語理解・処理及び技術文書解析の技法を利用して、並行型プログラムに対する要求定義から個々の対象の間に満足しなければならない制約・従属関係を抽出する一般的な技法を開発した。また、関数型・論理型仕様記述言語で書かれた並行型プログラムの形式的仕様における従属性を解析する方法を提案し、解析支援ツールを開発した。仕様の従属関係解析の結果と要求定義の従属関係分析の結果との一貫性を検証するツールを開発した。並行型プログラムにおける従属関係を測定対象とするテスト被覆率を提案するとともに並行型プログラムのテスト充分性評価技法を開発し、並行型プログラム形式的仕様の従属性解析結果からテストケースを自動的に生成するツールを実現した。従来我々が個別に開発した並行型プログラムの従属関係解析ツール、実行監視ツール、実行履歴解析ツール、デッドロック自動検出ツールなどの静的・動的解析ツールを実用規模の並行型プログラムに適用できるように拡張するとともに、それらを開発支援環境の共通インタフェースにあわせるように改良した。並行型プログラムの従属性モデルに基づいて並行型プログラムの静的・動的スライシング技法とその支援ツールを開発した。並行型プログラムの静的・動的スライスを推論領域とし、プログラムの誤りとその原因の間の因果関係を推論対象とする因果関係推論法を相関論理に基づいて開発し、この因果関係推論法を利用するデバッグ支援ツールも開発した。並行型プログラムにおける基本従属性を表現するプロセス従属ネットを異なるプログラミング言語で作成された対象プログラムの共通の中間表現として、開発支援環境の個々のツールの共通インタフェースを設計し実現した。

研究成果

• [文献書誌] Jianjun ZHAO,Jingde CHENG,and Kazuo USHIJIMA: "Slicing Concurrent Logic Programs" T.Ida,A.Ohori,and M.Takeichi(Eds.)″Functional and Logic Programming-Second Fuji International Workshop″. 143-162 (1997)
• [文献書誌] 合田和正,程京徳,牛島和夫: "関数型プログラムの束縛評価グラフとその応用" ソフトウェア技術者協会ソフトウェアシンポジウム97論文集. 220-230 (1997)
• [文献書誌] Jingde CHENG: "Task Dependence Nets for Concurrent Systems with Ada 95 and Its Applications" Proceedings of the ACM TRI-Ada 97 Conference. 67-78 (1997)
• [文献書誌] Jianjun ZHAO,Jingde CHENG,and Kazuo USHIJIMA: "A Dependence-Based Representation for Concurrent Object-Oriented Software Maintenance" Proceedings of the 2nd Euromicro Working Conference on Software Maintenance and Reengineering. (発表予定). (1998)
• [文献書誌] Jianjun ZHAO,Jingde CHENG,and Kazuo USHIJIMA: "A Metric Suite for Concurrent Logic Programs" Proceedings of the 2nd Euromicro Working Conference on Software Maintenance and Reengineering. (発表予定). (1998)
• [文献書誌] Jingde CHENG: "The Wholeness Principle of Concurrent Systems and the Uncertainty Principle in Measuring Concurrent Systems" Proceedings of the SESC 3rd International Conference on Systems Science and Systems Engineering. (発表予定). (1998)