- オブジェクト指向プログラムのテストに関する研究
オブジェクト指向プログラムは,従来のプログラムよりも複雑な
内部構造を持つため,従来のテスト手法では不十分である.そこで,
従来のデータフローテストを拡張した新たなテスト基準を提案している.
- ソフトウェアの概念モデルと形式モデルに関する研究
対象システムに対する要求を記述するための概念モデルと,その記述を形式的に
操作するための形式モデルに関する研究で,両者のモデルを組み合わせること
によって,ソフトウェアの要求記述からプログラムを自動合成することを
目指す.
-
廣田豊彦,橋本正明,長澤勲,"応用ドメインに特化した概念モデル
記述言語に関する一考察",
情報処理学会論文誌,
Vol.36,No.5,pp.1151-1162 (1995年5月).
- ドメイン分析・モデリング
ソフトウェアを効果的に再利用するするためには,応用ドメイン特有の
知識を整理し,モデル化する必要がある.そのための手法の体系化や支援
ツールの開発などを目指している.
-
Kiyoshi Itoh, Satoshi Kumagai, Toyohiko Hirota,
"Domain Oriented Systems Development", Taylor and Francis, 2002.
-
伊藤潔,杵嶋修三,田村恭久,廣田豊彦,吉田裕之,
"ドメイン分析・モデリング",共立出版,1996.
-
Kiyoshi Itoh, Toyohiko Hirota, Satoshi Kumagai, Hiroyuki Yoshida,
"Domain Oriented Systems Development", Gordon and Breach, 1998.
|