1996 Fiscal Year Annual Research Report
| Project/Area Number |
07558157
|
|---|
| Research Institution | KYUSHU UNIVERSITY |
|---|
Principal Investigator |
牛島 和夫 九州大学, 大学院・システム情報科学研究科, 教授 (40037750)
|
|---|
| Co-Investigator(Kenkyū-buntansha) |
乃村 能成 九州大学, 大学院・システム情報科学研究科, 助手 (70274496)
古川 善吾 九州大学, 情報処理教育センター, 助教授 (30190135)
程 京徳 九州大学, 大学院・システム情報科学研究科, 教授 (30217228)
|
|---|
| Keywords | 統一的プログラム抽象表現 / 非決定的定義使用ネット / プログラム従属性理論 / 並行型プログラム開発支援環境 / スライシング / テストケース自動生成 / テスト十分性 / 順序列テスト基準 |
|---|
| Research Abstract |
並行型プログラムにおける多重制御流れと多重データ流れを表現出来る有向グラフとして我々が導入した非決定的定義使用ネットを統一的プログラム抽象表現として拡張した。各種のプログラミング言語で書かれた逐次型・並行型プログラムを非決定的定義使用ネットに変換する技法、逐次型・並行型プログラムにおける従属性を解析する技法、逐次型・並行型プログラムの各種スライスを計算するアルゴリズムを提案し、それらを実現したツール群を開発した。更に、これらのツールとこれまで個別に開発してきた並行型プログラミングツールを統合して、信頼性の高い並行型プログラムの開発支援環境を設計し部分的に実現した。
並行型プログラムの動作を事象相互作用グラフによってモデル化し、モデル上で並行型プログラムのテストケースを協調路として定義した。実際に、Ada並行処理プログラムから、協調路を自動的に作成するツールを試作し、提案したテストケースの作成の可能性および並行型プログラムのテストへの適用性を明らかにした。また並行型プログラムのテスト十分性を定量的に評価するために順次列テスト基準とそれに基づくテスト法を提案した。並行型プログラムの並行処理に関連する文の長さk順序列をテスト時に実行すべき測定対象とし、テスト実施時の被覆率によってテスト十分性を評価するものである。長さ2の場合の順序列テスト基準にしたがって、被覆率を測定するツールを試作し、現実の並行プログラムに適用して有用性について定量的に評価した。
|
-
[Publications] 伊東栄典、川口豊、古川善吾、牛島和夫: "順序列テスト基準に基づく並行処理プログラムのテスト充分性評価について" 情報処理学会論文誌. Vol36,No9. 2195-2205 (1995)
-
[Publications] 笠原義晃、程京徳、牛島和夫: "Adaプログラムのためのタスク従属ネットとその自動生成" 電子情報通信学会論文誌. J79-D-I No.11. 925-935 (1996)
-
[Publications] J.Cheng,K.Ushijima: "Applications of Program Dependence Analysis in Distributed Software Engineering(INVITED TALK)" Proc.International Symposium on Parallel and Distributed Supercomputing. 15-24 (1995)
-
[Publications] J.Cheng,K.Ushijima: "Tasking Deadlocks in Ada 95 Programs and Their Detection" ″Reliable Software Technologies.″Lecture Notes in Computer Science. 1088. 135-146 (1996)
-
[Publications] Y.Nomura,J.Cheng,K.Ushijima: "Slicing Programs with Pointers" Proc.International Symposium on Future Software Technology '96. 131-138 (1996)
-
[Publications] Y.Kasahara,Y.Nomura,Y.Kamachi,J.Cheng,K.Ushijima: "An Integrated Support Environment for Distributed Software Development Based on Unitied Program" Proc.Asia Pacific Software Engineering Conference. 254-263 (1995)
